( en | de | ru )

 

Disambiguation of "Watt, Conrad"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Nicola Watt

Simone Watt

Helga Schutte Watt

Sabine Wattendorff

Bärbel Watta

 

Other publications of authors with the same name

Mechanising and verifying the WebAssembly specification.. CPP, page 53-65. ACM, (2018)Position Paper: Progressive Memory Safety for WebAssembly., , , , , and . HASP@ISCA, page 4:1-4:8. ACM, (2019)Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)., , , , and . CoRR, (2023)Capstone: A Capability-based Foundation for Trustless Secure Memory Access., , , , and . USENIX Security Symposium, page 787-804. USENIX Association, (2023)MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and . CoRR, (2022)Bringing the WebAssembly Standard up to Speed with SpecTec., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 8 (PLDI): 1559-1584 (2024)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , and 1 other author(s). CoRR, (2023)Isolation Without Taxation: Near Zero Cost Transitions for SFI., , , , , , and . CoRR, (2021)Two Mechanisations of WebAssembly 1.0., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 61-79. Springer, (2021)Repairing and mechanising the JavaScript relaxed memory model., , , , , , , and . PLDI, page 346-361. ACM, (2020)