Program Committee SAS

Sébastien Bardin Co-chair

CEA LIST, University Paris-Saclay

France

Aditya V. Thakur Co-chair

University of California at Davis

United States

Vincenzo Arceri

University of Parma, Italy

Italy

Steven Arzt

Fraunhofer SIT; ATHENE

Germany

Liqian Chen

National University of Defense Technology

China

Yu-Fang Chen

Academia Sinica

Taiwan

Patrick Cousot

Mila Dalla Preda

University of Verona

Italy

Michael Emmi

Amazon Web Services

United States

Roberto Giacobazzi

University of Arizona

United States

Raghavan Komondoor

Indian Institute of Science

India

Isabella Mastroeni

University of Verona

Italy

Antoine Miné

Sorbonne Université

France

Raphaël Monat

Inria and University of Lille

France

Santosh Nagarakatte

Rutgers University

United States

Jorge A. Navas

Certora

United States

Hakjoo Oh

Korea University

South Korea

Michele Pasqua

University of Verona

Italy

David Pichardie

Meta

France

Sylvie Putot

École Polytechnique

Xavier Rival

Inria - CNRS - Ecole Normale Superieure de Paris - PSL University

France

Helmut Seidl

TU Munich

Germany

Gagandeep Singh

University of Illinois at Urbana-Champaign, USA

United States

Fu Song

Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology

China

Yulei Sui

University of New South Wales

Australia

Laura Titolo

Code Metal

United States

Caterina Urban

Inria - École Normale Supérieure

France

Jules Villard

London

United Kingdom

Chao Wang

University of Southern California

United States

Qirun Zhang

Georgia Institute of Technology

United States