N40AI 2024

The 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 impressive amount of works by many generations of researchers, on the foundations of program semantics, program analysis, program transformations, applications in making computer systems safer and more secure, and more. It has also served as a cornerstone for the design and implementation of many tools that range from academic prototypes to industrial-strength static analyzers.

The event will consist of invited presentations from researchers both from the field of Abstract Interpretation, and from outside this field, to give perspective on the next grand challenges and the true open questions of static analysis, Abstract Interpretation, and the cross-fertilization with other research fields. It will address not only scientific foundations, but also the field’s history, as well as open problems and research directions for the next generations of researchers in programming languages.

Long Talk Speakers

• Philippa Gardner (Imperial College London, UK)
• Xavier Leroy (Collège de France & Inria, France)
• Peter O’Hearn (Lacework and University College London)
• Jens Palsberg (University of California, Los Angeles, USA)
• Mooly Sagiv (Tel Aviv University and Certora, IL)
• Kwangkeun Yi (Seoul National University, South Korea)

Short Talk Speakers

• Roberto Giacobazzi (University of Arizona, USA)
• Eric Goubault (École Polytechnique, France)
• Laurent Mauborgne (Absint GmbH)
• Dominique Mèry (Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France)
• David Monniaux (Université Grenoble Alpes - CNRS - Grenoble INP - Verimag)
• Andreas Podelski (University of Freiburg, Germany)
• David Schmidt (Kansas State University, USA)
• Reinhard Wilhelm (Saarland University, Germany)

Sponsors

The workshop is generously sponsored by