Author of the publication

Compiling the π-calculus into a Multithreaded Typed Assembly Language

, , and . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)

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

Compiling the π-calculus into a Multithreaded Typed Assembly Language, , and . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)Transitive joins: a sound and efficient online deadlock-avoidance policy., , and . PPoPP, page 378-390. ACM, (2019)Formalizing Model Inference of MicroPython., , and . DSN-W, page 283-289. IEEE, (2023)Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises., , , , and . ECOOP, volume 263 of LIPIcs, page 13:1-13:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Checking Data-Race Freedom of GPU Kernels, Compositionally., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 403-426. Springer, (2021)Gidayu: Visualizing Automaton and Their Computations., and . ITiCSE (1), page 110-116. ACM, (2022)Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems., , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 93-114. Springer, (2023)Design and Verification of Distributed Phasers., , , , and . Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)Coordinating Phased Activities while Maintaining Progress., , and . COORDINATION, volume 7890 of Lecture Notes in Computer Science, page 31-44. Springer, (2013)