Panel: The Future of Programming Languages
Play Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs
Description
Learn about the Concurrency Analysis Platform (CAP) from Microsoft Research and how it enables various concurrency bug-finding tools. See a demo of CHESS, a tool built on CAP for finding and reproducing Heisenbugs. Also hear about future tools from Microsoft
Research, including a lightweight data-race detection engine and a tool for finding memory-model errors.
-
Thomas BallThomas Ball is Principal Researcher at Microsoft Research where he manages the Software Reliability Research group (https://research.microsoft.com/srr/). Tom has been at Microsoft Research since 1999. He is one of the originators of the SLAM project, a software model checking engine for C that forms the basis of the Static Driver Verifier tool, made freely available by Microsoft for finding defects in device drivers. Tom's interests range from program analysis, model checking, testing and automated theorem proving to the problems of defining and measuring software quality.
-
Madan MusuvathiMadan Musuvathi is a Researcher at Microsoft Research and is interested in building program analysis tools to improve the productivity of developers and testers. He received his Ph.D. from Stanford University in 2004.
Day:
0Code:
TL58Download
Right click or Alt+Enter to download this episode
- Low Quality MP4 (97.6 MB)
- Mid Quality WMV (186.8 MB)
- High Quality WMV (358.3 MB)
The Discussion
-
Macromullet This is one of the coolest things I've ever seen. Heisenbugs are one of the most infuriating parts of concurrency programming. Keep up the good work.
-
Tom ball On behalf of the CHESS team, I am very glad to announce that CHESS is available for download at https://msdn.microsoft.com/en-us/devlabs/cc950526.aspx. CHESS is a tool from Microsoft Research for finding and reproducing concurrency errors. Please download the bits and let us know what you think in our forum. Also, subscribe to our blog for more details and tidbits.
-
Komik Videolar thanks
-
tomiallen yok bişrey:D
-
Enginsev This session includes several demonstrations about why concurrency is difficult, taming concurrency,
-
DevSec Since CodePlex shut down I can no longer find CHESS, either a binary or the source. Can someone help me out? I'm hunting Heisenbugs. 😋
https://www.microsoft.com/en-us/research/project/chess
