Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
(PADTAD - IX)
July 17, 2011
In conjunction with International Symposium on Software Testing and Analysis
(ISSTA 2011, July 17-21)
Toronto, ON, Canada
Program Committee
- Giorgio Delzanno, Universita di Genova, Italy
- Jack Dongarra, University of Tennessee, U.S.A.
- Eitan Farchi, IBM Haifa Research Lab, Israel
- Bernd Finkbeiner, Universität des Saarlandes , Germany
- Cormac Flanagan, University of California, Santa Cruz, U.S.A.
- Klaus Havelund, NASA's Jet Propulsion Labratory, U.S.A.
- Guodong Li, Fujitsu Labs of America, 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, U.S.A.
- Matt Might, University of Utah, U.S.A.
- Madan Musuvathi, Microsoft Research, U.S.A.
- Victor Pankratius, University of Karlsruhe/Karlsruhe Institute of Technology, Germany
- Paul Petersen, Intel U.S.A.
- Shaz Qadeer, Microsoft Research, U.S.A.
- Daniel J. Quinlan, Lawrence Livermore National Labratories, U.S.A.
- Grigore Rosu, University of Illinois at Urbana-Champaign, U.S.A.
- Scott D. Stoller, Stony Brook University, U.S.A.
- Paul Strooper, University of Queensland, Australia
- Serdar Tasiran, Koç University, Turkey
- Rajeev Thakur, Argonne National Laboratory, U.S.A.
- Shmuel Ur, Bristol University, U.K.
- Willem Visser, University of Stellenbosch, South Africa
- Tao Xie, North Carolina State University, U.S.A.
