IronFleet: Proving Practical Distributed Systems Correct

August 31, 2016
Jay Lorch, Microsoft

- Jay Lorch
  
  Senior Principal Researcher

Watch Next

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
Accelerating MRI image reconstruction with Tyger
December 9, 2025
Karen Easterbrook,

Ilyana Rosenberg
Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
Publicly-verifiable elections
December 9, 2025
Karen Easterbrook,

Josh Benaloh
A brain-inspired agentic architecture to improve planning with LLMs
December 9, 2025
Karen Easterbrook,

Ida Momennejad
From Microfarms to the Moon: A Teen Innovator’s Journey in Robotics
December 9, 2025
Pranav Kumar Redlapalli
Leveraging Loanword Constraints for Improving Machine Translation in Low-resource Settings
November 25, 2025
Felermino Ali
Inside Azure Innovations with Mark Russinovich | Microsoft Ignite 2025
November 19, 2025
Mark Russinovich
Inside Azure innovations with Mark Russinovich | Microsoft Build 2025
May 20, 2025
Mark Russinovich