( en | de | ru )

 

Disambiguation of "Watt, Conrad"

Author of the publication

copydeleteadd this publication to your clipboard
Position Paper: Progressive Memory Safety for WebAssembly.

, , , , , and . HASP@ISCA, page 4:1-4:8. ACM, (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

Klaus Wattenberg

Otto Watter

 

Other publications of authors with the same name

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 7 (POPL): 425-454 (January 2023)Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI., , , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)Progressful Interpreters for Efficient WebAssembly Mechanisation., , , and . Proc. ACM Program. Lang., 9 (POPL): 627-655 (2025)Mechanising and verifying the WebAssembly specification.. CPP, page 53-65. ACM, (2018)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)Iris-Wasm: Robust and Modular Verification of WebAssembly Programs., , , , , , and . Proc. ACM Program. Lang., 7 (PLDI): 1096-1120 (2023)Position Paper: Progressive Memory Safety for WebAssembly., , , , , and . HASP@ISCA, page 4:1-4:8. ACM, (2019)Isolation Without Taxation: Near Zero Cost Transitions for SFI., , , , , , and . CoRR, (2021)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , and 1 other author(s). CoRR, (2023)