Accepted Papers

John Regehr
Thread Verification vs. Interrupt Verification

Vasco Vasconcelos, Francisco Martins
A Multithreaded Typed Assembly Language

Shmuel Ur, Shady Copty
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

Muhammad Umar Janjua, Alan Mycroft
Automatic Correcting transformations for Safety property violations

Chiara Braghin, Natasha Sharygina
Modeling and Verification of Mobile Systems

Robert Cook
Thread Verification – an experience report

Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko
Thread-Modular Verification and Cartesian Abstraction

Yosi Ben Asher, Yaniv Eytani, Eitan Farchi, and Shmuel Ur
Noise Makers Need to Know Where to be Silent – Producing Schedules that Find Bugs

Jeff Napper, Lorenzo Alvisi
Robust Multithreaded Applications

Lisa Higham, LillAnne Jackson, and Jalal Kawash
What is Itanium Memory Consistency from the Programmers Point of View?

Arndt Mühlenfeld, Franz Wotawa
Fault Detection in Multi-Threaded C++ Server Applications

Jan-Willem Maessen, Arvind Arvind
Store Atomicity for Transactional Memory

Frederic Dabrowski, Frederic Boussinot
Cooperative threads and preemptive computations

Lukasz Ziarek, Philip Schatz, and Suresh Jagannathan
Modular Checkpointing for Atomicity