Program Committee SAS

Josh Berdine

Facebook

Bor-Yuh Evan Chang

University of Colorado Boulder & Amazon

Patrick Cousot

New York University

United States

Jerome Feret

INRIA Paris

France

Samir Genaim

Universidad Complutense de Madrid

Spain

Arie Gurfinkel

University of Waterloo

Canada

Suresh Jagannathan

Purdue University

United States

Murali Krishna Ramanathan

Uber Technologies Inc.

United States

Francesco Logozzo

Facebook

United States

Antoine Miné

Sorbonne Université

France

Anders Møller

Aarhus University

Kedar Namjoshi

Nokia Bell Labs

United States

David Pichardie Co-chair

Univ Rennes, ENS Rennes, IRISA

France

Sylvie Putot

École Polytechnique

Francesco Ranzato

University of Padova

Italy

Xavier Rival

INRIA/CNRS/ENS Paris

France

Helmut Seidl

Technische Universität München

Mihaela Sighireanu Co-chair

LSV, ENS Paris-Saclay

France

Caterina Urban

École normale supérieure

Tomáš Vojnar

Brno University of Technology

Kwangkeun Yi

Seoul National University, South Korea

Enea Zaffanella

University of Parma, Italy

Italy

Florian Zuleger

TU Vienna

Austria