 |
Session 1: State of Practice
Session Chair: Joao Lourenco, Univ. Nova de Lisboa
A State-of-Practice Survey on Verification and Validation for Concurrent Programs,
Margaret A. Wojcicki, Paul Strooper
(presentation)
Formal Verification of Concurrent Software: Two Case Studies,
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
(presentation)
A Classification of Concurrency Bugs in Java Benchmarks by Developer Intent,
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas
(presentation)
Session 2: Stressing Concurrent Programs
Session Chair: Eitan Farchi, IBM Haifa Research Lab
Best Paper: Improved Distributed Memory Applications Testing By Message Perturbation,
Richard Vuduc, Martin Schulz, Dan Quinlan, Bronis de Supinski, Andreas Saebjornsen
(presentation)
Producing Scheduling that Cause Concurrent Programs to Fail,
Yossi Ben Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur
(presentation)
|
|
|
|
Keynote address Chess: A systematic stress tester for concurrent software,
Shaz Qadeer, Microsoft Research
(presentation)
Session 3: Deadlock Detection
Session Chair: Willem Visser, RIACS/NASA Ames
Invited Talk: Confirmation of Deadlock Potentials Detected by Runtime Analysis,
Saddek Bensalem, Jean Claude Fernandez, Klaus Havelund, Laurent Mounier
(presentation)
Run-Time Detection of Potential Deadlocks for Programs with Locks, Semaphores, and Condition Variables,
Rahul Agarwal, Scott D. Stoller
(presentation)
Session 4: Grid and Races
Session Chair: Klaus Havelund, Kestrel Technology
Multi-Environment Software Testing on the Grid,
Alexandre Duarte, Gustavo Wagner, Francisco Brasileiro, Walfredo Cirne
(presentation)
A Theory of Data Race Detection,
Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen
(presentation)
|
|
