-
Simple Serializable Snapshot Isolation
May 13, 2025
-
Transactions as Transformers
May 4, 2025
-
Modern Views of Transaction Isolation
Mar 17, 2025
-
Interactive Formal Specifications
Dec 12, 2024
-
Decomposing Protocols with Interaction Graphs
Dec 2, 2024
-
Inductive Proof Graphs
Oct 15, 2024
-
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