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

Automated repair of HTML generation errors in PHP applications using string constraint solving., , , , , und . ICSE, Seite 277-287. IEEE Computer Society, (2012)Probabilistic Program Abstractions., , und . CoRR, (2017)Titian: Data Provenance Support in Spark., , , , , , , und . PVLDB, 9 (3): 216-227 (2015)Expressive and modular predicate dispatch for Java., , , und . ACM Trans. Program. Lang. Syst., 31 (2): 7:1-7:54 (2009)Can You Fool Me? Towards Automatically Checking Protocol Gullibility., , , und . HotNets, Seite 31-36. ACM SIGCOMM, (2008)A General Approach to Network Configuration Analysis., , , , , , und . NSDI, Seite 469-483. USENIX Association, (2015)Inference of User-Defined Type Qualifiers and Qualifier Rules., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 264-278. Springer, (2006)Accelerating sequential consistency for Java with speculative compilation., , und . PLDI, Seite 16-30. ACM, (2019)The Silently Shifting Semicolon., , , , und . SNAPL, Volume 32 von LIPIcs, Seite 177-189. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)BigDebug: debugging primitives for interactive big data processing in spark., , , , , , und . ICSE, Seite 784-795. ACM, (2016)