N40AI
Sat 20 Jan 2024 London, United KingdomN40AI 2024 with POPL 2024The purpose of the Next 40 years of Abstract Interpretation (N40AI) event is to gather ”4 generations of PhDs in abstract interpretation” and to reflect on the past, current, and future research trends in this field. Abstract interpretation was proposed in the 1970s by Patrick Cousot and Radhia Cousot as a general formalism to compare program semantics. The landmark papers at POPL’77 and POPL’79 have inspired an ... |
Wed 18 - Fri 20 January 2017 N40AI 2017 with POPL 2017In 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 interp ... |
Jerome Feret
INRIA Paris
France
Roberto Giacobazzi
University of Arizona
United States
Francesco Logozzo
Facebook
United States
Antoine Miné
Sorbonne Université
France
Francesco Ranzato
University of Padova
Italy
Xavier Rival
Inria; ENS; CNRS; PSL University
France
Caterina Urban
Inria & École Normale Supérieure | Université PSL
France