Author of the publication

Reconciling Event Structures with Modern Multiprocessors (Artifact).

, , , , and . Dagstuhl Artifacts Ser., 6 (2): 04:1-04:3 (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming., and . REBLS@SPLASH, page 11-20. ACM, (2018)Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs., , , , and . Haskell, page 108-122. ACM, (2022)The Extended UTXO Model., , , , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 525-539. Springer, (2020)Reconciling Event Structures with Modern Multiprocessors., , , , and . ECOOP, volume 166 of LIPIcs, page 5:1-5:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Learning Structure-Aware Representations of Dependent Types., , and . CoRR, (2024)Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language., and . ESSLLI Student Sessions, volume 11667 of Lecture Notes in Computer Science, page 79-92. Springer, (2018)Reconciling Event Structures with Modern Multiprocessors (Artifact)., , , , and . Dagstuhl Artifacts Ser., 6 (2): 04:1-04:3 (2020)Music as language: putting probabilistic temporal graph grammars to good use.. FARM@ICFP, page 1-10. ACM, (2019)Native Custom Tokens in the Extended UTXO Model., , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 89-111. Springer, (2020)