Program Committee SAS

Sébastien Bardin

CEA LIST, University Paris-Saclay

France

Liqian Chen

National University of Defense Technology, China

China

Patrick Cousot

Arlen Cox

IDA

Dana Drachsler Cohen

Technion

Israel

Jerome Feret

INRIA Paris

France

Pietro Ferrara

Università Ca' Foscari, Venezia, Italy

Italy

Roberto Giacobazzi

University of Verona

Italy

Kihong Heo

KAIST

South Korea

Paddy Krishnan

Oracle Labs, Australia

Isabella Mastroeni

University of Verona, Italy

Italy

Antoine Miné

Sorbonne Université

France

Raphaël Monat

Inria and University of Lille

France

David Monniaux

Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Jorge A. Navas

Certora, inc.

United States

Francesco Ranzato

University of Padova

Italy

Daniel Schoepe

Amazon

United Kingdom

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Gagandeep Singh Co-chair

University of Illinois at Urbana-Champaign

United States

Manu Sridharan

University of California at Riverside

United States

Benno Stein

Meta; University of Colorado Boulder

United Kingdom

Laura Titolo

NIA/NASA LaRC

United States

Caterina Urban Co-chair

Inria & École Normale Supérieure | Université PSL

France