Explore projects

Forked from https://gitlab.cecs.anu.edu.au/u5568237/mdpsim

A repository acting as a backup for files generated throughout the author's PhD program that are not raw-data on NCI HPC cluster Gadi.

Let's play Chinese chess, but move quickly!

HOL4 formalisation of core microvm

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.

Jikes RVM (Research Virtual Machine)

Submission for 3rd ANU Bio-inspired Computing conference, designed as part of the assessment of COMP4660.

ANU local development repo for DaCapo benchmark suite (https://github.com/dacapobench/dacapobench).

Zebu micro VM, a high performance Mu impl.

MMTk reading group

Mu performance measurement framework and benchmarks.

ANU Haskell Compiler

Pure Haskell binding to Mu

Database backup for the windatlas.xyz website

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