Projects

A selection of software I build and maintain.

MoRDor

MoRDor is a CLI and web UI tool for weak memory analysis of C-like programs. It analyses weak memory models by calculating symbolic dependencies between memory operations — parsing litmus tests, deciding episodicity of unbounded loops, visualising event structures and executions, and running symbolic verification.

It is a reference implementation of Symbolic Modular Relaxed Dependencies (sMRD), following “Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice” by Jay Richards, Daniel Wright, Simon Cooksey, and Mark Batty (OOPSLA 2025).