The 2012 Millennium Artifact

Undecidability (1999)

Understanding and optimizing persistent memory allocation (2020)

Refactoring the FreeBSD Kernel with Checked C

Refactoring the FreeBSD Kernel with Checked C

Simple, Fast, Practical Non-Blocking and Blocking Concurrent Queue Algorithms