Parallel and Distributed Systems:
Testing and Debugging
(PADTAD - IV)
In conjunction with
International Symposium on Software Testing and Analysis
(ISSTA)
July 17, 2006
Portland, Maine, USA
Program Committee
- Angelos Bilas, FORTH & University of Crete (bilas@ics.forth.gr)
- Assaf Schuster, Technion Institute, Haifa, Israel (assaf@cs.technion.ac.il)
- 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)
- 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)
- Jong-Deok Choi, IBM Research, U.S.A. (jdchoi@us.ibm.com)
- Jose Nelson Amaral, University of Alberta, Canada (amaral@cs.ualberta.ca)
- Klaus Havelund, Kestrel Technology, USA (havelund@kestreltechnology.com)
- 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)
| |
|