BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Systems Seminar : Experimental Program Analysis
DTSTART:20120202T130000
DTSTAMP:20260407T111856Z
UID:40894b9da24327acfdb981faeb5e2ecdb57ac72f63191237e1d8e1c9
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Andreas Zeller\nExperimental Program Analysis\n\nAbstrac
 t : \nIn the past decade\, static validation of software systems has made 
 spectacular progresses.  However\, these techniques face enormous issues w
 ith the advent of multi-site\, multi-language\, multi-vendor programs such
  as Web applications\, which come with no specifications to rely on.  In t
 his talk\, I present an experimental approach to software analysis\, where
  we generate executions to systematically explore the space of software be
 havior – and we use the outcome of these executions to guide the search 
 even further.  In contrast to static techniques\, experimental techniques 
 are applicable to arbitrary executable programs\; in contrast to dynamic t
 echniques\, they are not limited to just the observed runs.  Eventually\, 
 experimental techniques will provide precise specifications to allow for l
 arge-scale formal verification.\n\nBio: \nAndreas Zeller is a full profess
 or for Software Engineering at Saarland University in Saarbrücken\, Germa
 ny. His research concerns the analysis of large software systems and their
  development process\; his students are funded by companies like Google\, 
 Microsoft\, or SAP. In 2010\, Prof. Zeller was inducted as Fellow of the A
 CM for his contributions to automated debugging and mining software archiv
 es. In 2011\, he received an ERC Advanced Grant for work on specification 
 mining and test case generation.
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR