Program Committee SAS Papers

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

Sorbonne Université — LIP6

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; VMware

United States

Manu Sridharan

University of California at Riverside

United States

Benno Stein

Meta; University of Colorado Boulder

United States

Laura Titolo

NIA/NASA LaRC

United States

Caterina Urban Co-chair

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

France