iiinova — where your digital self keeps evolving

Heidi Howard @heidihoward.bsky.social · 23/08/2026

My talk, Making the impossible possible (again!), will premiere on Monday at 5pm BST / 9am PT and I’ll be joining the live in the Q&A youtu.be/P0cAG-RM1_c

youtu.be

Making the Impossible Possible (Again): Ten Years of Flexible Paxos by Heidi Howard

YouTube video by TigerBeetle

0112

Reposted by Heidi Howard

TigerBeetle @tigerbeetle.com · 22/06/2026

In 2016, Heidi Howard showed that Paxos’ quorum requirements were in fact over-specified, by introducing Flexible Paxos. Join us at #systemsdistributed to celebrate the 10th anniversary of Flexible Paxos! @heidihoward.bsky.social

141

Heidi Howard @heidihoward.bsky.social · 27/05/2025

It's wonderful to be writing again at Decentralized Thoughts! This time focusing on how we can tie together the messy reality of real-world distributed system to the elegant formal models we often use instead for reasoning about correctness. decentralizedthoughts.github.io/2025-05-23-s...

decentralizedthoughts.github.io

Reasoning about Distributed Protocols with Smart Casual Verification

Here at decentralized thoughts, we spend a lot of time reasoning about distributed protocols. Often, we focus on solving distributed consensus, personally it’s my favorite CS problem, but it’s also fa...

0121

Heidi Howard @heidihoward.bsky.social · 20/05/2025

It's smart casual verification (like the dress code) instead of causal verification but still it's fab to see our recent NSDI paper featured in the @msftresearch.bsky.social Research Focus.

131

Reposted by Heidi Howard

lmstr.bsky.social @lmstr.bsky.social · 06/05/2025

🔧 GenAI-Accelerated #TLAplus Challenge is live! Use GenAI to enhance TLA⁺ specs, tools, or workflows. Submit your project for a chance to win a prize. Details: foundation.tlapl.us/challenge/in...

foundation.tlapl.us

GenAI-accelerated TLA+ challenge

The TLA+ Foundation, in collaboration with NVIDIA, is pleased to announce the GenAI-accelerated TLA+ challenge—an open call for submissions that explore the intersection of TLA+ and generative AI. Thi...

034

Heidi Howard @heidihoward.bsky.social · 28/04/2025

A quick history lesson in the sunshine before NSDI. Exciting to speaking about our paper on “smart casual verification” with TLA+ and how we applied it to find subtle bugs in our distributed system, the Confidential Consortium Framework.

140

Heidi Howard @heidihoward.bsky.social · 27/02/2025

A big thank you to @muratdemirbas.bsky.social for covering our upcoming NSDI paper on his blog. The paper documents our adventures with “smart casual verification”, combining formal specification and model checking with validation of real execution traces from the Confidential Consortium Framework

092

Heidi Howard @heidihoward.bsky.social · 28/01/2025

BFT as a poem (thanks to AI): In webs of nodes where chaos plays, Byzantine whispers cloud the ways. Yet trust persists, through trials deep, Consensus wakes where doubts would creep. Resilient minds, a truth refined, Order from discord, tightly aligned.

020

Heidi Howard @heidihoward.bsky.social · 15/12/2024

Interesting workshop and a lovely community, would very much recommend!

187