From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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