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.

Confirmed Speakers (so far, stay tuned!)

• Philippa Gardner (Imperial College London, UK)
• Roberto Giacobazzi (University of Arizona, USA)
• Eric Goubault (École Polytechnique, France)
• Xavier Leroy (Collège de France & Inria, France)
• Peter O’Hearn (Lacework, USA)
• Jens Palsberg (University of California, Los Angeles, USA)
• Andreas Podelski (University of Freiburg, Germany)
• Mooly Sagiv (Certosa & Tel Aviv University, Israel)
• Reinhard Wilhelm (Saarland University, Germany)
• Kwangkeun Yi (Seoul National University, South Korea)

Preliminary Program

Sponsors

The workshop is generously sponsored by