Forest 1.0: A Language and Toolkit for Programming with Filestores (2011)

Dark Patterns at Scale: Findings from a Crawl of 11K Shopping Websites

SSA is Functional Programming (1998)

A Critique of Standard ML (1992)

HICAMP: Architectural Support for Efficient Concurrency-safe Shared Structured Data Access

Notes on Landauer's principle, reversible computation, Maxwell's Demon (2003)

ChucK: Strongly-timed, Concurrent, and On-the-fly Music Programming Language

RANSOM: Routing Around Nation-States

Formal Verification of Coalescing Graph-Coloring Register Allocation (2010)

ODNS: Oblivious DNS

A Verified Messaging System (2017)

Unix and Beyond: An Interview with Ken Thompson

The Pricing of Options and Corporate Liabilities (1973)

Bitcoin lecture series (2015)

Experience with the Mergenthaler Linotron 202 Phototypesetter (1980)

Filtering Search: A New Approach to Query-Answering (1986)

Nuts and Bolts of Encryption: A Primer for Policymakers

Cardinality Estimation (2011)

Quicksort analyzed

Replex: A Scalable, Highly Available Multi-Index Data Store

Regular Expression Matcher (Rob Pike and Brian Kernighan)

Audio, Battery, WebRTC APIs in HTML5 are all being abused for fingerprinting

A Critique of Standard ML

The Zephyr Abstract Syntax Description Language

A Regular Expression Matcher (2007)

The Flash Web Server (1999)

Brian Kernighan and Ken Thompson reverse-engineer a phototypesetter (1979)

ChucK: Strongly-Timed Music Programming Language

How Computers Work (general overview).

A Protocol for Packet Network Intercommunication (1974)

More →