Writing

Transactions as Transformers May 4, 2025
Modern Views of Transaction Isolation Mar 17, 2025
A Tool for Exploring Formal Specifications Dec 12, 2024
Decomposing Concurrent Protocols via Interactions Dec 2, 2024
Inductive Proof Graphs Oct 15, 2024
Notes on Raft's Reconfiguration Bug Feb 9, 2024
Machine Closure Aug 5, 2020
Defining Safety and Liveness Aug 1, 2020
Specifications and Properties in TLA+ Jul 21, 2020
Cracking Go's PRNG For Fun and (Virtual) Profit Jun 30, 2017
Reverse Engineering the MP-69D Scoreboard Controller Feb 5, 2014