Projects

arm64 Linux kernel - Linux kernel port to the ARMv8/AArch64 architecture

Stacked Git - a Quilt-like tool on top of Git

Kmemleak - a Linux kernel memory leak detector based on the tracing garbage collection technique

Formal models - a collection of PlusCal/TLA+ specifications modelling various Linux kernel algorithms

CacheSpec - A TLA+ model of cache speculation side-channels