|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 115 occurrences of 78 keywords
|
|
|
Results
Found 58 publication records. Showing 58 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun |
On-the-fly detection of data races in OpenMP programs. |
PADTAD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy S. Bradbury, Simone do Rócio Senger de Souza (eds.) |
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012 |
PADTAD |
2012 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Jan Fiedor, Tomás Vojnar |
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. |
PADTAD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa 0001 |
Using program closures to make an application programming interface (API) implementation thread safe. |
PADTAD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Kazuaki Ishizaki, Shahrokh Daijavad, Toshio Nakatani |
Refactoring Java programs using concurrent libraries. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Elwakil, Zijiang Yang 0006 |
Deterministic replay for MCAPI programs. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Raja Tlili, Yahya Slimani |
Executing association rule mining algorithms under a Grid computing environment. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi |
Java replay for dependence-based debugging. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | João Lourenço, Eitan Farchi (eds.) |
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 |
DBLP BibTeX RDF |
|
1 | Simone do Rócio 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 |
DBLP DOI BibTeX RDF |
|
1 | Abdel Aziz Farrag |
Extending a distributed loop network to tolerate node failures. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa 0001 |
Practical verification of high-level dataraces in transactional memory programs. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | João Lourenço (eds.) |
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010 |
PADTAD |
2010 |
DBLP BibTeX RDF |
|
1 | Yasushi Negishi, Hiroki Murata, Takao Moriyama |
A proposal of operation history management system for source-to-source optimization of HPC programs. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
high performance computing, productivity, performance optimization, version management |
1 | Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan |
SideTrack: generalizing dynamic atomicity analysis. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability |
1 | 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 |
DBLP DOI BibTeX RDF |
concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis |
1 | 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 |
PADTAD |
2009 |
DBLP BibTeX RDF |
|
1 | Gabor Szeder |
Unit testing for multi-threaded Java programs. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
Java |
1 | João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha |
Understanding the behavior of transactional memory applications. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
visualization, testing, concurrency, monitoring, debugging, profiling, software transactional memory |
1 | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
An annotation assistant for interactive debugging of programs with common synchronization idioms. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
synchronization idioms, concurrent programs, atomicity |
1 | Neha Rungta, Eric G. Mercer |
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs |
1 | Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter |
MulticoreSDK: a practical and efficient data race detector for real-world applications. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
concurrent program analysis, multicore platform, data race detection |
1 | Fancong Zeng |
Pattern-driven deadlock avoidance. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
Java, deadlock, exception, just-in-time (JIT) compilation |
1 | Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel |
Run-time conformance checking of mobile and distributed systems using executable models. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets |
1 | Ganesh Gopalakrishnan, Yu Yang 0013, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma 0001, Michael Delisi, Simone Atzeni |
Some resources for teaching concurrency. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
education, concurrency, MPI, computer science education, multi-core, memory models, pthreads, dynamic verification |
1 | Basile Schaeli, Roger D. Hersch |
Dynamic testing of flow graph based parallel applications. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Madan Musuvathi |
Systematic concurrency testing using CHESS. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
testing, concurrency, race conditions |
1 | Ramesh Peri |
Software development tools for multi-core/parallel programming. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Ur (eds.) |
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 |
DBLP BibTeX RDF |
|
1 | Cyril Briquet, Pierre-Arnoul de Marneffe |
Reproducible testing of distributed software with middleware virtualization and simulation. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
P2P grid, simulation, scheduling, performance evaluation, virtualization, code reuse, distributed testing |
1 | Jun Chen 0018, Steve MacDonald |
Towards a better collaboration of static and dynamic analyses for testing concurrent programs. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ali Jannesari, Walter F. Tichy |
On-the-fly race detection in multi-threaded programs. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before |
1 | Vijay Nagarajan, Rajiv Gupta 0001 |
Support for symmetric shadow memory in multiprocessors. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
symmetric shadow memory, monitoring |
1 | Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
Scheduling considerations for building dynamic verification tools for MPI. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification |
1 | Filippo Gioachin, Laxmikant V. Kalé |
Memory tagging in Charm++. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
memory debugging, memory tagging, debugging, parallel debugging |
1 | Eitan Farchi |
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi |
Techniques for specifying bug patterns. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
static analysis, message passing interface, datalog, bug patterns |
1 | Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis |
JThreadSpy: teaching multithreading programming by analyzing execution traces. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization |
1 | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar |
Healing data races on-the-fly. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
testing, concurrency, self-healing |
1 | Shmuel Ur, Eitan Farchi (eds.) |
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 |
DBLP BibTeX RDF |
|
1 | Barry Kingsbury |
Organizing processes and threads for debugging. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
concurrent program semantics, transition independence, model checking, MPI, partial-order reduction |
1 | João Lourenço, Gonçalo Cunha |
Testing patterns for software transactional memory engines. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
testing, concurrency, debugging, software transactional memory, testing patterns |
1 | William L. Scherlis |
Experience with fluid: analysis, design intent, and assurance for concurrency. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli |
A debugger for flow graph based parallel applications. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
flow graph based debugging, flow graph based parallel applications, message race detection, message reordering, parallel schedules |
1 | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
Confirmation of deadlock potentials detected by runtime analysis. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis |
1 | Rahul Agarwal, Scott D. Stoller |
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
testing, concurrent programs, deadlocks |
1 | Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur |
Producing scheduling that causes concurrent programs to fail. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne |
Multi-environment software testing on the grid. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
unit testing, computational grid, JUnit, distributed testing |
1 | Shmuel Ur, Eitan Farchi (eds.) |
Proceedings of the 4th 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 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006 |
PADTAD |
2006 |
DBLP BibTeX RDF |
|
1 | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
A classification of concurrency bugs in java benchmarks by developer intent. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
concurrency errors, verification, refinement, atomicity, race condition |
1 | Margaret A. Wojcicki, Paul A. Strooper |
A state-of-practice questionnaire on verification and validation for concurrent programs. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
validation technologies, verification, concurrency, survey |
1 | Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen |
A theory of data race detection. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
access conflict, synchronization, dependence, thread, data race, vector clock, happens-before |
1 | Richard W. Vuduc, Martin Schulz 0001, Daniel J. Quinlan, Bronis R. de Supinski, Andreas Sæbjørnsen |
Improving distributed memory applications testing by message perturbation. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
MPI profiling, interposition layer |
1 | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz |
Formal verification of concurrent software: two case studies. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #58 of 58 (100 per page; Change: )
|
|