External Review / Artifact Evaluation Committee SPLASH OOPSLA

Chike Abuah

University of Vermont

Khaled Ahmed

University of British Columbia (UBC)

Canada

Alasdair Armstrong

University of Cambridge

Eric Atkinson

Aurèle Barrière

Univ Rennes, IRISA

France

Felipe Bañados Schwerter

University of British Columbia

Canada

Thomas Bourgeat

Oliver Bračevac

Purdue University

United States

Ethan Cecchetti

University of Maryland, College Park

United States

Michele Chiari

Politecnico di Milano

Italy

Michael Coblenz

University of Maryland at College Park

United States

Ryan Culpepper

Czech Technical University

Czech Republic

Emanuele D'Osualdo

MPI-SWS

Germany

Tristan Dyer

Brown University

United States

Samuel Gruetter

Massachusetts Institute of Technology

Dongjie He

UNSW Sydney

Australia

Pinjia He

The Chinese University of Hong Kong, Shenzhen

China

Nouraldin Jaber

Purdue University

United States

Ifaz Kabir

University of Alberta

Ryan Kavanagh

McGill University

Canada

Martin Kellogg

University of Washington

United States

Jérémie Koenig

Yale University

United States

Jay P. Lim

Yale University

United States

Sidi Mohamed Beillahi

University of Toronto

Canada

Raphaël Monat

Sorbonne Université — LIP6

France

Fabian Muehlboeck

IST Austria

Austria

Chandrakana Nandi

Certora, inc.

United States

Victor Nicolet

University of Toronto

Canada

Vesna Nowack

Lancaster University, UK

United Kingdom

Jihyeok Park

Oracle Labs, Australia

South Korea

Daniel Patterson

Northeastern University

United States

Lauren Pick

Princeton University

United States

Alex Renda

Massachusetts Institute of Technology

United States

John Sarracino

Cornell University

United States

Jiasi Shen

Massachusetts Institute of Technology

Calvin Smith

University of Texas Austin

United States

Kristina Sojakova

INRIA Paris

France

Benno Stein

Meta; University of Colorado Boulder

United States

Kirshanthan Sundararajah

Purdue University

United States

Daming Zou

ETH Zurich

Switzerland