BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Compositional\, interprocedural analysis of memory effects.
DTSTART:20120827T120000
DTSTAMP:20260408T085645Z
UID:2b022a6b8a6cd4576de707bbd8f865499287b3519c5dde7b7c723fb2
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Etienne Kneuss\nEDIC Candidacy Exam:\nExam president: Prof
 . George Candea\nThesis director: Prof. Viktor Kuncak\nCo-examiner: Prof. 
 Martin Odersky\n\nResearch Proposal\n\nPurity Analysis: An Abstract Interp
 retation Formulation by Ravichandhran Madhavan\, Ganesan Ramalingam and Ka
 pil Vaswani.\nEffective typestate verification in the presence of aliasing
  by Stephen J. Fink et. al.\nA parametric segmentation functor for fully a
 utomatic and scalable array content analysis by Patrick Cousot\, Radhia Co
 usot and Francesco Logozzo.
LOCATION:INR331 http://plan.epfl.ch/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR