Search results for "PADTAD"

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

Publications at "PADTAD"( http://dblp.L3S.de/Venues/PADTAD )