In POPL 1977 Patrick and Radhia Cousot introduced Abstract Interpretation in a very well known seminal paper which is still the best ever cited of POPL. The worksop is intended to celebrate this event 40 years later in Paris at POPL 2017. Invited speakers from academia and industry active in fields where abstract interpretation is or can be successfully applied will discuss the new challenges that abstract interpretation will face for the next decades.
The N40AI workshop will discuss the impact that abstract interpretation may have in future challenges of: industrial applications, security, big code, program synthesis, hybrid systems and systems biology.
The workshop is open to everybody who is interested in understanding and discussing the potential of abstract interpretation for the next 40 years.
The driving themes will be:
- Industrial applications
- Analysis of hybrid systems
- Analysis of biological systems
- Big code
- Machine learning in software technologies
The workshop is open and anyone interested in Abstract Interpretation is invited to join.
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:00
09:00 - 10:00
|Abstract Interpretation in Absint|
Christian Ferdinand AbsInt
|Abstract Interpretation in Facebook|
Francesco Logozzo Facebook
10:30 - 12:00
|Abstract Interpretation in Amazon|
Byron Cook Amazon
|Abstract Interpretation at Galois|
Aaron Tomb Galois, Inc.
Vincent Danos ENS Paris/CNRS
14:00 - 15:30
Michael Hicks University of Maryland at College Park, USA
Bor-Yuh Evan Chang University of Colorado Boulder
Eran Yahav Technion
16:00 - 18:30
Arie Gurfinkel University of Waterloo
|Keynote: the Next 40 years of Abstract Interpretation|
Patrick Cousot New York University
|Concrete Cheese and Wine|