| Lecturer | Title | ||
| Mon June 15 |
|||
| 08.00-09.00 | breakfast | ||
| 09.15-09.30 | opening of SFM-15:MP | ||
| 09.30-12.30 | Doug Lea
SUNY Oswego US |
Concurrency in Java (part 1, part 2) |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Nobuko Yoshida
IC London UK |
Multiparty Asynchronous Session Types and their Applications |
|
| Tue June 16 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Farhad Arbab
CWI Amsterdam NL |
Coordinating Multicore Computing (slides, exercises) |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Gul Agha
UI Urbana-Champaign US |
Automated Inference of Atomic Sets for Safe Concurrent Execution |
|
| Wed June 17 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Jade Alglave
UC London UK |
Modeling of Architectures | |
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Francesco Zappa Nardelli
INRIA Paris-Rocquencourt FR |
Memory Models for Programming Languages (slides, exercises) |
|
| Thu June 18 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Tobias Wrigstad
Uppsala U SE |
Parallel Objects for Multicores | |
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Sophia Drossopoulou
IC London, UK Tobias Wrigstad Uppsala U, SE |
Ownership Types (part 1, part 2, part 3, part 4, part 5) |
|
| Fri June 19 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Francois Pottier
INRIA Paris-Rocquencourt FR |
Types and Permissions in Mezzo (slides, exercises) |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | students | students presentations | |
| 18.00-18.15 | closing of SFM-15:MP | ||