| 2004 | An Instrumentation Technique for Online Analysis of Multithreaded Programs. Grigore Rosu, Koushik Sen |
| 2004 | Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). Cormac Flanagan, Stephen N. Freund |
| 2004 | Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. Doron Drusinsky |
| 2004 | Automatic Simulation of Network Problems in UDP-Based Java Programs. Eitan Farchi, Yoel Krasny, Yarden Nir |
| 2004 | Compiling a Benchmark of Documented Multi-Threaded Bugs. Yaniv Eytani, Shmuel Ur |
| 2004 | Concurrent and Distributed Desk Checking. Amiram Hayardeny, Shachar Fienblit, Eitan Farchi |
| 2004 | Debugging Support for Charm++. Rashmi Jyothi, Orion Sky Lawlor, Laxmikant V. Kalé |
| 2004 | Fidgeting to the Point of No Return. Marina Biberstein, Eitan Farchi, Shmuel Ur |
| 2004 | Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman |
| 2004 | Program Monitoring with LTL in EAGLE. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen |
| 2004 | Towards the Proper "Step" Command in Parallel Debuggers. Alexey Ya. Kalinov, Konstantin Karganov, Konstantin Konstantin |