IronFleet: Proving Practical Distributed Systems Correct

August 31, 2016
Jay Lorch, Microsoft

- Jay Lorch
  
  Senior Principal Researcher

Watch Next

Constrained Generative AI for Materials Inverse Design
June 2, 2026
Mouyang Cheng
De novo Generation for Molecular Structure Elucidation from Mass Spectrometry
May 26, 2026
Runzhong Wang
Introducing Muse: Our first generative AI model designed for gameplay ideation
May 20, 2026
Designing Dynamic Measure Transport for Sampling
May 19, 2026
Aimee Maurais
Guiding the AI disruption to the Good Place
May 14, 2026
Yash Lara,

David Rothschild
New fine-tuning of language models: Match meaning, not tokens
May 14, 2026
Yash Lara,

Carles Domingo-Enrich
Introducing Interwhen: Steering reasoning agents with real-time verification
May 14, 2026
Yash Lara,

Amit Sharma
Introducing GitHub Agentic Workflows: AI that runs your repo
May 14, 2026
Yash Lara,

Peli de Halleux
Emerging Hardware Acceleration for Fully Homomorphic Encryption
May 14, 2026
Patrick Longa,

Minxuan Zhou
Upper Bound 2024: Towards Human-Centered AI in AAA Video Game
June 11, 2024
Raluca Georgescu

Your Privacy Choices