Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
(PADTAD - VII)
July 19-20, 2009
In conjunction with International Symposium on Software Testing and Analysis
((ISSTA 2009 ISSTA dates: July 19-23, 2009))
The PADTAD 2009 workshop is a two-day event at ISSTA 2009, 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. The workshop concentrates on works whose main contributions are in the field of testing, debugging, and education.
Although debuggers and profilers are the traditional examples of testing and debugging tools on sequential machines, there are issues unique to concurrent systems that are not commonly addressed. Examples of such significant challenges include deadlock, load imbalance, data sharing patterns, race conditions, and contention. Established testing techniques and tools are insufficient for non-sequential programs because they largely ignore timing and scheduling, which are inherent in concurrent systems. Beyond the shortcomings on current tools and technologies, the rising generating of programmers and designers need to be more versed in concurrent systems design and programming.
Education and curriculum are critical to realizing the full potential of multi-core technology and we need to begin training the students who will make multi-core happen in a large scale. As such, we strongly encourage abstracts and regular papers devoted to education and curriculum at all levels including pedagogy, exercises, projects, experience reports, etc.
The following is a broad list of topics of interest to the workshop:
- Curriculum and education for multi-core design, programming, testing, and analysis
- Techniques for multi-core processors
- Techniques for MPI and OpenMP or other library based applications
- Transactional memory
- Tools for testing or debugging of multi-threaded/parallel/distributed applications
- Test generation algorithms for multi-threaded/parallel/distributed applications
- Debugging advanced network interface technologies (e.g., Myrinet, VIA)
- Debugging and testing multi-threaded/parallel/distributed applications
- Testing and debugging of multi-threaded/parallel/distributed applications written using domain-specific languages
- Using static analysis or formal verification to enhance debugging and testing of multi-threaded/parallel/distributed applications
- Formal specification of concurrency libraries, and uses in compliance testing of implementations
- Detecting race conditions and deadlocks
- Replay of multi-threaded/parallel/distributed applications
- Finding timing bugs early in the process
- Testing real-time multi-threaded/parallel/distributed applications
- Fault injection of multi-threaded/parallel/distributed applications
- Testing the fault tolerance of multi-threaded/parallel/distributed applications
- Testing and debugging techniques for timing related bugs in hardware
- Pilots in applying new testing techniques to multi-threaded/parallel/distributed applications
- Multi-threaded/parallel/distributed review techniques and review tools
- Teaching of multi-threaded/parallel/distributed system design, verification and testing
Accepted papers, as well as education session abstracts, will be published in a CD-ROM proceedings and will be included in the ACM Digital Library.