Review Committee SPLASH

Amal Ahmed Chair

Northeastern University, USA

United States

Jan Vitek Co-chair

Northeastern University / Czech Technical University

Czech Republic

Aws Albarghouthi

University of Wisconsin-Madison, USA

Karim Ali

University of Alberta

Osbert Bastani

University of Pennsylvania

United States

Lars Birkedal

Aarhus University

Alvin Cheung

University of California, Berkeley

Delphine Demange

Univ Rennes, Inria, CNRS, IRISA

France

Christos Dimoulas

PLT @ Northwestern University

United States

Sophia Drossopoulou

Facebook and Imperial College London

United Kingdom

Constantin Enea

University of Paris / IRIF / CNRS

France

Patrick Eugster

USI Lugano & Purdue University

Philippa Gardner

Imperial College London

United Kingdom

Deepak Garg

MPI-SWS

Germany

Neville Grech

University of Malta

Malta

Kihong Heo

KAIST

South Korea

Chung-Kil Hur

Seoul National University

South Korea

Atsushi Igarashi

Kyoto University, Japan

Japan

Suresh Jagannathan

Purdue University

Ranjit Jhala

University of California at San Diego

Jacques-Henri Jourdan

Universersité Paris Saclay, CNRS, LRI

France

Ralf Jung

MPI-SWS

Germany

Gail Kaiser

Columbia University

United States

Shoaib Kamil

Adobe Research

Benjamin Lucien Kaminski

University College London

United Kingdom

Stephen Kell

King's College London

United Kingdom

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Neel Krishnaswami

Computer Laboratory, University of Cambridge

Milind Kulkarni

Purdue University

United States

Crista Lopes

University of California, Irvine

United States

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Stefan Marr

University of Kent

United Kingdom

Kathryn S McKinley

Google

Ana Milanova

Rensselaer Polytechnic Institute

Hakjoo Oh

Korea University

South Korea

Oded Padon

VMWare Research

United States

Louis-Noël Pouchet

Colorado State University, USA

Aseem Rastogi

Microsoft Research

India

Andreas Rossberg

Dfinity Stiftung

Germany

Peter Sewell

University of Cambridge

Zhong Shao

Yale University

Tachio Terauchi

Waseda University

Japan

Mandana Vaziri

IBM Research

Niki Vazou

IMDEA Software Institute

Xinyu Wang

University of Michigan

United States

He Zhu

Rutgers University, USA