Concurrent Software Composition
Event details
| Date | 04.02.2011 |
| Hour | 14:00 |
| Speaker | Mr Mihai Letia |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Willy Zwaenepoel
Thesis director: Rachid Guerraoui
Co-examiner: Prof. Christoph Koch
Research Proposal
Composable Memory Transactions. In PPoPP, 2005 by Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy
A Correctness Condition for Concurrent Object. In ACM Transactions on Programming Languages and Systems, 1990 by Maurice P. Herlihy and Jeannette M. Wing
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. In ACM Transactions on Programming Languages and Systems, 1989 by William E. Weihl
Exam president: Prof. Willy Zwaenepoel
Thesis director: Rachid Guerraoui
Co-examiner: Prof. Christoph Koch
Research Proposal
Composable Memory Transactions. In PPoPP, 2005 by Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy
A Correctness Condition for Concurrent Object. In ACM Transactions on Programming Languages and Systems, 1990 by Maurice P. Herlihy and Jeannette M. Wing
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. In ACM Transactions on Programming Languages and Systems, 1989 by William E. Weihl
Practical information
- General public
- Free
Contact
- Evelyn Duperrex