Artifact Evaluation Committee SPLASH OOPSLA Artifacts

Ana Milanova Co-chair

Rensselaer Polytechnic Institute

Ben Greenman Co-chair

Brown University, USA

Chandrakana Nandi

Certora, inc.

United States

Alasdair Armstrong

University of Cambridge

Felipe Bañados Schwerter

University of British Columbia

Canada

Eric Atkinson

Massachusetts Institute of Technology

United States

Jay P. Lim

Yale University

United States

Aurèle Barrière

Univ Rennes, IRISA

France

Benno Stein

Meta; University of Colorado Boulder

United Kingdom

Thomas Bourgeat

Victor Nicolet

Amazon Web Services

Canada

Michael Coblenz

University of California, San Diego

United States

Ryan Culpepper

Czech Technical University in Prague

Czechia

Emanuele D’Osualdo

MPI-SWS

Germany

Raphaël Monat

Inria and University of Lille

France

Jihyeok Park

Oracle

Australia

Ethan Cecchetti

University of Maryland, College Park

United States

Samuel Gruetter

Massachusetts Institute of Technology

Dongjie He

UNSW Sydney

Australia

Pinjia He

Chinese University of Hong Kong at Shenzhen

China

Ifaz Kabir

University of Alberta

Ryan Kavanagh

McGill University

Canada

Martin Kellogg

University of Washington

United States

Alex Renda

Massachusetts Institute of Technology

United States

Michele Chiari

TU Wien

Austria

Jérémie Koenig

Yale University

United States

Nouraldin Jaber

Purdue University

United States

Sidi Mohamed Beillahi

University of Toronto

Canada

Fabian Muehlboeck

IST Austria

Austria

Kirshanthan Sundararajah

Purdue University

United States

Khaled Ahmed

University of British Columbia (UBC)

Canada

Vesna Nowack

Imperial College London

United Kingdom

Oliver Bračevac

Purdue University

United States

Daniel Patterson

Northeastern University

United States

Lauren Pick

University of Wisconsin-Madison and University of California, Berkeley

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

Daming Zou

ETH Zurich

Switzerland

Xiaohong Chen

University of Illinois at Urbana-Champaign

Jingbo Lu

UNSW Sydney