Snapshottable Stores

GenAI diminishes creativity instead of inspiration

A systematic approach to deriving incremental type checkers (2020)

What does it mean to be a programming language, anyhow? (2021) [pdf]

Calendar Queues: A Fast O(1) Priority Queue Implementation (1988)

Compiling Loop-Based Nested Parallelism for Irregular Workloads

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation

Just-In-Time Compilation on ARM—A Closer Look at Call-Site Code Consistency

Interval parsing grammars for file format parsing (2023)

SQL/SE Query Language Extension for Schema Evolution (1992) [pdf]