IronFleet: Proving Practical Distributed Systems Correct

Watch Next

• 

  AI agents for therapeutic reasoning across biological contexts

  September 1, 2026

  • Michelle M. Li
• 

  AI, Radio Astronomy, and the Search for Life Beyond Earth

  August 20, 2026

  • Ramiro Caisse Saide
• 

  Binomial Flows: Denoising and flow matching for discrete ordinal data

  August 18, 2026

  • Yair Shenfeld
• Haechi: Simple Commitment-based Keyless In-person Verifiable Elections

  July 23, 2026

  • Josh Benaloh,
  • Jiwon Kim
• 

  Analyzing Group Chat Encryption in Messaging Applications

  July 20, 2026

  • Akshaya Kumar,
  • Melissa Chase
• 

  Invited Research Talk: Measuring Generalization in EEG Foundation Models

  July 20, 2026

  • Aditya Kommineni,
  • Dimitra Emmanouilidou
• 

  TruthTable: A Verifiable Query Engine

  July 9, 2026

  • Bharath Namboothiry,
  • Kim Laine
• 

  Paza Playbook Walkthrough

  March 23, 2026

  • Mercy Muchai
• 

  Atlas Playbook Walkthrough

  February 5, 2026

  • Arnab Paul Choudhury
• 

  Vibhasha Playbook Walkthrough

  February 5, 2026

  • Prashant Kodali