TechFest 2007 - Automatically Proving Concurrent Programs Correct

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


Duration: 42:57
19 views
0

< no description available >



Other Videos By Microsoft Research


2016-09-07Deputy: Dependent Types for Safe Systems Software
2016-09-07Integrating OLAP and Ranking: The Ranking-Cube Methodology
2016-09-07TechFest 2007 - Executive Keynote
2016-09-07An Axiomatic Approach to Ranking Systems
2016-09-07Energy Conservation Techniques in Mobile Delay-Tolerant Sensor Networks
2016-09-07Looking Beyond Performance: Processors for Time Travel
2016-09-07EnviroSuite: An Environmentally-Immersive Programming Framework for Sensor Networks
2016-09-07Wavelets in Real-time Rendering
2016-09-07From Local to Global Visual Similarity in Space and in Time
2016-09-07Digital Simplicity Through Activity-based Computing
2016-09-07TechFest 2007 - Automatically Proving Concurrent Programs Correct
2016-09-07Learning and Competition with Finite Automata
2016-09-07Designing and Evaluating Glanceable Peripheral Displays
2016-09-07Trade-offs in Cost-sharing
2016-09-07Tools and techniques for understanding and defending real systems
2016-09-07A variant of Lehmer's conjecture
2016-09-07Uncoupled Dynamics and Strategic Equilibrium
2016-09-07The diameter and mixing time of critical random graphs
2016-09-07The Power of a Positive No: How to Say No and Still Get to Yes
2016-09-07Continuous Coordination: Bridging Formal and Informal Coordination with Palantír
2016-09-07Behind the Code with Rico Mariani


Tags:
microsoft research