Theoretically Sound Verification of Advanced Scala Features
Event details
| Date | 25.08.2015 |
| Hour | 09:00 › 11:00 |
| Speaker | Nicolas Voirol |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Rachid Guerraoui
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems by Chad E. Brown.
seL4: Formal Verification of an Operating-System Kernel by Gerwin Klein, et al.
Abstract Refinement Types by Niki Vazou, Patrick M. Rondon, and Ranjit Jhala.
Exam president: Prof. Rachid Guerraoui
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems by Chad E. Brown.
seL4: Formal Verification of an Operating-System Kernel by Gerwin Klein, et al.
Abstract Refinement Types by Niki Vazou, Patrick M. Rondon, and Ranjit Jhala.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex