Automated Verification of Programs with Complex Data Structures
Event details
| Date | 29.05.2013 |
| Hour | 09:30 |
| Speaker | Mr. Ravichandhran Kandhadai Madhavan |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Friedrich Eisenbrand
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Christoph Koch
Research Proposal
Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming by P. Cousot.
Abstract refinement types by Niki Vazou, Patrick M. Rondon, and Ranjit Jhala.
Compositional and lightweight dependent type inference for ML by He Zhu, Suresh Jagannathan.
Exam president: Prof. Friedrich Eisenbrand
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Christoph Koch
Research Proposal
Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming by P. Cousot.
Abstract refinement types by Niki Vazou, Patrick M. Rondon, and Ranjit Jhala.
Compositional and lightweight dependent type inference for ML by He Zhu, Suresh Jagannathan.
Practical information
- General public
- Free
Contact
- Ms Evelyn Duperrex