Parallel and Distributed Systems:
Testing and Debugging
(PADTAD - V)

In conjunction with
International Symposium on Software Testing and Analysis
(ISSTA)
July 09, 2007
London, England

Program Committee

• Angelos Bilas, FORTH & University of Crete (bilas@ics.forth.gr)
• Bernd Finkbeiner, Universit�t des Saarlandes , Germany (finkbeiner@cs.uni-sb.de)
• Christoph Steindl, Catalysts, Austria (steindl@catalysts.cc)
• Cormac Flanagan, University of California, Santa Cruz, USA (cormac@cs.ucsc.edu)
• Daniel J. Quinlan, Lawrence Livermore National Labratories, U.S.A (dquinlan@llnl.gov)
• Ganesh Gopalakrishnan, University of Utah (ganesh@cs.utah.edu)
• Giorgio Delzanno, Universita di Genova, Italy (giorgio@disi.unige.it)
• Grigore Rosu, University of Illinois at Urbana-Champaign, U.S.A (grosu@cs.uiuc.edu)
• Jack Dongarra, University of Tennessee, U.S.A. (dongarra@cs.utk.edu)
• Joao Lourenco, Univ. Nova de Lisboa, Portugal (Joao.Lourenco@di.fct.unl.pt)
• Jose Nelson Amaral, University of Alberta, Canada (amaral@cs.ualberta.ca)
• Klaus Havelund, NASA's Jet Propulsion Labratory (Klaus.Havelund@jpl.nasa.gov)
• Mike Feeley, University of British Columbia, Canada (feeley@cs.ubc.ca)
• Paul Petersen, Intel U.S.A (paul.petersen@intel.com)
• Paul Strooper, University of Queensland, Australia (pstroop@itee.uq.edu.au)
• Scott Stoller, SUNY, U.S.A (stoller@cs.sunysb.edu)
• Serdar Tasiran, Ko� University, Turkey (stasiran@ku.edu.tr)
• Shaz Qadeer, Microsoft Research, USA (qadeer@microsoft.com)
• Tao Xie, North Carolina State University, U.S.A (taoxie@acm.org)
• Willem Visser, NASA, U.S.A (wvisser@email.arc.nasa.gov)
• Yosi Ben-Asher, Haifa University, Israel (yosi@cs.haifa.ac.il)