| |
Morning
Session
9h00 - 12h |
Afternoon
Session
13h30 - 16h15 |
Late Afternoon
Session
17h00 - 19h45 |
Evening |
| SUNDAY |
|
|
|
Welcome reception |
| MONDAY |
Krishna P. Gummadi
Leveraging online social networks for building distributed systems |
Free time |
Vitaly Shmatikov
New directions in privacy-preserving distributed computation |
Dinner |
| TUESDAY |
Gilles Muller
Program matching and transformation tools for system code |
Free time |
Doctoral Session |
Dinner |
| WEDNESDAY |
Fernando Pedone
From object replication to Database replication |
Free time |
Hagit Attiya
Algorithms adapting to contention |
Dinner |
| THURSDAY |
Rebecca Isaacs
The multikernel model: structuring the OS as a distributed system |
Free time |
Doctoral Session |
Dinner |
| FRIDAY |
Andrey Rybalchenko
Automated methods for proving program termination and liveness |
|
|
|
