Mar 7, 2026 Canonicalized Distributed Protocol Specs Jan 20, 2026 Verified Transpilation with Claude Oct 14, 2025 Git for Transactions Sep 19, 2025 On Writing, Specification, and Outputs Aug 25, 2025 Logless Raft May 13, 2025 Simple Serializable Snapshot Isolation May 4, 2025 Transactions as Transformers Mar 17, 2025 Modern Views of Transaction Isolation Dec 12, 2024 Interactive Formal Specifications Dec 2, 2024 Decomposing Protocols with Interaction Graphs Oct 15, 2024 Inductive Proof Graphs Feb 9, 2024 On Raft's Reconfiguration Bug Aug 5, 2020 Machine Closure Aug 1, 2020 Defining Safety and Liveness Jul 21, 2020 Specifications and Properties in TLA+ Jun 30, 2017 Cracking Go's PRNG For Fun and (Virtual) Profit Feb 5, 2014 Reverse Engineering the MP-69D Scoreboard Controller