The original Waterfall paper was anti-Waterfall? (1970)

Intro to graph compression: big graphs, small memory

Sorting Spatial Data

Understanding the Stack (2003)

Does P=NP? Results of a poll taken among academics [2002]

FindBugs project in its current form is dead

The "Double-Checked Locking is Broken" Declaration

Intercepting Arbitrary Functions on Windows, UNIX, and Macintosh OS X Platforms (2004)

P =? NP Poll

Cryptography: An Introduction (2011)

Managing the Development of Large Software Systems (1970)

Spatial Data Models and Query Processing (1994)

An End-to-End Measurement of Certificate Revocation in the Web’s PKI

Practically Accurate Floating-Point Math [PDF]

Alibi Routing

(pdf) Tutorial on Good Lisp Programming Style by Norvig & Pitman (circa 1992-3)

The Ubiquitous B-Tree (1979)

Coinscope: Discovering Bitcoin's Network Topology and Influential Nodes

Computational Geometry: Proximity and Location

Adapton: Composable, Demand-Driven Incremental Computation

The Ruby Type Checker [pdf]

A Neural Network for Factoid Question Answering Over Paragraphs

On understanding coinduction

Loop Unrolling

Setuid Demystified [pdf]

An Investigation of the Therac-25 Accidents (1993) [pdf]

A Neural Network for Factoid Question Answering over Paragraphs