Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Deep typechecking and refactoring., , , , und . OOPSLA, Seite 37-52. ACM, (2008)Finding root causes of floating point error., , , und . PLDI, Seite 256-269. ACM, (2018)Towards foundational verification of cyber-physical systems., , , und . SOSCYPS@CPSWeek, Seite 1-5. IEEE Computer Society, (2016)Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development., , , , und . NIPS, Seite 865-873. Curran Associates, Inc., (2010)WitchDoctor: IDE support for real-time auto-completion of refactorings., , und . ICSE, Seite 222-232. IEEE Computer Society, (2012)Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis., , , , , , und . SAS, Volume 2477 von Lecture Notes in Computer Science, Seite 230-246. Springer, (2002)User-Guided Synthesis of Interactive Diagrams., , , , , und . CHI, Seite 195-207. ACM, (2017)C-to-Verilog translation validation., , und . MEMOCODE, Seite 42-47. IEEE, (2015)Retrofitting Fine Grain Isolation in the Firefox Renderer., , , , , , , und . USENIX Security Symposium, Seite 699-716. USENIX Association, (2020)OPIUM: Optimal Package Install/Uninstall Manager., , , und . ICSE, Seite 178-188. IEEE Computer Society, (2007)