IronFleet: Proving Practical Distributed Systems Correct

August 31, 2016
Jay Lorch, Microsoft

- Jay Lorch
  
  Senior Principal Researcher

Watch Next

The Future of the Grid: How AI Transforms Power System Planning
September 30, 2026
Andrea Britto Mattos Lima,

Spencer Fowers,

Weiwei Yang
Network transceiver insertion
September 29, 2026
Elliott Hogg,

Andromachi Chatzieleftheriou
Chopstick-Inspired Non-Prehensile Manipulation for Datacenter Automation
September 29, 2026
Andromachi Chatzieleftheriou,

Harshit Khurana,

Elliott Hogg
Introducing Quine: An AI research system designed for the complexity of biology
September 29, 2026
Nicolo Fusi,

Jonathan M. Carlson,

Christopher Gooley

, et. al.
One-shot generative flows: Existence and obstructions
September 29, 2026
Panos Tsimpos
Generative Gibbs sampling: Composing generative models with explicit physical context
September 22, 2026
Weizhou Wang
Latch-Free Index Trees That Scale: Avoiding Thread Switches & Stalls
September 16, 2026
David B. Lomet,

Phil Bernstein
Sample and Map from a Single Convex Potential: Generation using Conjugate Moment Measures
September 15, 2026
Nina Vesseron
Probabilistic Inference for Controlling Diffusion Models
September 8, 2026
Jiajun He
AI agents for therapeutic reasoning across biological contexts
September 1, 2026
Michelle M. Li

Your Privacy Choices