IronFleet: Proving Practical Distributed Systems Correct

August 31, 2016
Jay Lorch, Microsoft

- Jay Lorch
  
  Senior Principal Researcher

Watch Next

Efficient Homomorphic Integer Computer from CKKS
February 4, 2026
Patrick Longa,

Jaehyung Kim
Fuzzy Extractors are Practical
January 21, 2026
Melissa Chase,

Amey Shukla
Rick Rashid & Founding Microsoft Research
January 13, 2026
Rick Rashid
KDD '25 AI Reasoning Day keynote: Improving AI Reasoning through Intent, Interaction, and Inspection
January 8, 2026
Sumit Gulwani
Microsoft Research India 2025 Highlights
December 31, 2025
Inside Microsoft Research Asia: Fundamental research powering the future of AI
December 16, 2025
Peng Cheng,

Baining Guo,

Changho Hwang

, et. al.
Data Formulator: Vibe with your data, in control
December 9, 2025
Karen Easterbrook,

Chenglong Wang
AI and productivity: A year-in-review with Microsoft, Google, and GitHub researchers
December 9, 2025
Brian Houck
From Microfarms to the Moon: A Teen Innovator’s Journey in Robotics
December 9, 2025
Pranav Kumar Redlapalli
Anaximander: Interactive Orchestration and Evaluation of Geospatial Foundation Models
December 9, 2025
Satej Soman