{"id":188104,"date":"2012-07-18T00:00:00","date_gmt":"2012-07-19T15:41:38","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/msr-research-item\/the-changing-landscape-of-parallel-computing-tools-testing-and-debugging\/"},"modified":"2016-08-22T11:26:42","modified_gmt":"2016-08-22T18:26:42","slug":"the-changing-landscape-of-parallel-computing-tools-testing-and-debugging","status":"publish","type":"msr-video","link":"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-changing-landscape-of-parallel-computing-tools-testing-and-debugging\/","title":{"rendered":"The Changing Landscape of Parallel Computing &#8211; Tools (Testing and Debugging)"},"content":{"rendered":"<div class=\"asset-content\">\n<p>11:00\u201312:00: Tools (Testing and Debugging) (UIUC 30 mins)  (UCB 15 mins)(MSFT 15 mins)<\/p>\n<p>Darko Marinov (UIUC): Immunity + Pennelope (15 mins)<br \/>\nDany Dig (UIUC): Refactoring (15 mins)<br \/>\nKoushik Sen(UCB): \u201cActive Testing and Concurrit\u201d (15 mins)<br \/>\nSunny 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.<\/p>\n<\/div>\n<p><!-- .asset-content --><\/p>\n","protected":false},"excerpt":{"rendered":"<p>11:00\u201312: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): \u201cActive Testing and Concurrit\u201d (15 mins) Sunny Chatterjee (Microsoft): Fighting concurrency bugs with advanced static analysis technology; The battle against concurrency bugs poses a serious challenge [&hellip;]<\/p>\n","protected":false},"featured_media":197016,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_hide_image_in_river":0,"footnotes":""},"research-area":[],"msr-video-type":[],"msr-locale":[268875],"msr-post-option":[],"msr-session-type":[],"msr-impact-theme":[],"msr-pillar":[],"msr-episode":[],"msr-research-theme":[],"class_list":["post-188104","msr-video","type-msr-video","status-publish","has-post-thumbnail","hentry","msr-locale-en_us"],"msr_download_urls":"","msr_external_url":"https:\/\/youtu.be\/0wGZemzViJM","msr_secondary_video_url":"","msr_video_file":"","_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/188104","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-video"}],"version-history":[{"count":0,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/188104\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/197016"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=188104"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=188104"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=188104"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=188104"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=188104"},{"taxonomy":"msr-session-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-session-type?post=188104"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=188104"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=188104"},{"taxonomy":"msr-episode","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-episode?post=188104"},{"taxonomy":"msr-research-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-research-theme?post=188104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}