Open Source

List of notable open-source projects (primary author, in order of recency):

• verc3: Concurrent systems verification (model checking, synthesis) toolkit and library in C++; see [EBJN18]. (Maintenance only)

• mc2lib: Memory consistency model checking and test generation library; see [EN16]. (Maintenance only)

• cksumdb: Simple BASH script to generate file checksums in various database formats. (Maintenance only)

• pkgix: A simple from source prefix package manager written entirely in BASH. Grown out of the need of managing various versions of dependencies on various systems (without root access), and no other existing solution fit my needs (Gentoo Prefix, Nix). (Maintenance only)

• Logan: A Python framework for launching experiments and managing the resulting data. A result of this project is Lancet, which I helped develop with colleagues in Edinburgh. Logan’s current state is very rough, but I made it available upon request from several people. (Maintenance only)

• passph: Simple Python based password pre-hasher based on PBKDF2. (Maintenance only)

Contributions to larger open-source projects:

• The Linux Kernel: see here.

• The LLVM Compiler Infrastructure: see here.

• The Gem5 Simulator: fixed several memory consistency model related bugs (in Ruby, O3 pipeline); while at ARM worked on a memory checker that was integrated upstream (MemChecker).