Ken Thompson: Reflections on Trusting Trust (Turing Award Lecture, 1984)

About Compiled and Vectorized Queries (2018) [pdf]

Xerion: Neural Network Simulator (1995)

Penrose – Create diagrams by typing notation in plain text

ACT-R the theory is embodied in ACT-R the software

My favorite database shirts

Person-in-WiFi: Fine-Grained Person Perception Using WiFi [pdf]

Introduction to Probability for Computing

Car allergic to vanilla ice cream (2000)

A CD Spectrometer (2006)

Some of the error messages produced by Apple's MPW C compiler (2006)

Diagram Layout in Stages

Introduction to the Conjugate Gradient Method Without Agonizing Pain (1994) [pdf]

C89 compiler produces printable executables from C code [pdf] (2017)

The best multicore-parallelization refactoring you’ve never heard of∗

Penrose 3.0

Are You Sure You Want to Use MMAP in Your Database Management System? (2022)

Autonomous robot to stave off spotted lanternflies

EinNet: Optimizing Tensor Programs with Derivation-Based Transformations

A team from Carnegie Mellon University's Robotics Institute has developed an autonomous robot to control the spread of spotted lanternflies, invasive insects known to destroy economically important crops.

Principles of Imperative Computation

Magvit: Masked Generative Video Transformer

Building a new database management system in academia (2017)

Programming in Standard ML (2011) [pdf]

Everything you always wanted to know about mathematics (2013) [pdf]

Purely Functional Data Structures (1996) [pdf]

Nobody cares about our concurrency control research [pdf]

Recreating Medieval English Ales (1998)

Dynamic Branch Prediction with Perceptrons (2000) [pdf]

The myth of the fast learner: researchers wanted to know why some students learn faster than others, they found that in the right conditions, people learn at a remarkably similar rate

More →