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

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

YouTube video by TigerBeetle

youtu.be

TigerBeetle@tigerbeetle.com · 2mo ago

Talks will premiere on YouTube at 9AM PT every Monday/Wednesday from August 19 through September. Explore the playlist, hit 'notify me' for reminders, and join the live chat for Q&A with each speaker. www.youtube.com/playlist?lis...

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

TigerBeetle@tigerbeetle.com · 4mo ago

What remains when agents start writing and humans stop reading code? Next month, Dominik Tornow at #systemsdistributed! @dominiktornow.bsky.social

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...

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...

decentralizedthoughts.github.io

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.

Microsoft Research@msftresearch.bsky.social · last yr.

In this issue: New research on compound AI systems and causal verification of the Confidential Consortium Framework; release of Phi-4-reasoning; enriching tabular data with semantic structure, and more: msft.it/6012SVNCj

🔧 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...

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.

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

Murat (Distributolog)@muratdemirbas.bsky.social · 2y ago

[new blog post] Smart Casual Verification of the Confidential Consortium Framework (NSDI'25) muratbuffalo.blogspot.com/2025/02/smar...

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.

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

Martin Kleppmann@martin.kleppmann.com · 2y ago

The PaPoC workshop is once again accepting submissions on distributed consistency. Deadline 15 January papoc-workshop.github.io/2025/cfp.html

We’re looking for two postdocs to join us at Azure Research. Please help to get the word out to final year phd students and early careers researchers in the areas of security & privacy, formal verification, systems, architecture and/or cryptography

Cambridge Residency Programme – Post Doc Researcher Security and Privacy in Cambridge, Cambridgeshire, United Kingdom | Research, Applied, & Data Sciences at Microsoft

Apply for Cambridge Residency Programme – Post Doc Researcher Security and Privacy in Cambridge, Cambridgeshire, United Kingdom | Research, Applied, & Data Sciences at Microsoft

jobs.careers.microsoft.com