Program Committee ISSTA Technical Papers

Corina S. Păsăreanu PC Chair

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Nazareno Aguirre

Dept. of Computer Science FCEFQyN, University of Rio Cuarto

Argentina

Lucas Bang

Harvey Mudd College

Eric Bodden

Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Tevfik Bultan

University of California, Santa Barbara

United States

Marcel Böhme

Monash University

Australia

Maria Christakis

MPI-SWS

Germany

Myra Cohen

Iowa State University

United States

Antonio Filieri

Imperial College London

United Kingdom

Gordon Fraser

University of Passau

Germany

Milos Gligoric

The University of Texas at Austin

United States

Divya Gopinath

NASA Ames (KBR Inc.)

William G.J. Halfond

University of Southern California

United States

Dan Hao

Peking University

China

Mark Harman

Facebook and University College London

United Kingdom

Guy Katz

The Hebrew University of Jerusalem

Sarfraz Khurshid

University of Texas at Austin, USA

Daniel Kroening

University of Oxford

Yves Le Traon

University of Luxembourg

Luxembourg

Wei Le

Iowa State University

Xuan-Bach D. Le

University of Melbourne, Australia

Australia

Jie M. Zhang

University College London, UK

United Kingdom

Darko Marinov

University of Illinois at Urbana-Champaign

United States

Anastasia Mavridou

NASA Ames Research Center / KBR

Ali Mesbah

University of British Columbia

Canada

Vijayaraghavan Murali

Facebook, Inc.

United States

Alex Orso

Georgia Institute of Technology

United States

Ajitha Rajan

University of Edinburgh

United Kingdom

Baishakhi Ray

Columbia University, New York

United States

Nico Rosner

Amazon Web Services

United States

Koushik Sen

University of California, Berkeley

United States

Elena Sherman

Boise State University

United States

Junaid Haroon Siddiqui

Kathryn Stolee

North Carolina State University

United States

Frank Tip

Northeastern University

United States

Willem Visser

Stellenbosch University

South Africa

Guowei Yang

Texas State University

Tingting Yu

University of Kentucky

United States

Andreas Zeller

CISPA Helmholtz Center for Information Security

Germany

Lingming Zhang

The University of Texas at Dallas

United States

Xiangyu Zhang

Purdue University

United States

Thomas Zimmermann

Microsoft Research

United States

Marcelo d'Amorim

Federal University of Pernambuco

Brazil