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)Living on the edge: rapid-toggling probes with cross-modification on x86., , , und . PLDI, Seite 16-26. ACM, (2016)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)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)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 . CoRR, (2021)