Precise and Automated Symbolic Analysis of Concurrent Programs

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


Duration: 1:06:50
51 views
0

Software is large, complex, and error-prone. The trend of switching to parallel and distributed computing platforms (e.g. multi-cores, cloud computing) makes software development even more complex (e.g. Heisenbugs). In this talk, I'll present my research towards improving the reliability of concurrent programs by building a scalable tool for precise and automated static analysis of concurrent executions. In the first part of the talk I will introduce STORM, a static assertion checker for concurrent software components: I'll present algorithms and techniques used in the tool, as well as the latest results of applying STORM on drivers in the Win8 source depot. In the second part I'll focus on future plans and promising research directions for STORM as a platform for precise symbolic reasoning of concurrent executions.



Other Videos By Microsoft Research


2016-08-17Improving the Interface between Systems and Cryptography
2016-08-17Managing the Rights and Usage of Digital Resources
2016-08-17Wrap Up
2016-08-17Azure Academic Pilot
2016-08-17Social Networks and Success
2016-08-17Computer Aided Programming, the Next Frontier
2016-08-17Characterizing Large-Scale, Long-Term Use of Applications
2016-08-17Coming to Grips with Complexity in Computer-Aided Verification
2016-08-17Large-Context Models for Large-Scale Machine Translation
2016-08-17Commercial Buildings as a Resource in a Collaborative Smart Grid
2016-08-17Precise and Automated Symbolic Analysis of Concurrent Programs
2016-08-17Simulate & Eliminate - A Design Methodology for Application Specific, Multi-Core Architectures
2016-08-17Satisfiability-based Program Reasoning and Synthesis
2016-08-17Cloud Futures -- Talk 5
2016-08-17Efficient and Safe Multithreaded C Programming with the Ivy Compiler
2016-08-17Cloud Futures -- Talk 7
2016-08-17Text and Tie Strength
2016-08-17Holistic Language Processing: Joint Models of Linguistic Structure
2016-08-17Cloud Futures -- Talk 2
2016-08-17Cloud Futures -- Talk 8
2016-08-17Cloud Futures -- Talk 6


Tags:
microsoft research