KLOS: Kernel-Less Operating System Architecture (2005)

Virtual Time (1985)

A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002)

The Log-Structured Merge-Tree (LSM-Tree) (1996)

The Design of a High-Performance File Server (1989)

Technology and Courage – Ivan Sutherland (1996)

Oberon – The Overlooked Jewel (2000)

The State of the Art of Application Restrictions and Sandboxes (2012)

Domain-Specific Language Engineering (2007)

Iterative and Incremental Development: A Brief History (2003)