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

POPL-2017-papers
09:15 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Roberto Giacobazzi
POPL-2017-papers148481370000009:15 - 10:00
Talk