Language Specifiaction and Program Verification

Conrad is an Assistant Professor at Nanyang Technological University, Singapore and a Chair of the W3C WebAssembly Community Group.

Group Publications

1. Progressful Interpreters for Efficient WebAssembly Mechanisation

   • Xiaojia Rao
   • Stefan Radziuk
   • Conrad Watt
   • Philippa Gardner

   POPL 2025

2. Bringing the WebAssembly Standard up to Speed with SpecTec

   • Dongjun Youn
   • Wonho Shin
   • Jaehyun Lee
   • Sukyoung Ryu
   • Joachim Breitner
   • Philippa Gardner
   • Sam Lindley
   • Matija Pretnar
   • Xiaojia Rao
   • Conrad Watt
   • Andreas Rossberg

   PLDI 2024

3. Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

   • Xiaojia Rao
   • Aïna Linn Georges
   • Maxime Legoupil
   • Conrad Watt
   • Jean Pichon-Pharabod
   • Philippa Gardner
   • Lars Birkedal

   PLDI 2023

4. Two Mechanisations of WebAssembly 1.0

   • Conrad Watt
   • Xiaojia Rao
   • Jean Pichon-Pharabod
   • Martin Bodin
   • Philippa Gardner

   Formal Methods (FM) 2021

5. A Program Logic for First-Order Encapsulated WebAssembly

   • Conrad Watt
   • Petar Maksimovic
   • Neelakantan R. Krishnaswami
   • Philippa Gardner

   ECOOP 2019

6. A Trusted Mechanised Specification of JavaScript: One Year On

   • Philippa Gardner
   • Gareth Smith
   • Conrad Watt
   • Thomas Wood

   CAV 2015