posted by user: bradbury || 3144 views || tracked by 11 users: [display]

PADTAD 2012 : 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

FacebookTwitterLinkedInGoogle

Link: http://faculty.uoit.ca/bradbury/padtad2012/
 
When Jul 16, 2012 - Jul 16, 2012
Where Minneapolis, MN, United States
Submission Deadline Apr 27, 2012
Notification Due May 11, 2012
Final Version Due May 18, 2012
Categories    testing   software engineering
 

Call For Papers

PADTAD 2012: The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis and Debugging
Monday, July 16, 2012
Minneapolis, MN

ABOUT
The PADTAD 2012 workshop is a one-day event at ISSTA 2012, 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 and welcomes industry submissions.

ORGANIZERS
- Jeremy S. Bradbury, University of Ontario Institute of Technology, Canada (General chair)
- Simone Souza, University of São Paulo, Brazil (Program chair)

TOPICS OF INTEREST
- 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

IMPORTANT DATES
Paper submission: April 27, 2012
Notification of acceptance: May 11, 2012
Camera-ready due: May 18, 2012
Date of workshop: July 16, 2012

SUBMISSION AND PUBLICATION
Technical papers must be prepared in ACM conference format (both strict and alternate style are permitted) and must not exceed 11 pages, including figures, references and appendices. All submissions must be in English. At least one author of each accepted paper should attend the workshop.

WEBSITE - http://faculty.uoit.ca/bradbury/padtad2012/

Related Resources

ISSTA 2021   International Symposium on Software Testing and Analysis
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
SI-DIEFIoT-JPDC 2021   Special Issue on Distributed Intelligence at the Edge for the Future Internet of Things - Journal of Parallel and Distributed Computing
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
Auto-DaSP 2021   International Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
PDP 2021   Parallel, Distributed and Network-Based Processing
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus