C Is Not a Low-level Language: Your computer is not a fast PDP-11 (2018)

Richard Sutton and Andrew Barto Win 2024 Turing Award

File Systems Unfit as Distributed Storage Back Ends (2019)

Empowering WebAssembly with Thin Kernel Interfaces

The Surprise of Multiple Dependency Graphs

A systematic review of CS degree requirements of 250 programs worldwide finds only half offer a computing ethics class, and only a third require it

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

On the criteria to be used in decomposing systems into modules (1972)

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications