Autor der Publikation

Accumulation Analysis.

, , , und . ECOOP, Volume 222 von LIPIcs, Seite 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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

The Flow-Insensitive Precision of Andersen's Analysis in Practice., , , und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2011)DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine., , , und . OOPSLA Addendum, Seite 165-166. ACM, (2000)Effective race detection for event-driven programs., , und . OOPSLA, Seite 151-166. ACM, (2013)I¿¿¿: a calculus for internet of things automation., , , , und . Onward!, Seite 119-133. ACM, (2017)PSE: explaining program failures via postmortem static analysis., , , , und . SIGSOFT FSE, Seite 63-72. ACM, (2004)Software economies., , , , , , und . FoSER, Seite 7-12. ACM, (2010)Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs., , , und . ECOOP, Volume 222 von LIPIcs, Seite 3:1-3:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)TAJ: effective taint analysis of web applications., , , , und . PLDI, Seite 87-97. ACM, (2009)The Complexity of Andersen's Analysis in Practice., und . SAS, Volume 5673 von Lecture Notes in Computer Science, Seite 205-221. Springer, (2009)Refactoring Java programs for flexible locking., , , und . ICSE, Seite 71-80. ACM, (2011)