Compositional, interprocedural analysis of memory effects.
Event details
| Date | 27.08.2012 |
| Hour | 12:00 |
| Speaker | Mr. Etienne Kneuss |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. George Candea
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
Purity Analysis: An Abstract Interpretation Formulation by Ravichandhran Madhavan, Ganesan Ramalingam and Kapil Vaswani.
Effective typestate verification in the presence of aliasing by Stephen J. Fink et. al.
A parametric segmentation functor for fully automatic and scalable array content analysis by Patrick Cousot, Radhia Cousot and Francesco Logozzo.
Exam president: Prof. George Candea
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
Purity Analysis: An Abstract Interpretation Formulation by Ravichandhran Madhavan, Ganesan Ramalingam and Kapil Vaswani.
Effective typestate verification in the presence of aliasing by Stephen J. Fink et. al.
A parametric segmentation functor for fully automatic and scalable array content analysis by Patrick Cousot, Radhia Cousot and Francesco Logozzo.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex