IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
  
 

Parallel and Distributed Systems:
Testing and Debugging
(PADTAD - V)


In conjunction with
International Symposium on Software Testing and Analysis
(ISSTA)
July 09, 2007
London, England


Program


Sunday July 08, meet at 4pm for social event see http://www.haifa.il.ibm.com/Workshops/padtad2007/social.html


Debugging MPD programs
Session Chair: Dan Quinlan (LLNL)
09:00 JThreadSpy: Teaching Multithreading Programming by Analyzing Execution Traces,
Giovanni Malnati, Caterina Maria Cuva, and Claudia Barberis, Politecnico di Torino
(Presentation)

09:40 A Debugger for Flow Graph Based Parallel Application,
Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, and Basile Schaeli - Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland School of Computer and Communication Sciences
(Presentation)

10:20 Organizing Processes and Threads for Debugging,
Barry Kingsbury, TotalView Technologies

11:00 Coffee Break

11:30 Keynote Address: Prof. Bill Scherlis - Experience with Fluid: Analysis, design intent, and assurance for concurrency,
Session Chair: Shmuel Ur (IBM)

12:30 PADTAD sponsored lunch


Bug Patterns in MPD programs
Session Chair: Eitan Farchi (IBM)
14:00 Techniques for the Specification of Bug Patterns,
Dan Quinlan, Richard Vuduc - Center for Applied Scientific Computing Lawrence Livermore National Laboratory, and Ghassan Misherghi Department of Computer Science University of California, Davis

14:40 Bug Patterns in STM Engines and How to Test Them - short presentation,
Joao Lourenco, Goncalo Cunha - CITI – Centre for Informatics and Information Technology, and Departamento de Inform´atica Universidade Nova de Lisboa
(Presentation)

15:00 Coffee Break

Formal and Healing
Session Chair: Joao Lourenco (UNL)
15:30 Semantics Driven Partial-order Reduction of MPI-based Parallel Programs, PADTAD 2007 Best Paper
Robert Palmer, Ganesh Gopalakrishnan, and Robert M. Kirby School of Computing, University of Utah
(Presentation)

16:10 Healing Data Races On-The-Fly,
Bohuslav Krena - Brno University of Technology, Zdenek Letko - Brno University of Technology, Rachel Tzoref - IBM, Haifa Research Lab, Shmuel Ur - IBM, Haifa Research Lab, and Tomas Vojnar - Brno University of Technology
(Presentation)

16:50 Meeting of PC

19:30 PADTAD sponsored Pub Crawl - need a volunteer to choose the Pubs

 
Related Seminar Links
PADTAD 2006  
PADTAD 2005  
PADTAD 2004  
PADTAD 2003  

    About IBMPrivacyContact