Open Source

Notable contributions in order of recency:

• The Linux Kernel: see here.

  • ☆ The Kernel Concurrency Sanitizer (KCSAN) (started @ Google): a dynamic race detector for the Linux kernel.

• The LLVM Compiler Infrastructure: see here.

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

• ☆ mc2lib: Memory consistency model checking and test generation library; see [EN16].

• The Gem5 Simulator: Fixed several memory consistency model related bugs (in Ruby, O3 pipeline).

  • MemChecker (started @ ARM): a relaxed scoreboard style memory checker.

Smaller utilities, that I’ve found quite useful over the years:

• ☆ 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).

• ☆ cksumdb: Simple BASH script to generate file checksums in various database formats.

• ☆ Logan: A Python framework for launching experiments and managing the resulting data. Logan’s current state is rough, but I made it available upon request from several people.

  • Integrated with Lancet [SEB13], which I helped develop with colleagues at the University of Edinburgh.

• ☆ passph: Simple Python based password pre-hasher based on PBKDF2.

☆ = Primary author or maintainer.