2012 Summer School on Concurrency
August 22–29, 2012 | St. Petersburg, Russia
- Home
- Agenda
- Speakers and Abstracts
Agenda Summary
Download a one-page, printable overview of the summer school agenda
Complete Agenda
Wednesday, August 22, 2012
|
Time |
Event/Topic | |
|
17:30–21:30 |
Registration and Opening Reception Welcome—Fabrizio Gagliardi, director, Programs in Europe and Russia, Microsoft Research | |
Thursday, August 23, 2012
|
Time |
Event/Topic | |
| 9:00–11:00 |
Concurrent Programming is Easy, Part I | Abstract Speaker: Bertrand Meyer | |
| 11:00–11:30 | Break | |
|
11:30–13:00 |
Model-Based Design and Analysis of Concurrent and Adaptive Software, Part I | Abstract Speaker: Jeff Kramer | |
| 13:00–14:30 | Lunch | |
|
14:30–16:00 |
Speaker Introductory Panel Chairs: Bertrand Meyer and Judith Bishop | |
| 16:00–16:30 | Break | |
| 16:30–18:30 |
Concurrent Programming is Easy, Part II | Abstract Speaker: Bertrand Meyer | |
| 18:30–20:00 | Free Time | |
| 20:00–21:30 | Dinner | |
Friday 24 August 2012
|
Time |
Event/Topic | |
| 9:00–11:00 |
Model-Based Design and Analysis of Concurrent and Adaptive Software, Part II | Abstract Speaker: Jeff Kramer | |
| 11:00–11:30 | Break | |
|
11:30–13:00 |
Design Patterns for Highly Concurrent Data Structures, Part I | Abstract Speaker: Maurice Herlihy | |
| 13:00–14:30 | Lunch | |
|
14:30–16:00 |
Guest Talk 1 | |
| 16:00–16:30 | Break | |
| 16:30–18:30 |
Practical Session and Student Presentations 1 | |
| 18:30–20:00 | Free Time | |
| 20:00–21:30 | Dinner | |
Saturday 25 August 2012
|
Time |
Event/Topic | |
| 9:00–11:00 |
Concurrency in C# and Java: Understanding Why Languages Matter | Abstract | |
| 11:00–11:30 | Break | |
|
11:30–13:00 |
Concurrent Revisions, Part I: Beyond a Linear History of State | Abstract Speaker: Sebastian Burckhardt | |
| 13:00–14:30 | Lunch | |
|
14:30–16:00 |
Practical Session and Student Presentations 2 | |
| 16:00–16:30 | Break | |
| 16:30–18:30 |
Design Patterns for Highly Concurrent Data Structures, Part II | Abstract Speaker: Maurice Herlihy | |
| 18:30–20:00 | Free Time | |
| 20:00–21:30 | Dinner | |
Sunday, 26 August 2012
|
Time |
Event/Topic | |
|
All day |
Free Time | |
Monday 27 August 2012
|
Time |
Event/Topic | |
| 9:00–11:00 |
Concurrent Revisions, Part II: Incremental Computation and Eventual Consistency | Abstract Speaker: Sebastian Burckhardt | |
| 11:00–11:30 | Break | |
|
11:30–13:00 |
Data-Race Exceptions via Low-Level Detection of High-Level Data Races | Abstract Speaker: Dan Grossman | |
| 13:00–14:30 | Lunch | |
|
14:30–16:00 |
Practical Session and Student Presentations 3 | |
| 16:00–16:30 | Break | |
| 16:30–18:30 |
Complexity and Performance Analysis of Parallel Computing | Abstract | |
| 18:30–20:00 | Free Time | |
| 20:00–21:30 | Dinner | |
Tuesday 28 August 2012
|
Time |
Event/Topic | |
| 9:00–11:00 |
Deterministic Execution of Concurrent Programs| Abstract Speaker: Dan Grossman | |
| 11:00–11:30 | Break | |
|
11:30–13:00 |
An Introduction to Bisimulation and Coinduction, Part I | Abstract Speaker: Davide Sangiorgi | |
| 13:00–14:30 | Lunch | |
|
14:30–16:00 |
Guest Talk 2 | |
| 16:00–16:30 | Break | |
| 16:30–18:30 | Presentations and Demonstrations by Students | |
| 18:30–20:00 | Free Time | |
| 20:00–21:30 | Dinner | |
Wednesday 29 August 2012
|
Time |
Event/Topic | |
| 9:00–11:00 |
An Introduction to Bisimulation and Coinduction, Part II | Abstract Speaker: Davide Sangiorgi | |
| 11:00–11:30 | Break | |
|
11:30–13:00 |
Practical Session 4 | |
| 13:00–14:30 | Lunch | |
|
14:30–16:00 |
Modern Languages and Technologies of Parallel Programming | Abstract Speaker: Victor Gergel | |
| 16:00–16:30 | Break | |
| 16:30–18:30 |
Guest Talk 3 | |
| 18:30–20:00 | Free Time | |
| 20:00–21:30 | Dinner, Awards, and Close | |
