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

Towards Strong Normalization for Dependent Object Types (DOT)., und . ECOOP, Volume 74 von LIPIcs, Seite 27:1-27:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Flexible data views: design and implementation., und . ARRAY@PLDI, Seite 25-32. ACM, (2017)Collapsing towers of interpreters., und . Proc. ACM Program. Lang., 2 (POPL): 52:1-52:33 (2018)Precise reasoning with structured time, structured heaps, and collective operations., , und . Proc. ACM Program. Lang., 3 (OOPSLA): 157:1-157:30 (2019)Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)., , und . Proc. ACM Program. Lang., 2 (ICFP): 105:1-105:28 (2018)Graph IRs for Impure Higher-Order Languages (Technical Report)., , , , , , und . CoRR, (2023)Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming.. EPFL, Switzerland, (2012)Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect., , , , und . OOPSLA, Seite 234-251. ACM, (2016)Towards compiling graph queries in relational engines., , , und . DBPL, Seite 30-41. ACM, (2019)Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data., , , , , und . OSDI, Seite 799-815. USENIX Association, (2018)