Program Committee SAS

Gogul Balakrishnan PC Member

Google

United States

Liqian Chen PC Member

National University of Defense Technology, China

China

Yu-Fang Chen PC Member

Academia Sinica

Taiwan

Patrick Cousot PC Member

Michael Emmi PC Member

Amazon Web Services

United States

Pietro Ferrara PC Member

Università Ca' Foscari, Venezia, Italy

Italy

Roberto Giacobazzi PC Member

University of Arizona

United States

Roberta Gori PC Member

University of Pisa

Italy

Manuel Hermenegildo PC Chair

Technical University of Madrid (UPM) and IMDEA Software Institute

Spain

Francesco Logozzo PC Member

Facebook

United States

Isabella Mastroeni PC Member

University of Verona, Italy

Italy

Antoine Miné PC Member

Sorbonne Université

France

José Morales PC Chair

IMDEA Software Institute

Spain

Kedar Namjoshi PC Member

Nokia Bell Labs

United States

Jorge A. Navas PC Member

Certora

United States

Martin C. Rinard PC Member

Massachusetts Institute of Technology

United States

Daniel Schoepe PC Member

Amazon

United Kingdom

Helmut Seidl PC Member

Technische Universität München

Germany

Mihaela Sighireanu PC Member

IRIF, Université Paris Diderot, France

France

Gagandeep Singh PC Member

University of Illinois at Urbana-Champaign; VMware Research

United States

Fu Song

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China

China

Yulei Sui PC Member

UNSW

Australia

Laura Titolo PC Member

NIA/NASA LaRC

United States

Jingling Xue PC Member

UNSW

Australia

Xin Zhang PC Member

Peking University

China