POPL 2017
Sun 15 - Sat 21 January 2017
Thu 19 Jan 2017 09:15 - 10:00 at Auditorium - Invited speaker Chair(s): Roberto Giacobazzi

We will make a journey into the origins of abstract interpretation 40 years later its publication in POPL 1977. Patrick Cousot will tell us the way this idea was conceived, what was the state of the art in static program analysis at that time, and how this paper changed the way we do program analysis and program verification nowadays. Anecdotes, problems, and successes of an extraordinary idea appeared 40 years ago in a paper which is the best ever cited of POPL.

Thu 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:15 - 10:00
Invited speakerPOPL at Auditorium
Chair(s): Roberto Giacobazzi University of Verona, Italy
09:15
45m
Talk
40 Years of Abstract Interpretation — An Interview with Patrick Cousot
POPL
Patrick Cousot New York University, Roberto Giacobazzi University of Verona, Italy