ICSE 2014 Formal Demonstrations PC List

The complete Program Committee for the ICSE 2014 Formal Demonstrations track is given below:


Anita Sarma
University of Nebraska-Lincoln

John Grundy
Swinburne University of Technology

Andrew Begel
Microsoft Research

Rachel Bellamy
IBM Research

Christian Bird
Microsoft Research

Yuriy Brun
University of Massachusetts

Yuanfang Cai
Drexel University

Antonio Carzaniga
University of Lugano

Marcelo Cataldo
ConnReperio, Inc

Myra Cohen
University of Nebraska-Lincoln

Laura Dillon
Michigan State University

Alexander Egyed
Johannes Kepler University Linz, Austria

Hakan Erdogmus
Carnegie Mellon University

Bernd Fischer
Stellenbosch University

Thomas Fritz
University of Zurich

William G.J. Halfond
University of Southern California

Abram Hindle
University of Alberta

Jean-Marc Jézéquel
Irisa, Univ. Rennes 1

Miryung Kim
The University of Texas at Austin

Sunghun Kim
The Hong Kong University of Science & Technology

Thomas LaToza
UC Irvine

Christof Lutteroth
University of Auckland

Tim Menzies
West Virginia University

Nachi Nagappan
Microsoft Research

Tien N. Nguyen
Iowa State University

Motoshi Saeki
Tokyo Institute of Technolog

David Shepherd
ABB Corporate Research, USA

Jonathan Sillito
University of Calgary

Gabriele Taentzer
Philipps-Universität Marburg

Patrick Wagstrom
IBM TJ Watson Research Center

Yun Yang
Swinburne University of Technology