PADTAD 2009

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
(PADTAD - VII)
July 19-20, 2009
In conjunction with International Symposium on Software Testing and Analysis
((ISSTA 2009 ISSTA dates: July 19-23, 2009))
Chicago, Illinois
http://www.haifa.il.ibm.com/Workshops/padtad2009/index.shtml

• Eric Mercer, Computer Science Department Brigham Young University
  
• Yosi Ben-Asher, Haifa University, Israel
• 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, USA
• Ganesh Gopalakrishnan, University of Utah
• Klaus Havelund, NASA's Jet Propulsion Labratory
• Daniel J. Quinlan, Lawrence Livermore National Labratories, U.S.A
• Joao Lourenco, Univ. Nova de Lisboa, Portugal
• Zhiqiang Ma, Intel, U.S.A
• Paul Petersen, Intel U.S.A
• Shaz Qadeer, Microsoft Research, USA
• Madan Musuvathi, Microsoft Research, USA
• Grigore Rosu, University of Illinois at Urbana-Champaign, U.S.A
• Christoph Steindl, Catalysts, Austria
• Scott Stoller, SUNY, U.S.A
• Paul Strooper, University of Queensland, Australia
• Serdar Tasiran, Koç University, Turkey
• Shmuel Ur, IBM Haifa Research Lab, Israel
• Willem Visser, SEVEN Networks, U.S.A
• Tao Xie, North Carolina State University, U.S.A
• Matt Might
• Rajeev Thakur