Tuning Random Generators: Property-Based Testing as Probabilistic Programming

Wi-LE: Can WiFi replace Bluetooth? (2019)

The H Index for Computer Science

Deriving State Machines from TinyOS Programs using Symbolic Execution (2008)

A Volatile-by-Default JVM for Server Applications [pdf]

Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega

The Three Layer Causal Hierarchy

The Silently Shifting Semicolon