NDLI: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging (PADTAD '06)

Please wait, while we are loading the content...

A state-of-practice questionnaire on verification and validation for concurrent programs

Improving distributed memory applications testing by message perturbation

Confirmation of deadlock potentials detected by runtime analysis

Multi-environment software testing on the grid

Formal verification of concurrent software: two case studies

Producing scheduling that causes concurrent programs to fail

Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

A theory of data race detection

A classification of concurrency bugs in java benchmarks by developer intent

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging (PADTAD '06)

Content Provider	ACM Digital Library
Editor	Ur, Shmuel Havelund, K. Farchi, Eitan Lourenço, J. Farchi, E. Visser, W.
Copyright Year	2006
Abstract	It is our great pleasure to welcome you to the 4th PADTAD Parallel and Distributed Systems: Testing and Debugging -- PADTAD06. When we started PADTAD, only three years ago, it was the only workshop dedicated to the testing of concurrent and distributed software. This field is taking center stage as can be seen by the growing number of workshops that are dedicated to it or give it high visibility. This is mainly due to the fact that the improvements in hardware performance, even on the desktop, are mainly due to multiple cores and multiple CPUs. To benefit from this hardware concurrency, software must be concurrent and therefore the industry has become very interested. The fact that PADTAD topics are of interest to the industry is indicated by our distinguished list of sponsors that includes IBM, Intel, LLNL, and Microsoft.The mission of PADTAD is to share the advances in the field of testing/debugging concurrency between the industry and the academic world. This sharing is achieved both through the almost even mix of papers from industry and universities, as well as the many attendees from both backgrounds. Our field is such that the impact of research can go both ways. The academic works go very quickly from theory to practice, which is reflected in our choice of keynote speaker, Shaz Qadeer from Microsoft Research, and the keynote topic, "Chess: A systematic stress tester for concurrent software". Stress testing concurrent software has been receiving much attention in all previous PADTAD workshops in addition to this one.
Related Links	http://www.haifa.il.ibm.com/Workshops/padtad2006/index.html
ISBN	1595934146
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-07-17
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in