High-Level Language Embeddings for Deterministic Concurrency
Event details
| Date | 10.09.2010 |
| Hour | 10:00 |
| Speaker | Mr Aleksandar Prokopec |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Rachid Guerraoui
Thesis director: Prof. Martin Odersky
Co-examiner: Prof. Babak Falsafi
Research Proposal
Finally Tagless, Partially Evaluated - Tagless Staged Interpreters for Simpler Typed Languages by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan
The Implementation of the Cilk-5 Multithreaded Language by Matteo Frigo, Charles E. Leiserson, Keith H. Randall
Concepts, Techniques, and Models of Computer Programming (book chapter 4) by Peter Van Roy, Seif Haridi
Exam president: Prof. Rachid Guerraoui
Thesis director: Prof. Martin Odersky
Co-examiner: Prof. Babak Falsafi
Research Proposal
Finally Tagless, Partially Evaluated - Tagless Staged Interpreters for Simpler Typed Languages by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan
The Implementation of the Cilk-5 Multithreaded Language by Matteo Frigo, Charles E. Leiserson, Keith H. Randall
Concepts, Techniques, and Models of Computer Programming (book chapter 4) by Peter Van Roy, Seif Haridi
Practical information
- General public
- Free
Contact
- Evelyn Duperrex