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

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=iw4AuHSm398


Duration: 26:16
571 views
15

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.

Learn more
http://research.microsoft.com/en-us/um/redmond/events/20anniversary/Lectures.aspx



Other Videos By Microsoft Research


2012-08-09Artificial Intelligence Drives Oren Etzioni's Passion
2012-08-07KinÊtre: A Novel Way To Bring Computer Animations To Life
2012-08-01Kodu: Mars Edition
2012-07-27Natural User Interface (NUI): Pervasive Computing Is on Its Way
2012-07-23Learn How Microsoft is Supporting the Sit With Me Campaign
2012-07-12Cross disciplinary borders
2012-07-12How Women Help Influence Technology
2012-07-06Microsoft Research - Women in Computer Science: Siân Lindley
2012-06-29Microsoft Research - Women in Computer Science: Jasmin Fisher
2012-06-26Shedding Light on Code Clones in Software Development
2012-06-22The War on Error: Failure, Fun, and the Future
2012-06-19TILT: Rectify everything you see
2012-06-15Crunching Big Data
2012-06-12Security Research: a look back and a look ahead
2012-06-08Microsoft Research - Women in Computer Science: Abigail Sellen
2012-06-07Enjoying the Learning with Research
2012-06-06Become a Time Traveler with ChronoZoom
2012-06-01Opportunities for the Future of Computer Research
2012-05-18Wikipedia on TV-DVD for Low-Income Communities
2012-05-18Stratus: Energy-efficient mobile communication using cloud support
2012-05-10Understand Through Teaching


Tags:
The War on Error
MSR
Microsoft Research
Microsoft
Research
Microsoft Research Cambridge
Software verification
software
verification