Daniel Tisdall


concurrency | correctness | sw eng
Lower bound on the number of rounds in crash stop synchronous consensus
Why does Jepsen Work?
Tech Talk - Interchain Security: Blockchain Scalability and Security
How AWS builds things: Amazon Builder's Library. TLDR.
Large-scale Incremental Processing Using Distributed Transactions and Notifications a.k.a. Percolator
Chain Replication
Primary Backup Replication
Concise TLA+ tutorial with state enumerating and symbolic model checking
Lower bound (space) on FIFO mutual exclusion in shared memory
Lower bound (time) for read-write register in message passing
Get started with TLA+ tutorial video
Tech Talk - Modelling the Agoric smart contract kernel using TLA+
Lower bound (time) on approximate agreement in shared memory
Designed by Hakan