What every computer scientist should know about floating-point arithmetic (1991) [pdf]

Partial Evaluation and Automatic Program Generation

Digital Computers: On Encoding Logical-Mathematical Formulas into the Machine Itself (1954)

Spreadsheet technology (2011)

An optimal Bloom filter replacement [PDF]

Corecalc and Funcalc, Spreadsheet Technology in C# (2014)

Lecture Notes on Static Analysis