Post-Workshop Announcement
Starting in 2013, The PADTAD Workshop Series will be merged with the MSEPT Conference to become the MUSEPAT Conference. MUSEPAT 2013, the International Conference on Multicore Software Engineering, Performance, and Tools, will be co-located with ESEC/FSE 2013 in Saint Petersburg, Russia on August 21, 2012. We strongly encourage members of the PADTAD community to participate in MUSEPAT 2013!
About PADTAD 2012
The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012) is a one-day event at ISSTA 2012. The workshop focuses on techniques and systems that aid in the testing, analysis, and debugging of multi-threaded, parallel and distributed applications and systems.
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 of current tools and technologies, the rising generation of programmers and developers 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 on 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.
PADTAD also has an industrial track and welcomes papers and experience reports from software development and testing practitioners. We are looking for papers that succinctly address practical software testing and quality improvement, presenting empirical results or reporting on open problems.
The official call for papers is availabe in pdf and plain text. Accepted papers will be published in a workshop proceedings in the ACM Digital Library.
Topics of Interest
The following is a broad list of topics of interest when referring to multi-threaded, parallel, or distributed applications:
- Advanced network interface debugging (e.g., Myrinet, VIA)
- Curriculum and education for multi-core design, programming, testing, debugging and analysis
- Data-race and deadlock detection
- Detection of time-dependent bugs in hardware and software
- Domain-specific languages for testing, debugging and analysis
- Fault injection and analysis
- Formal specification and verification of programming libraries and programs
- Functional and structural testing and debugging
- Industrial case studies and experience reports on testing and debugging of concurrent software in practice
- New tools for testing, debugging, and analysis of MPI, OpenMP, and other library based applications, domain-specific concurrent languages, fault tolerant applications and systems, real-time applications and systems, transactional memory programs, embedded system software, etc
- Performance testing, debugging, and analysis
- Programming techniques and methodologies (that decrease the need for testing or debugging)
- Replay techniques for multi-threaded applications
- Static and dynamic program analysis (including code review)
- Test generation algorithms and tools
- Security testing of concurrent systems and applications in the cloud
History
- PADTAD 2011 – Toronto, ON, Canada
- PADTAD 2010 – Trento, Italy
- PADTAD 2009 – Chicago, IL, USA
- PADTAD 2008 – Seattle, WA, USA
- PADTAD 2007 – London, UK
- PADTAD 2006 – Portland, ME, US
- PADTAD 2005 – Haifa, Israel
- PADTAD 2004 – Santa Fe, NM, USA
- PADTAD 2003 – Nice, France