IPDPS 2004: Santa Fe, New Mexico, USA

@proceedings{DBLP:conf/ipps/2004,
  title     = {18th International Parallel and Distributed Processing Symposium
               (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004,
               Santa Fe, New Mexico, USA},
  booktitle = {IPDPS},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2132-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Parallel and Distributed Systems: Testing and Debugging - PADTAD

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