Rigorous support for building fault-tolerant and high performance distributed systems
Event details
| Date | 11.10.2013 |
| Hour | 13:00 |
| Speaker | Mr. Tong Che |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Martin Odersky
Thesis director: Prof. Rachid Guerraoui
Thesis co-director: Prof. Joseph Sifakis
Co-examiner: Prof. Viktor Kuncak
Research Proposal
Disk Paxos by Eli Gafni, Leslie Lamport.
A framework for automated distributed implementation of component-based models (26 pages) by Borzoo Bonakdarpour et al.
Speculative Linearizability by Rachid Guerraoui, Viktor Kuncak and Guiliano Losa.
Exam president: Prof. Martin Odersky
Thesis director: Prof. Rachid Guerraoui
Thesis co-director: Prof. Joseph Sifakis
Co-examiner: Prof. Viktor Kuncak
Research Proposal
Disk Paxos by Eli Gafni, Leslie Lamport.
A framework for automated distributed implementation of component-based models (26 pages) by Borzoo Bonakdarpour et al.
Speculative Linearizability by Rachid Guerraoui, Viktor Kuncak and Guiliano Losa.
Practical information
- General public
- Free
Contact
- Ms Evelyn Duperrex