Program
9:00 - 9:10 - Opening
- PADTAD 2012 Opening (General Chair - Jeremy S. Bradbury)
Presentation slides: [PDF]
9:10 - 10:30 - Keynote
Session Chair: Jeremy S. Bradbury, University of Ontario Institute of Technology, Canada
- Improving Multicore Software Quality With Data Mining and Crowdsourcing Techniques
Victor Pankratius (MIT Computer Science and Artificial Intelligence Laboratory)
11:00 - 12:30 - Session 1: Data Race Detection
Session Chair: Tomas Vojnar, Brno University of Technology, Czech Republic
- On-the-fly Detection of Data Races in OpenMP Programs
Ok-Kyoon Ha (Gyeongsang National University, The Republic of Korea), In-Bon Kuh (Gyeongsang National University, The Republic of Korea), Guy Martin Tchamgoue (Gyeongsang National University, The Republic of Korea), Yong-Kee Jun (Gyeongsang National University, The Republic of Korea).
Presentation slides: [PDF]
- A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi (IBM Research, Tokyo, Japan), Hiroki Murata (IBM Research, Tokyo, Japan), Guojing Cong (IBM T.J. Watson Research Center, USA), Hui-Fang Wen (IBM T.J. Watson Research Center, USA), I-Hsin Chung (IBM T.J. Watson Research Center, USA).
- Using Program Closure to Make an Application Programming Interface (API) Thread Safe
Eitan Farchi (IBM Research Labs, Haifa, Israel), Itai Segall (IBM Research Labs, Haifa, Israel), João M. Lourenço (Universidade Nova de Lisboa, Portugal), Diogo Sousa (Universidade Nova de Lisboa, Portugal).
Presentation slides: [PDF]
14:00 - 15:30 - Session 2: Testing & Analysis
Session Chair: João M. Lourenço, Universidade Nova de Lisboa, Portugal
- Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury (University of Ontario Institute of Technology, Oshawa, Canada), Itai Segall(IBM Research Labs, Haifa, Israel), Eitan Farchi (IBM Research Labs, Haifa, Israel), Kevin Jalbert (University of Ontario Institute of Technology, Oshawa, Canada), David Kelk (University of Ontario Institute of Technology, Oshawa, Canada).
Presentation slides: [PDF]
- Noise-based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Jan Fiedor (Brno University of Technology, Brno, Czech Republic), Tomáš Vojnar (Brno University of Technology, Brno, Czech Republic).
Presentation slides: [PDF]
16:00 - 17:30 - Session 3: Brainstorming
Session Chair: Eitan Farchi, IBM Research Labs, Haifa, Israel
An open session aimed at allowing workshop partcipants to discuss and share new ideas in the area of parallel and distributed testing and debugging.
- Topic #1: Concurrent Testing
Group notes: [PDF]- Ensuring confidence in concurrent/distributed testing results - how many times should I run each test case? (i.e., confidence in interleaving space)
- How to reduce the cost of the testing and debugging of concurrent/distributed systems?
- Regression testing of concurrency programs
- Topic #2: Concurrency Education
Group notes: [PDF]
- Curriculum for testing and debugging of concurrent/distributed software.
- General concurrency curriculum