PADTAD 2009: Chicago, IL, USA

Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer (Eds.): Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM 2009, ISBN 978-1-60558-655-7

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/SaifanPD09
- ask others
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel: Run-time conformance checking of mobile and distributed systems using executable models.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/GopalakrishnanYVVASSWSDA09
- ask others
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni: Some resources for teaching concurrency.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/LourencoDLRP09
- ask others
João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha: Understanding the behavior of transactional memory applications.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/Szeder09
- ask others
Gabor Szeder: Unit testing for multi-threaded Java programs.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/QiDLT09
- ask others
Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter: MulticoreSDK: a practical and efficient data race detector for real-world applications.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/Zeng09
- ask others
Fancong Zeng: Pattern-driven deadlock avoidance.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/TraininNTZUF09
- ask others
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi: Forcing small models of conditions on program interleaving for detection of concurrent bugs.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/YiSF09
- ask others
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan: SideTrack: generalizing dynamic atomicity analysis.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/RungtaM09
- ask others
Neha Rungta, Eric G. Mercer: Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/ElmasSTQ09
- ask others
Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer: An annotation assistant for interactive debugging of programs with common synchronization idioms.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/NegishiMM09
- ask others
Yasushi Negishi, Hiroki Murata, Takao Moriyama: A proposal of operation history management system for source-to-source optimization of HPC programs.