PADTAD 2009

08:30 Clash of the Titans: Tools and Techniques for Hunting Bugs in Concurrent Programs
Neha Rungta and Eric Mercer

09:00 MulticoreSDK : A Practical and Efficient Data Race Detector for Real-World Applications
Yao Qi, Raja Das, Zhi Da Luo and Martin Trotter

09:30 Forcing Small Models of Conditions on Program Interleaving for Detection of Concurrent Bugs
Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur and Eitan Farchi

10:00 Unit Testing for Multi-Threaded Java Programs Ehud Training, Yarden
Gábor Szeder

10:30 Coffee Break

11:00 SideTrack: Generalizing Dynamic Atomicity Analysis
Jaeheon Yi, Caitlin Sadowski and Cormac Flanagan

11:30 An Annotation Assistant for Interactive Debugging of Programs with Common Synchronization Idioms
Tayfun Elmas, Ali Sezgin, Serdar Tasiran and Shaz Qadeer

12:00 Lunch

13:00 Chicago River Boat Tour
Registration is limited to 30 participants

15:00 Coffee Break

15:30 Run-Time Conformance Checking of Mobile and Distributed Systems Using Executable Models
Ahmad Saifan, Ernesto Posse and Juergen Dingel

16:00 Pattern-Driven Deadlock Avoidance
Fancong Zeng

16:30 A Proposal of Operation History Management System for Source-to-Source Optimization of HPC Programs
Yasushi Negishi, Hiroki Murata and Takao Moriyama

17:00 Understanding the Behavior of Transactional Memory Applications
João Lourenço, Ricardo Dias, João Luís, Miguel Rebelo and Vasco Pessanha

17:30 Some Resources for Teaching Concurrency
Ganesh Gopalakrishnan