( 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

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI., , , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 7 (POPL): 425-454 (January 2023)Progressful Interpreters for Efficient WebAssembly Mechanisation., , , and . Proc. ACM Program. Lang., 9 (POPL): 627-655 (2025)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)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)Repairing and mechanising the JavaScript relaxed memory model., , , , , , , and . PLDI, page 346-361. ACM, (2020)WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly., , , and . Proc. ACM Program. Lang., 7 (PLDI): 100-123 (2023)Generically Automating Separation Logic by Functors, Homomorphisms, and Modules., , , , , and . Proc. ACM Program. Lang., 9 (POPL): 1992-2024 (2025)