Explore projects

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

Zebu micro VM, a high performance Mu impl.

Mirror repository of dacapo-dl on GitHub

Prepared for ENGN8224

Work on verifying a concurrent garbage collector

Mu performance measurement framework and benchmarks.

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

An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.

A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.

A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.