Slides for MSR Russian Summer School on Concurrency

August 2012

This page is provided for convenience to download slides used by presenters. For information on the summer school, see the main summer-school page.

• Concurrent Programming is Easy, Bertrand Meyer   all
• Model-Based Design and Analysis of Concurrent and Adaptive Software, Jeff Kramer   part1   part2
• Design Patterns for Highly Concurrent Data Structures, Maurice Herlihy   part1   part2   part3
• Parallel Computing: Multicore, Clusters and the Cloud, Tony Hey   all
• Concurrency in C# and Java — Why Languages Matter, Judith Bishop   all
• Concurrent Revisions, Sebastian Burckhardt   part1   part2
• A Programming-Languages View of Data Races, Dan Grossman   all
• Complexity and Performance Analysis of Parallel Computing; Modern Languages and Technologies of Parallel Programming, Victor Gergel   part1   part2   part3   part4   part5
• An Introduction to Bisimulation and Coinduction, Davide Sangiorgi   all

Last updated: August 31, 2012