Program Committee
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
(PADTAD - VIII)
July 13, 2010
In conjunction with International Symposium on Software Testing and Analysis
(ISSTA 2010, July 12-16)
Trento, Italy
- Giorgio Delzanno, Universita di Genova, Italy
- Jack Dongarra, University of Tennessee, U.S.A.
- Eitan Farchi, IBM Haifa Research Lab, Israel
- Mike Feeley, University of British Columbia, Canada
- Bernd Finkbeiner, Universität des Saarlandes , Germany
- Cormac Flanagan, University of California, Santa Cruz, U.S.A.
- Ganesh Gopalakrishnan, University of Utah
- Klaus Havelund, NASA's Jet Propulsion Labratory
- Daniel J. Quinlan, Lawrence Livermore National Labratories, U.S.A.
- João Lourenço, Univ. Nova de Lisboa, Portugal
- Zhiqiang Ma, Intel, U.S.A.
- Eric Mercer, Computer Science Department Brigham Young University
- Matt Might University of Utah, U.S.A.
- Madan Musuvathi Microsoft Research, U.S.A.
- Paul Petersen, Intel U.S.A
- Shaz Qadeer, Microsoft Research, U.S.A.
- Grigore Rosu, University of Illinois at Urbana-Champaign, U.S.A.
- Scott Stoller, SUNY, U.S.A.
- Paul Strooper, University of Queensland, Australia
- Serdar Tasiran, Koç University, Turkey
- Rajeev Thakur, Argonne National Laboratory
- Shmuel Ur, IBM Haifa Research Lab, Israel
- Willem Visser, SEVEN Networks, U.S.A.
- Tao Xie, North Carolina State University, U.S.A.
