External Review Committee SPLASH OOPSLA

Crista Lopes Chair

University of California, Irvine

Emery D. Berger

University of Massachusetts, Amherst

United States

Andrew Black

Portland State University

United States

Christoph Bockisch

Philipps-Universität Marburg

Germany

Eric Bodden

Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Gilad Bracha

Google

Israel

Swarat Chaudhuri

Rice University

Marta Cimitile

Işıl Dillig

UT Austin

Michael Franz

University of California, Irvine

Dan Grossman

University of Washington

United States

Marieke Huisman

University of Twente

Netherlands

Paul H J Kelly

Imperial College London

United Kingdom

Gary T. Leavens

University of Central Florida

United States

Mira Mezini

TU Darmstadt

Germany

Yannis Smaragdakis

University of Athens

Armando Solar-Lezama

MIT CSAIL

United States

Eli Tilevich

Virginia Tech

Martin Vechev

ETH Zürich

Tao Xie

Yingfei Xiong

Peking University

Eran Yahav

Technion

Israel

Amiram Yehudai

Nobuko Yoshida

Imperial College London

Thomas Zimmermann

Microsoft Research

United States