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

21st Century C++