Author of the publication

Two Mechanisations of WebAssembly 1.0.

, , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 61-79. Springer, (2021)

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

Gillian: A Multi-Language Platform for Unified Symbolic Analysis., , , and . CoRR, (2021)Two Mechanisations of WebAssembly 1.0., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 61-79. Springer, (2021)A Spatial Logic for Querying Graphs., , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 597-610. Springer, (2002)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , and 1 other author(s). CoRR, (2023)A Program Logic for First-Order Encapsulated WebAssembly., , , and . ECOOP, volume 134 of LIPIcs, page 9:1-9:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications., , , and . ECOOP, volume 166 of LIPIcs, page 28:1-28:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk).. CONCUR, volume 243 of LIPIcs, page 2:1-2:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Matching Plans for Frame Inference in Compositional Reasoning., , , , and . ECOOP, volume 313 of LIPIcs, page 26:1-26:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)JaVerT 2.0: compositional symbolic execution for JavaScript., , , and . Proc. ACM Program. Lang., 3 (POPL): 66:1-66:31 (2019)A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)., , , and . Dagstuhl Artifacts Ser., 6 (2): 05:1-05:3 (2020)