posted by system || 5165 views || tracked by 15 users: [display]

PADTAD 2010 : Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

FacebookTwitterLinkedInGoogle

Link: http://www.haifa.ibm.com/Workshops/padtad2010/
 
When Jul 12, 2010 - Jul 13, 2010
Where PADTAD
Submission Deadline Apr 20, 2010
Categories    parallel and distributed syste   testing   analysis   debugging
 

Call For Papers

The PADTAD 2010 workshop is a two-day event at ISSTA 2010, focusing on techniques and systems that aid in the testing, analysis, and debugging of multi-threaded, parallel and distributed applications and systems. The workshop has a practical and applied emphasis on systems that have been implemented in (at least) prototype form, but also welcomes submissions on teaching related issues on these topics.

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 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 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 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. All industrial papers should discuss broader implications and usage of the specific topic and will be accepted to the PADTAD industrial track.

The following is a broad list of topics of interest when referring to multi-threaded, parallel, or distributed applications:

* Code review techniques and tools
* Curriculum and education for multi-core design, programming, testing, debugging and analysis
* Data-race and deadlock detection
* Debugging advanced network interface technologies (e.g., Myrinet, VIA)
* 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
* Performance testing, debugging, and analysis
* Programming techniques and methodologies (requiring less testing or debugging)
* Replay and similar techniques for multi-threaded applications
* Static and dynamic program analysis
* Test generation algorithms and tools
* Testing and debugging techniques for time-dependent bugs in hardware and software
* Testing, debugging, and analysis of MPI, OpenMP, and other library based applications
* Testing, debugging, and analysis of domain-specific languages
* Testing, debugging, and analysis of fault tolerant applications and systems
* Testing, debugging, and analysis of real-time applications and systems
* Testing, debugging, and analysis of transactional memory programs
* Tools for testing, debugging, and analysis
* Techniques for multi-core processors

Accepted papers, as well as education session abstracts, will be published in CD-ROM proceedings and will be included in the ACM Digital Library.

Related Resources

TPDS-SS-AI 2020   IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS) Special Section on Parallel and Distributed Computing Techniques for AI, ML and DL
STV 2020   13th IEEE Workshop on System Testing and Validation
SBAC-PAD 2020   International Symposium on Computer Architecture and High Performance Computing
IFIP-ICTSS 2020   32ND IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
SOEA 2020   4th International Conference on Software Engineering and Applications
ParaMo 2020   The 2nd International Workshop on Parallel Programming Models in High-Performance Cloud
VLSI 2020   11th International Conference on VLSI
NATL 2020   6th International Conference on Natural Language Computing
DS-RT 2020   24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications