Program Committee SAS

Gogul Balakrishnan

Google

United States

Josh Berdine

Facebook

Vijay D'Silva

Google

Cezara Drăgoi Co-chair

Inria / ENS / Informal Systems

Michael Emmi

Amazon Web Services

United States

Constantin Enea

University of Paris / IRIF / CNRS

France

Jerome Feret

INRIA Paris

France

Roberto Giacobazzi

University of Verona and IMDEA Software Institute

Italy

Patrice Godefroid

Microsoft Research, USA

United States

Arie Gurfinkel

University of Waterloo

Canada

Ranjit Jhala

University of California at San Diego

Burcu Kulahcioglu Ozkan

Delft University of Technology

Netherlands

Akash Lal

Microsoft Research

Francesco Logozzo

Facebook

United States

Kenneth L. McMillan

UT Austin

Antoine Miné

Sorbonne Université

France

Kedar Namjoshi Co-chair

Nokia Bell Labs

United States

Andreas Podelski

University of Freiburg, Germany

Germany

Thomas Reps

University of Wisconsin--Madison

Xavier Rival

INRIA/CNRS/ENS Paris

France

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

Lenore Zuck

UIC

United States