Name: Conrad Watt
Type: User
Company: Nanyang Technological University
Bio: Assistant Professor, NTU - see my website for open positions in Singapore.
Co-chair of the WebAssembly Community Group.
Blog: conrad-watt.github.io
Conrad Watt's Projects
website
Status, process, and documents for ECMA262
JavaScript relaxed memory model in Coq
WebAssembly meetings (VC or in-person), agendas, and notes
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Artefacts corresponding to Repairing and Mechanising the JavaScript Relaxed Memory Model
WebAssembly specification, reference interpreter, and test suite.
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.
Threads and Atomics in WebAssembly
links and explainers for mechanised developments associated with my thesis
Standalone JIT-style runtime for WebAssembly, using Cranelift