Sign in
PADTAD
2006
2008
2010
2012
2006
2012
Keyphrases
Publications
2012
Yasushi Negishi
,
Hiroki Murata
,
Guojing Cong
,
Hui-Fang Wen
,
I-Hsin Chung
A static analysis tool using a three-step approach for data races in HPC programs.
PADTAD
(2012)
Jeremy S. Bradbury
,
Itai Segall
,
Eitan Farchi
,
Kevin Jalbert
,
David Kelk
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.
PADTAD
(2012)
Jan Fiedor
,
Tomás Vojnar
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level.
PADTAD
(2012)
Ok-Kyoon Ha
,
In-Bon Kuh
,
Guy Martin Tchamgoue
,
Yong-Kee Jun
On-the-fly detection of data races in OpenMP programs.
PADTAD
(2012)
Eitan Farchi
,
Itai Segall
,
João Lourenço
,
Diogo Sousa
Using program closures to make an application programming interface (API) implementation thread safe.
PADTAD
(2012)
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012
PADTAD
(2012)
2011
Vasco Pessanha
,
Ricardo J. Dias
,
João Lourenço
,
Eitan Farchi
,
Diogo Sousa
Practical verification of high-level dataraces in transactional memory programs.
PADTAD
(2011)
Kazuaki Ishizaki
,
Shahrokh Daijavad
,
Toshio Nakatani
Refactoring Java programs using concurrent libraries.
PADTAD
(2011)
Mohamed Elwakil
,
Zijiang Yang
Deterministic replay for MCAPI programs.
PADTAD
(2011)
Simone do Rocio Senger de Souza
,
Maria A. S. Brito
,
Rodolfo A. Silva
,
Paulo Sergio Lopes de Souza
,
Ed Zaluska
Research in concurrent software testing: a systematic review.
PADTAD
(2011)
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011
PADTAD
(2011)
Raja Tlili
,
Yahya Slimani
Executing association rule mining algorithms under a Grid computing environment.
PADTAD
(2011)
Jan Lönnberg
,
Mordechai Ben-Ari
,
Lauri Malmi
Java replay for dependence-based debugging.
PADTAD
(2011)
Abdel Aziz Farrag
Extending a distributed loop network to tolerate node failures.
PADTAD
(2011)
2010
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010
PADTAD
(2010)
2009
Yasushi Negishi
,
Hiroki Murata
,
Takao Moriyama
A proposal of operation history management system for source-to-source optimization of HPC programs.
PADTAD
(2009)
Jaeheon Yi
,
Caitlin Sadowski
,
Cormac Flanagan
SideTrack: generalizing dynamic atomicity analysis.
PADTAD
(2009)
João Lourenço
,
Ricardo J. Dias
,
João Luís
,
Miguel Rebelo
,
Vasco Pessanha
Understanding the behavior of transactional memory applications.
PADTAD
(2009)
Tayfun Elmas
,
Ali Sezgin
,
Serdar Tasiran
,
Shaz Qadeer
An annotation assistant for interactive debugging of programs with common synchronization idioms.
PADTAD
(2009)
Yao Qi
,
Raja Das
,
Zhi Da Luo
,
Martin Trotter
MulticoreSDK: a practical and efficient data race detector for real-world applications.
PADTAD
(2009)
Neha Rungta
,
Eric G. Mercer
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.
PADTAD
(2009)
Fancong Zeng
Pattern-driven deadlock avoidance.
PADTAD
(2009)
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.
PADTAD
(2009)
Ahmad A. Saifan
,
Ernesto Posse
,
Jürgen Dingel
Run-time conformance checking of mobile and distributed systems using executable models.
PADTAD
(2009)
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
PADTAD
(2009)
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.
PADTAD
(2009)
Gabor Szeder
Unit testing for multi-threaded Java programs.
PADTAD
(2009)
2008
Ali Jannesari
,
Walter F. Tichy
On-the-fly race detection in multi-threaded programs.
PADTAD
(2008)
Zdenek Letko
,
Tomás Vojnar
,
Bohuslav Krena
AtomRace: data race and atomicity violation detector and healer.
PADTAD
(2008)
Cyril Briquet
,
Pierre-Arnoul de Marneffe
Reproducible testing of distributed software with middleware virtualization and simulation.
PADTAD
(2008)
Vijay Nagarajan
,
Rajiv Gupta
Support for symmetric shadow memory in multiprocessors.
PADTAD
(2008)
Basile Schaeli
,
Roger D. Hersch
Dynamic testing of flow graph based parallel applications.
PADTAD
(2008)
Sarvani S. Vakkalanka
,
Michael Delisi
,
Ganesh Gopalakrishnan
,
Robert M. Kirby
Scheduling considerations for building dynamic verification tools for MPI.
PADTAD
(2008)
Eitan Farchi
Pitfalls in teaching development and testing of concurrent programs and how to overcome them.
PADTAD
(2008)
Filippo Gioachin
,
Laxmikant V. Kalé
Memory tagging in Charm++.
PADTAD
(2008)
Madan Musuvathi
Systematic concurrency testing using CHESS.
PADTAD
(2008)
Jun Chen
,
Steve MacDonald
Towards a better collaboration of static and dynamic analyses for testing concurrent programs.
PADTAD
(2008)
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008
PADTAD
(2008)
Ramesh Peri
Software development tools for multi-core/parallel programming.
PADTAD
(2008)
2007
Robert Palmer
,
Ganesh Gopalakrishnan
,
Robert M. Kirby
Semantics driven dynamic partial-order reduction of MPI-based parallel programs.
PADTAD
(2007)
João Lourenço
,
Gonçalo Cunha
Testing patterns for software transactional memory engines.
PADTAD
(2007)
Bohuslav Krena
,
Zdenek Letko
,
Rachel Tzoref
,
Shmuel Ur
,
Tomás Vojnar
Healing data races on-the-fly.
PADTAD
(2007)
William L. Scherlis
Experience with fluid: analysis, design intent, and assurance for concurrency.
PADTAD
(2007)
Daniel J. Quinlan
,
Richard W. Vuduc
,
Ghassan Misherghi
Techniques for specifying bug patterns.
PADTAD
(2007)
Ali Al-Shabibi
,
Sebastian Gerlach
,
Roger D. Hersch
,
Basile Schaeli
A debugger for flow graph based parallel applications.
PADTAD
(2007)
Giovanni Malnati
,
Caterina Maria Cuva
,
Claudia Barberis
JThreadSpy: teaching multithreading programming by analyzing execution traces.
PADTAD
(2007)
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007
PADTAD
(2007)
Barry Kingsbury
Organizing processes and threads for debugging.
PADTAD
(2007)
2006
Utpal Banerjee
,
Brian Bliss
,
Zhiqiang Ma
,
Paul Petersen
A theory of data race detection.
PADTAD
(2006)
Alexandre Duarte
,
Gustavo Wagner
,
Francisco Vilar Brasileiro
,
Walfredo Cirne
Multi-environment software testing on the grid.
PADTAD
(2006)