<P>The PADTAD 2008 workshop is a day and a half event at ISSTA 2008 focusing on techniques and systems that aid in the testing, analysis, and debugging of multi–threaded/parallel/distributed applications systems. The workshop has a practical and applied emphasis on systems that have been implemented in (at least) prototype form. This workshop concentrates on works whose main contributions are in the field of testing and debugging. <BR></P><B>Keywords:</B> <LI>Techniques for multi–core processors <LI>Techniques for MPI and OpenMP or other library based applications <LI>Transactional memory <LI>Tools for testing or debugging of Multi–threaded/Parallel/Distributed applications <LI>Test generation algorithms for Multi–threaded/Parallel/Distributed applications <LI>Debugging advanced network interface technologies (e.g., Myrinet, VIA) <LI>Debugging and testing Multi–threaded/Parallel/Distributed applications <LI>Testing and Debugging of Multi–threaded/Parallel/Distributed applications written using domain–specific languages <LI>Using static analysis or formal verification to enhance debugging and testing of Multi–threaded/Parallel/Distributed applications <LI>Formal specification of concurrency libraries, and uses in compliance testing of implementations <LI>Detecting race conditions and deadlocks <LI>Replay of Multi–threaded/Parallel/Distributed applications <LI>Finding timing bugs early in the process <LI>Testing real–time Multi–threaded/Parallel/Distributed applications <LI>Fault injection of Multi–threaded/Parallel/Distributed applications <LI>Testing the fault tolerance of Multi–threaded/Parallel/Distributed applications <LI>Testing and debugging techniques for timing related bugs in hardware <LI>Pilots in applying new testing techiniques to Multi–threaded/Parallel/Distributed applications <LI>Multi–threaded/Parallel/Distributed review techniques and review tools </LI>
Abbrevation
PADTAD
City
SeattleWA
Country
United States
Deadline Paper
Start Date
End Date
Abstract