Open Source

Notable contributions in order of recency:

• The Linux Kernel: see here (and my development tree).

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

  • ☆ Kernel Electric-Fence (KFENCE) (developed at Google): a low-overhead sampling-based memory safety error 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 (developed at ARM): a relaxed scoreboard style memory checker.

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

• ☆ pkgix: A simple from source prefix package manager written entirely in BASH.

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

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

☆ = Maintainer or primary author.