Author of the publication

Types for Progress in Actor Programs.

, , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 315-339. Springer, (2019)

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

Types for Progress in Actor Programs., , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 315-339. Springer, (2019)Learning to Format Coq Code Using Language Models., , , and . CoRR, (2020)mCoq: mutation analysis for Coq verification projects., , , , and . ICSE (Companion Volume), page 89-92. ACM, (2020)Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity., , , , , and . FMCAD, page 96-104. IEEE, (2019)piCoq: parallel regression proving for large-scale verification projects., , and . ISSTA, page 344-355. ACM, (2018)HOL4P4: semantics for a verified data plane., , , , and . EuroP4@CoNEXT, page 39-45. ACM, (2022)Practical Machine-Checked Formalization of Change Impact Analysis., , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 137-157. Springer, (2020)Reliably Reproducing Machine-Checked Proofs with the Coq Platform., , and . CoRR, (2022)Deep Generation of Coq Lemma Names Using Elaborated Terms., , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 97-118. Springer, (2020)Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management.. KTH Royal Institute of Technology, Sweden, (2014)