The War on Error: Failure, Fun, and the Future

September 27, 2011

This panel of researchers from Microsoft Research Cambridge discusses the field of software verification, looking back at its history, the latest successes and what challenges the future holds.

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