The Changing Landscape of Parallel Computing – Tools (Testing and Debugging)

July 18, 2012
Darko Marinov, Dany Dig, Koushik Sen, and Sunny Chatterjee | UIUC, UCB, Microsoft Corporation

11:00–12:00: Tools (Testing and Debugging) (UIUC 30 mins) (UCB 15 mins)(MSFT 15 mins)

Darko Marinov (UIUC): Immunity + Pennelope (15 mins)
Dany Dig (UIUC): Refactoring (15 mins)
Koushik Sen(UCB): “Active Testing and Concurrit” (15 mins)
Sunny Chatterjee (Microsoft): Fighting concurrency bugs with advanced static analysis technology; The battle against concurrency bugs poses a serious challenge at Microsoft. Due to their non-deterministic nature, concurrency bugs are notoriously hard to reproduce, diagnose, and debug. To help developers tackle concurrency issues, we have developed a concurrency toolset based on advanced static analysis technologies, comprising (1) a source annotation language concurrency SAL and (2) a local concurrency checker EspC, which employs single-function analysis. By deploying our technologies across one of the biggest codebases in Microsoft, our team is helping find and fix hundreds of concurrency bugs in the final product. As we are making our technologies widely deployed to serve all Microsoft products, we anticipate that the impact of program analysis will continue to grow. This talk provides technical insights into our analysis technologies.

Speaker Details

Darko Marinov is a Ph.D. student in Computer Science at MIT, where he leads the MulSaw project on software reliability. He received an S.M. from MIT for work on credible compilation and a B.S. in Computer Science and Engineering from the University of Belgrade, Yugoslavia. Home page: http://cag.lcs.mit.edu/~marinov