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

Embrace, defend, extend: a methodology for embedding preexisting DSLs., und . FPCDSL@ICFP, Seite 27-34. ACM, (2013)LoCal: a language for programs operating on serialized data., , , , , und . PLDI, Seite 48-62. ACM, (2019)Freeze after writing: quasi-deterministic parallel programming with LVars., , , und . POPL, Seite 257-270. ACM, (2014)Parallel type-checking with haskell using saturating LVars and stream generators., , , und . PPoPP, Seite 6:1-6:12. ACM, (2016)Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping., , und . Haskell, Seite 197-211. ACM, (2017)Efficient communication and collection with compact normal forms., , , , , und . ICFP, Seite 362-374. ACM, (2015)Ghostbuster: a tool for simplifying and converting GADTs., , , und . ICFP, Seite 338-350. ACM, (2016)Living on the edge: rapid-toggling probes with cross-modification on x86., , , und . PLDI, Seite 16-26. ACM, (2016)Reproducible Containers., , , , , , und . ASPLOS, Seite 167-182. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations, , , , und . Proceedings of the ACM on Programming Languages, 5 (ICFP): 1--29 (August 2021)