conrad-watt

wasm-pl-isabelle

spec

WebAssembly specification, reference interpreter, and test suite.

threads

Threads and Atomics in WebAssembly

repairing-and-mechanising-the-javascript-relaxed-memory-model

Artefacts corresponding to Repairing and Mechanising the JavaScript Relaxed Memory Model

ct-wasm-ports

wasm-thesis-aux

links and explainers for mechanised developments associated with my thesis

conrad-watt.github.io

website

ecma262

Status, process, and documents for ECMA262

jsrelaxedmemorymodel_coq

JavaScript relaxed memory model in Coq

meetings

WebAssembly meetings (VC or in-person), agendas, and notes

org.alloytools.alloy

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.

thesis

A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

WAW-2024