Author of the publication

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces.

, and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 16-37. Springer, (2018)

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)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)mCoq: mutation analysis for Coq verification projects., , , , and . ICSE (Companion Volume), page 89-92. ACM, (2020)Reliably Reproducing Machine-Checked Proofs with the Coq Platform., , and . CoRR, (2022)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)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)Mutation Analysis for Coq, , , , and . 34th IEEE/ACM International Conference on Automated Software Engineering, page 539--551. (November 2019)