Explore projects

my PhD. thesis.

my PhD. thesis.

Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.

Code related to the Open-Form Music Composition for Synchronised and Coordinated Action

The prehistoric MicroVM (wasn't called Mu) prototype version 2, written in Python 3, with a Lua (subset) client and a non-SSA-to-SSA converter.

The prehistoric MicroVM (wasn't called Mu) prototype version 1, written in Python 2, with a Lua (subset) client.

This is a proof-of-concept JavaScript client for Mu to showcase the Mu API for trap, stack introspection and on-stack replacement. It only implements a subset of JavaScript, but still has the dynamism of JavaScript to demonstrate specialisation.

Tutorial of Mu.

Vim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)

A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).

The specification of Mu.

The specification of Mu.

Pure Haskell binding to Mu

Mu performance measurement framework and benchmarks.

Holstein: the Mu reference implementation (the 2nd version).