POPL 2017
Sun 15 - Sat 21 January 2017

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.

Invited lectures

Title
Abstract Interpretation at Galois
N40AI
Abstract Interpretation in Absint
N40AI
Abstract Interpretation in Amazon
N40AI
Abstract Interpretation in Facebook
N40AI
Big Code
N40AI
Keynote: the Next 40 years of Abstract Interpretation
N40AI
Program synthesis
N40AI
Security
N40AI
Systems biology
N40AI
System verification
N40AI

Topics

The driving themes will be:

  • Industrial applications
  • Analysis of hybrid systems
  • Analysis of biological systems
  • Big code
  • Machine learning in software technologies
  • Security

The workshop is open and anyone interested in Abstract Interpretation is invited to join.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 21 Jan

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

08:45 - 09:00
OpeningN40AI at Amphitheater 44
Chair(s): Roberto Giacobazzi University of Verona, Italy
08:45
15m
Day opening
Opening
N40AI

09:00 - 10:00
Industrial Panel 1N40AI at Amphitheater 44
Chair(s): Antoine Miné UPMC, France
09:00
30m
Talk
Abstract Interpretation in Absint
N40AI
09:30
30m
Talk
Abstract Interpretation in Facebook
N40AI
10:30 - 12:00
Industrial Panel 2 & Systems BiologyN40AI at Amphitheater 44
Chair(s): Jerome Feret INRIA Paris
10:30
30m
Talk
Abstract Interpretation in Amazon
N40AI
Byron Cook Amazon
11:00
30m
Talk
Abstract Interpretation at Galois
N40AI
Aaron Tomb Galois, Inc.
11:30
30m
Talk
Systems biology
N40AI
Vincent Danos ENS Paris/CNRS
14:00 - 15:30
Security, Big Code and Synthesis N40AI at Amphitheater 44
Chair(s): Xavier Rival INRIA/CNRS/ENS Paris
14:00
30m
Talk
Security
N40AI
Michael Hicks University of Maryland at College Park, USA
14:30
30m
Talk
Big Code
N40AI
Bor-Yuh Evan Chang University of Colorado Boulder
15:00
30m
Talk
Program synthesis
N40AI
Eran Yahav Technion
16:00 - 18:30
System Verification and Patrick Cousot's KeynoteN40AI at Amphitheater 44
Chair(s): Francesco Ranzato University of Padova
16:00
30m
Talk
System verification
N40AI
Arie Gurfinkel University of Waterloo
16:30
75m
Talk
Keynote: the Next 40 years of Abstract Interpretation
N40AI
Patrick Cousot New York University
17:45
45m
Social Event
Concrete Cheese and Wine
N40AI