Verification of Liveness Properties in Transactional Memories
Event details
| Date | 14.09.2011 |
| Hour | 10:00 |
| Speaker | Mr Victor Bushkov |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Christoph Koch
Thesis director: Prof. Rachid Guerraoui
Co-examiner: Prof. Martin Odersky
Research Proposal
Software transactional memory by Nir Shavit and Dan Touitou
Model Checking Transactional Memories by Rachid Guerraoui et al.
Liveness in Timed and Untimed Systems by Roberto Segala et al.
Exam president: Prof. Christoph Koch
Thesis director: Prof. Rachid Guerraoui
Co-examiner: Prof. Martin Odersky
Research Proposal
Software transactional memory by Nir Shavit and Dan Touitou
Model Checking Transactional Memories by Rachid Guerraoui et al.
Liveness in Timed and Untimed Systems by Roberto Segala et al.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex