BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Practical Automated Bug Finding
DTSTART:20120827T100000
DTSTAMP:20260407T091110Z
UID:635690c9c0680e8a26eb701a710218c98ba5b54f30f664e9223e6fcd
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr. Jonas Wagner\nEDIC Candidacy Exam:\nExam president: Prof. 
 Willy Zwaenepoel\nThesis director: Prof. George Candea\nCo-examiner: Prof.
  Viktor Kuncak\n\nResearch Proposal\n\nS2E: A Platform for In-vivo Multi-p
 ath Analysis of Software Systems.by Chipounov\, V.\, V. Kuznetsov\, and G.
  Candea.\nSLAM2: Static Driver Verification with Under 4% False Alarms. by
  Ball\, T.\, E. Bounimova\, R. Kumar\, and V. Levin.\nBillions and Billion
 s of Constraints: Whitebox Fuzz Testing in Production.by Bounimova\, E.\, 
 P. Godefroid\, and D. Molnar.\n
LOCATION:INN326 http://plan.epfl.ch/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR