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

Language-integrated privacy-aware distributed queries., , , , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 167:1-167:30 (2019)Capture-Avoiding Program Transformations with name-fix., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 93-94. GI, (2015)Scalable incremental building with dynamic task dependencies., , und . ASE, Seite 76-86. ACM, (2018)An extensible framework for variable-precision data-flow analyses in MPS., , , und . ASE, Seite 870-875. ACM, (2016)On Solving Solved Problems.. Eelco Visser Commemorative Symposium, Volume 109 von OASIcs, Seite 10:1-10:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Principled syntactic code completion using placeholders., , , und . SLE, Seite 163-175. ACM, (2016)Toward incremental type checking for Java., , und . SPLASH (Companion Volume), Seite 46-47. ACM, (2015)A sound and optimal incremental build system with dynamic dependencies., , und . OOPSLA, Seite 89-106. ACM, (2015)Type systems for the masses: deriving soundness proofs and efficient checkers., , , und . Onward!, Seite 137-150. ACM, (2015)Sound type-dependent syntactic language extension., und . POPL, Seite 204-216. ACM, (2016)