pdc2008

Research: Concurrency Analysis Platform and Tools for Finding Concurrency Bugs

System — Wed, 29 Oct 2008 16:39:25 GMT

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.

The Concurrency and Coordination Runtime and Decentralized Software Services Toolkit

System — Wed, 29 Oct 2008 16:39:18 GMT

Get an overview of Microsoft's CCR and DSS Toolkit 2008 and the technologies it contains for building loosely-coupled, highly concurrent, and distributed applications. Learn how the technologies are already being used and get a run-down of how to evaluate whether the technologies may be right for you.

George Chrysanthakopoulos

Microsoft Visual Studio: Bringing out the Best in Multicore Systems

System — Wed, 29 Oct 2008 16:38:08 GMT

Learn how to prepare for the new challenges in developing and tuning concurrent applications. Hear about important steps in the creation of or conversion to parallel applications with demonstrations of the parallel performance analysis and optimization tools in the next release of Microsoft Visual Studio. See how to identify opportunities for parallelism and how to exploit those opportunities by choosing applicable coding patterns using existing or future programming models. Finally, watch a demonstration that shows how to optimize parallel code by focusing on common sources of inefficiency such as I/O and synchronization.

Hazim Shafi
Dr. Hazim Shafi received a BSEE from Santa Clara, and MS and PhD degrees from Rice University. He joined Microsoft in 2005 from IBM Research. Hazim has over a decade of experience in parallel and distributed processing and has numerous publications and patents in the area. He is currently a Principal Architect on the Parallel Computing Platform team leading its efforts in parallel performance analysis tools. He also teaches classes on multithreaded application development at Microsoft.

Concurrency Runtime Deep Dive: How to Harvest Multicore Computing Resources

System — Wed, 29 Oct 2008 16:38:13 GMT

Learn how the Concurrency Runtime provides an efficient and scalable infrastructure for multiple concurrent programming models by bringing together cooperative work scheduling and resource management into one component. This deep dive presentation gives you an idea of what it means to target the Concurrency Runtime with your domain-specific library or language. We also cover many of the internal algorithms of the runtime to help educate you on the applicability of the runtime to your scenarios.

Niklas Gustafsson

Parallel Programming for C++ Developers in the Next Version of Microsoft Visual Studio

System — Wed, 29 Oct 2008 16:38:20 GMT

Build more responsive C++ programs that take full advantage of multicore hardware. We demonstrate how the new Parallel Pattern Library (PPL) enables you to express parallelism in your code and how the asynchronous messaging APIs can be used to separate shared state and increase your application's resilience and robustness. Finally, we take a look at some of the new capabilities of C++0x and Visual Studio to help you efficiently code and debug your multi-threaded applications.

Rick Molloy

Parallel Programming for Managed Developers with the Next Version of Microsoft Visual Studio

System — Wed, 29 Oct 2008 16:38:22 GMT

Come learn how the next version of Visual Studio and the Microsoft .NET Framework can help you write better performing and more scalable applications. We take a tour of new .NET APIs, including the Task Parallel Library (TPL) and Parallel LINQ (PLINQ). We also introduce new features in the debugger that help you quickly identify concurrency issues and visualize the internal state of your application.

Daniel Moth
Daniel Moth has been with Microsoft since April 2006. Before that he worked in industry as a consultant, a developer and he was also an MVP for mobile development (a topic he wrote a book about). Recently he joined the Parallel Computing Platform to work on developer tools for the next versions of Visual Studio. Daniel's interests include anything to do with .NET and he blogs about that at http://www.danielmoth.com/Blog, which is also the best way to reach him.

Parallel Symposium: Addressing the Hard Problems with Concurrency

System — Wed, 29 Oct 2008 16:37:31 GMT

Hear about the challenges of applying multi-core processors to general-purpose software and the key impacts this will have on developers and platforms. Learn about the hard problems that must be addressed to enable parallel software to be deployed with the same reliability and productivity of mainstream software. Hear about the key architectural changes Microsoft is making to Windows to enable the efficient execution of parallel software.

Lynne Hill
David Callahan
David Callahan joined Microsoft in 2005. He is a Distinguished Engineer leading the Parallel Computing Platform Team within Visual Studio® focused on incubating technology for the coming manycore processors. This team is producing exciting new technologies as part of Visual Studio and also driving the Parallel Computing Initiative, a company wide effort to deliver customer value from the power of future high-performance processors. David’s background is in programming languages, parallel programming techniques, and compilation techniques focused on expressing and exploiting concurrency.

Parallel Symposium: Application Opportunities and Architectures

System — Wed, 29 Oct 2008 16:37:32 GMT

Parallel Computing opens up potential for new categories of applications and user interaction. Hear Intel discuss its vision for Connected Visual Computing followed by Microsoft's guidance on how to architect applications that are correct, scalable, and responsive.

Jerry Bautista
John Feo
John Feo is a principal architect leading the applications framework group in PCP. Prior to joining Microsoft, John worked at Cray Inc and Lawrenece Livermore National Laboratory. At Cray, John developed applications and worked with early customers of the Cray MTA systems. At LLNL, John was the group leader of the Computer Research Group and principal investigator of the Sisal Language Project. John's interest are parallel algorithms, parallel programming models, functional languages, and performance.

Parallel Symposium: Future of Parallel Computing

System — Wed, 29 Oct 2008 16:37:33 GMT

Hear Intel describe its near-term support for Microsoft Visual Studio with Intel Parallel Studio. Learn about incubation technologies related to parallel computing, such as Intel Threading Building Blocks on Concurrency Runtime, software transaction memory, agents, Intel Ct and tools.

James Reinders
James Reinders is an expert in the area of parallelism, Intel’s leading spokesperson on tools for parallelism, and author of the O’Reilly Nutshell book on the C++ extensions for parallelism provided by the popular Intel Threading Building Blocks. James has decades of experience with high degrees of parallelism having worked on groundbreaking compilers and architectures such as the systolic arrays WARP and iWarp, and the world’s first TeraFLOP supercomputer (ASCI Red). James is a frequent blogger, columnist on go-parallel.com, and the author and co-author of several books in addition to the recent TBB Nutshell book.
Selena Wilson
Niklas Gustafsson
Sean Nordberg
David Detlefs
Dave got his Ph.D. from Carnegie-Mellon in 1990. He was a researcher at DEC's System Research Center from 1990 to 1996, working on program verification and garbage collection. He moved to Sun Laboratories in Massachusetts in 1996, working there on parallel and concurrent garbage collection, lock-free algorithms, and just-in-time compilation techniques. He moved to Microsoft's CLR in 2005, and has been working on transactional memory and various CLR architectural issues. He holds 32 patents, and has been on a number of program committees for academic conferences.