PADTAD 2011

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.

View PADTAD 2011 Workshop Photo Gallery