Conrad Watt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Two Mechanisations of WebAssembly 1.0. | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
| 2020 | PLDI | Repairing and mechanising the JavaScript relaxed memory model. | Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo |
| 2019 | ECOOP | A Program Logic for First-Order Encapsulated WebAssembly. | Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
| 2019 | ISCA | Position Paper: Progressive Memory Safety for WebAssembly. | Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan |
| 2018 | CPP | Mechanising and verifying the WebAssembly specification. | Conrad Watt |
| 2015 | CAV | A Trusted Mechanised Specification of JavaScript: One Year On. | Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood |