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

Querying distilled code changes to extract executable transformations., , und . Empir. Softw. Eng., 24 (1): 491-535 (2019)Security risks of porting C programs to webassembly., , und . SAC, Seite 1713-1722. ACM, (2022)Mete: a Meta Rete Interface for Distributed Rule-based Systems., , , , , , und . BENEVOL, Volume 2361 von CEUR Workshop Proceedings, Seite 29-32. CEUR-WS.org, (2018)Concolic Testing of Full-Stack JavaScript Applications., , , und . BENEVOL, Volume 2361 von CEUR Workshop Proceedings, Seite 38-42. CEUR-WS.org, (2018)Scala-AM: A Modular Static Analysis Framework., , , und . SCAM, Seite 85-90. IEEE Computer Society, (2016)Detecting concurrency bugs in higher-order programs through abstract interpretation., , , und . PPDP, Seite 232-243. ACM, (2015)Language-shifting objects from Java to Smalltalk: an exploration using JavaConnect., und . IWST, Seite 120-125. ACM, (2009)Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity., , , , , und . SCAM, Seite 305-314. IEEE Computer Society, (2014)Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs., , , und . SCAM, Seite 185-194. IEEE Computer Society, (2011)Building a modular static analysis framework in Scala (tool paper)., , , und . SCALA@SPLASH, Seite 105-109. ACM, (2016)