Comment Feed for Channel 9 - Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs http://ecn.channel9.msdn.com/o9/previewImages/220/430801_220x165.jpg Channel 9 - Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs 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 Ball Thomas Ball is Principal Researcher at Microsoft Research where he manages the Software Reliability Research group (http://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 Musuvathi Madan 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. en Thu, 20 Jun 2013 09:53:37 GMT Thu, 20 Jun 2013 09:53:37 GMT Rev9 Re: Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs

posted by Macromullet

]]> http://channel9.msdn.com/Events/PDC/PDC08/TL58#c633633260450000000 Wed, 26 Nov 2008 19:54:05 GMT http://channel9.msdn.com/Events/PDC/PDC08/TL58#c633633260450000000 Macromullet Re: Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs On behalf of the CHESS team, I am very glad to announce that CHESS is available for download at http://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.

posted by Tom ball

]]> http://channel9.msdn.com/Events/PDC/PDC08/TL58#c633675674700000000 Wed, 14 Jan 2009 22:04:30 GMT http://channel9.msdn.com/Events/PDC/PDC08/TL58#c633675674700000000 Tom ball Re: Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs thanks

posted by Komik Videolar

]]> http://channel9.msdn.com/Events/PDC/PDC08/TL58#c634002902550000000 Thu, 28 Jan 2010 15:44:15 GMT http://channel9.msdn.com/Events/PDC/PDC08/TL58#c634002902550000000 Komik Videolar Re: Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs yok bişrey:D

posted by tomiallen

]]> http://channel9.msdn.com/Events/PDC/PDC08/TL58#c634021850730000000 Fri, 19 Feb 2010 14:04:33 GMT http://channel9.msdn.com/Events/PDC/PDC08/TL58#c634021850730000000 tomiallen Re: Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs This session includes several demonstrations about why concurrency is difficult, taming concurrency,

posted by Enginsev

]]> http://channel9.msdn.com/Events/PDC/PDC08/TL58#c634026300530000000 Wed, 24 Feb 2010 17:40:53 GMT http://channel9.msdn.com/Events/PDC/PDC08/TL58#c634026300530000000 Enginsev