Project Oberon: Design of an operating system, a compiler, and a computer [pdf]

Project Oberon (New Edition 2013)

RowPress: Amplifying read disturbance in modern DRAM chips [pdf]

A Plea for Lean Software (1995)

Small Guide to Giving Presentations

High-Throughput Random Number Generation Using Quad Row Activation in DRAM Chips

Lean Software (1995)

Good Ideas, Through the Looking Glass (PDF, 2005)

Good Ideas, Through the Looking Glass (2006)

Nikolaus Wirth: A Plea for Lean Software (1995)

Good Ideas, Through the Looking Glass (2005)

A Large Scale Study of Data Center Network Reliability

Physical Addressing on Real Hardware in Isabelle/HOL

Ambit: In-Memory Accelerator for Bulk Bitwise Operations Using Commodity DRAM

Physics Forests

A Brief History of Software Engineering (2008)