The Missing Link: Explaining ELF Static Linking, Semantically

Kalman Filter via a Simple and Intuitive Derivation

The Operating System: Should There Be One? (2013)

The Lynx Queue

OCaml inside: a drop-in replacement for libtls

Prolog.c: a simple Prolog interpreter written in 200 LOC of C++

Into the Depths of C: Elaborating the De Facto Standards

Malfunctional Programming

Into the Depths of C: Elaborating the De Facto Standards

Hardware Graph Prefetchers