First International
Summer School on
Emerging Trends in Concurrency
TiC'06
|
First International
Summer School on |
Program
| Monday | |
| 08:45 - 10:15 | Vijay Saraswat: X10: Computing at Scale [pdf] |
| 10:45 - 12:30 | Doug Lea: The design, implementation, and use of java.util.concurrent [pdf] |
| 14:30 - 16:00 | Peter Sewell: Acute and HashCaml: Type-Safe and Version-Safe Distributed Programming [pdf] |
| 16:30 - 18:00 | Nadia Busi: Process algebras, bisimulation (and logics) [pdf] |
| Tuesday | |
| 08:45 - 10:15 | Nadia Busi: Process algebras, bisimulation (and logics) |
| 10:45 - 12:30 | Peter Sewell: Acute and HashCaml: Type-Safe and Version-Safe Distributed Programming |
| 14:30 - 16:00 | Doug Lea: The design, implementation, and use of java.util.concurrent |
| 16:30 - 18:00 | Shaz Qadeer: Atomicity analysis for concurrent software [pdf] [pdf] [pdf] |
| 18:10 - 18:40 | Jan Vitek: How not to get a job in research [pdf] |
| Wednesday | |
| 09:00 - 10:30 | Shaz Qadeer: Atomicity analysis for concurrent software |
| 11:30 - 12:30 | Suresh Jagannathan: Dissecting Transactional Semantics and Implementations [pdf] |
| 13:30 - 14:30 | Java Memory Model |
| 14:30 - 16:00 | Nobuko Yoshida: A Theoretical Basis of Communication-Centred Programming for Web Services [pdf] (Web site) |
| 16:30 - 18:00 | Kohei Honda: A Theoretical Basis of Communication-Centred Programming for Web Services [pdf] |
| 20:30 | Banquet |
| Thursday | |
| 09:00 - 10:30 | Bruno Raffin: Adaptive Algorithms for new Parallel Supports [pdf] [pdf] |
| 11:00 - 12:30 | Suresh Jagannathan: Dissecting Transactional Semantics and Implementations [pdf] (jv) |
| 14:00 - 14:30 | Java Memory Model - Vijay Saraswat |
| 14:30 - 15:45 | Work in progress session |
| 16:00 - 23:00 | Beach |
| Friday | |
| 09:00 - 10:30 | Maurice Herlihy: Highly Concurrent Data Structures [pdf] [pdf] [pdf] |
| 11:00 - 12:30 | Bruno Rafin: Adaptive Algorithms for new Parallel Supports |
| 14:30 - 16:00 | Maurice Herlihy: Highly Concurrent Data Structures |