External Review Committee SPLASH OOPSLA

Robert Bocchino Committee Member

NASA/Caltech Jet Propulsion Laboratory

John Cavazos Committee Member

University of Delaware

Thomas Dillig Committee Member

University of Texas, Austin

Sophia Drossopoulou Committee Member

Imperial College London

United Kingdom

Robert Bruce Findler Committee Member

Northwestern University

United States

Stephen N. Freund Committee Member

Williams College

Yossi Gil Committee Member

Israel Institute of Technology

Martin Hirzel Committee Member

IBM Research

Ranjit Jhala Committee Member

University of California, San Diego

Gary T. Leavens Committee Member

University of Central Florida

Brandon Lucia Committee Member

Microsoft Research

Mira Mezini Committee Member

Technical University of Darmstadt

Nick Mitchell Committee Member

IBM Research

Andrew Myers Committee Member

Cornell University

Bruno C. d. S. Oliveira Committee Member

University of Hong Kong

Harold Ossher Committee Member

IBM Research

Matthew J. Parkinson Committee Member

Microsoft Research

Mooly Sagiv Committee Member

Tel Aviv University

Jennifer B. Sartor Committee Member

Ghent University

Yannis Smaragdakis Committee Member

University of Athens

Zachary Tatlock Committee Member

University of Washington, Seattle

United States

Emina Torlak Committee Member

University of California, Berkeley

Francesco Zappa Nardelli Committee Member

INRIA

Steve Zdancewic Committee Member

University of Pennsylvania

Charles Zhang Committee Member

Hong Kong University of Science and Technology

Arie van Deursen Committee Member

Delft University of Technology