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
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.
Sat 21 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:00: OpeningN40AI at Amphitheater 44 Chair(s): Roberto GiacobazziUniversity of Verona, Italy | |||
| 08:45 - 09:00 Day opening | Opening N40AI | ||
| 09:00 - 09:30 Talk | Abstract Interpretation in Absint N40AI Christian FerdinandAbsInt | ||
| 09:30 - 10:00 Talk | Abstract Interpretation in Facebook N40AI Francesco LogozzoFacebook | ||
10:30 - 12:00: Industrial Panel 2 & Systems BiologyN40AI at Amphitheater 44 Chair(s): Jerome FeretINRIA Paris | |||
| 10:30 - 11:00 Talk | Abstract Interpretation in Amazon N40AI Byron CookAmazon | ||
| 11:00 - 11:30 Talk | Abstract Interpretation at Galois N40AI Aaron TombGalois, Inc. | ||
| 11:30 - 12:00 Talk | Systems biology N40AI Vincent DanosENS Paris/CNRS | ||
14:00 - 15:30: Security, Big Code and Synthesis N40AI at Amphitheater 44 Chair(s): Xavier RivalINRIA/CNRS/ENS Paris | |||
| 14:00 - 14:30 Talk | Security N40AI Michael HicksUniversity of Maryland at College Park, USA | ||
| 14:30 - 15:00 Talk | Big Code N40AI Bor-Yuh Evan ChangUniversity of Colorado Boulder | ||
| 15:00 - 15:30 Talk | Program synthesis N40AI Eran YahavTechnion | ||
16:00 - 18:30: System Verification and Patrick Cousot's KeynoteN40AI at Amphitheater 44 Chair(s): Francesco RanzatoUniversity of Padova | |||
| 16:00 - 16:30 Talk | System verification N40AI Arie GurfinkelUniversity of Waterloo | ||
| 16:30 - 17:45 Talk | Keynote: the Next 40 years of Abstract Interpretation N40AI Patrick CousotNew York University | ||
| 17:45 - 18:30 Social Event | Concrete Cheese and Wine N40AI | ||
