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

Aliasing Limits on Translating C to Safe Rust., , , , , und . Proc. ACM Program. Lang., 7 (OOPSLA1): 551-579 (April 2023)String Abstractions for String Verification., , und . SPIN, Volume 6823 von Lecture Notes in Computer Science, Seite 20-37. Springer, (2011)Language fuzzing using constraint logic programming., , und . ASE, Seite 725-730. ACM, (2014)Fixpoint reuse for incremental JavaScript analysis., , und . SOAP@PLDI, Seite 2-7. ACM, (2019)A parallel abstract interpreter for JavaScript., , und . CGO, Seite 34-45. IEEE Computer Society, (2015)Syntax-based Improvements to Plagiarism Detectors and their Evaluations., , , , und . ITiCSE, Seite 555-561. ACM, (2019)Widening for Control-Flow., , , und . VMCAI, Volume 8318 von Lecture Notes in Computer Science, Seite 472-491. Springer, (2014)Flow-sensitive pointer analysis for millions of lines of code., und . CGO, Seite 289-298. IEEE Computer Society, (2011)Semi-sparse flow-sensitive pointer analysis., und . POPL, Seite 226-238. ACM, (2009)Bouncer: static program analysis in hardware., , , , und . ISCA, Seite 711-722. ACM, (2019)