How to Criticize Computer Scientists

On-demand-fork: A Microsecond Fork for Memory-Intensive and Latency-Sensitive Applications

What If We Don't Pop the Stack? The Return of 2nd-Class Values

How to Architect a Query Compiler, Revisited

Staged Abstract Interpreters

Purdue CS590: Cloud-Native Database Systems (Spring 2021)

How to Criticize Computer Scientists

Xinu Is Not Unix

Anonymity Trilemma: Anonymity, Low Bandwidth Overhead, Low Latency – Choose Two

How to Architect a Query Compiler

Functional Pearl: A SQL to C Compiler in 500 Lines of Code

How to Architect a Query Compiler, Revisited

Xinu – A small, elegant operating system

RxCML: Migrating MultiMLton to the Cloud (2014)

MultiMLton: Standard ML Compiler for Scalable, Multicore Platforms (2014)

A LISP Garbage-Collector for Virtual-Memory Computer Systems (1969)

Collapsing towers of interpreters

How To Criticize Computer Scientists

Using Coq to Write Fast and Correct Haskell

XINU OS – Xinu Is Not Unix

Rx: Treating Bugs as Allergies – A Method to Survive Software Failures (2005)

An Explanation of Cricket (2009)

Procedural Modelling of Buildings

How To Criticize Computer Scientists

A Large-scale Study of the Use of Eval in JavaScript Applications (2011) [pdf]