Search results for "concurrency bugs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
3	Wei Zhang 0022, Chong Sun, Shan Lu	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
2	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
2	Jie Yu, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
2	Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy	LiteRace: effective sampling for lightweight data-race detection.	PLDI	2009	DBLP DOI BibTeX RDF	dynamic data race detection, sampling, concurrency bugs
2	Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
1	Shan Lu, Soyeon Park, Yuanyuan Zhou	Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions.	IEEE Trans. Parallel Distrib. Syst.	2012	DBLP DOI BibTeX RDF
1	Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu	Applying transactional memory to concurrency bugs.	ASPLOS	2012	DBLP DOI BibTeX RDF
1	Wei Zhang 0022, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps	ConSeq: detecting concurrency bugs through sequential errors.	ASPLOS	2011	DBLP DOI BibTeX RDF
1	Martin Dimitrov, Huiyang Zhou	Time-Ordered Event Traces: A New Debugging Primitive for Concurrency Bugs.	IPDPS	2011	DBLP DOI BibTeX RDF
1	Guy Martin Tchamgoue, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun	A Taxonomy of Concurrency Bugs in Event-Driven Programs.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
1	Pedro Fonseca, Cheng Li, Rodrigo Rodrigues	Finding complex concurrency bugs in large multi-threaded applications.	EuroSys	2011	DBLP DOI BibTeX RDF
1	Leon Wu Gail Kaiser	Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators.	SEKE	2011	DBLP BibTeX RDF
1	Lin Tan, Yuanyuan Zhou, Yoann Padioleau	aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.	ICSE	2011	DBLP DOI BibTeX RDF
1	Devin Kester, Martin Mwebesa, Jeremy S. Bradbury	How Good is Static Analysis at Finding Concurrency Bugs?	SCAM	2010	DBLP DOI BibTeX RDF
1	Zhi Da Luo, Linda Hillis, Raja Das, Yao Qi	Effective Static Analysis to Find Concurrency Bugs in Java.	SCAM	2010	DBLP DOI BibTeX RDF
1	Pedro Fonseca, Cheng Li, Vishal Singhal, Rodrigo Rodrigues	A study of the internal and external effects of concurrency bugs.	DSN	2010	DBLP DOI BibTeX RDF
1	Jie Yu, Satish Narayanasamy	Tolerating Concurrency Bugs Using Transactions as Lifeguards.	MICRO	2010	DBLP DOI BibTeX RDF
1	Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
1	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
1	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
1	Brian Demsky, Patrick Lam	Views: object-inspired concurrency control.	ICSE	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
1	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
1	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
1	Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim	Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke	Eliminating Concurrency Bugs with Control Engineering.	IEEE Computer	2009	DBLP DOI BibTeX RDF	Multithreaded software, Discrete control theory, Software engineering, Parallel programming, Multicore processors, Control engineering
1	Soyeon Park, Shan Lu, Yuanyuan Zhou	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
1	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
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	Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
1	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
1	Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
1	Jun Chen, Steve MacDonald	Towards a better collaboration of static and dynamic analyses for testing concurrent programs.	PADTAD	2008	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
1	Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder	Automatically classifying benign and harmful data racesallusing replay analysis.	PLDI	2007	DBLP DOI BibTeX RDF	benign data races, concurrency Bbugs, replay
1	Shan Lu, Weihang Jiang, Yuanyuan Zhou	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
1	Shan Lu, Weihang Jiang, Yuanyuan Zhou	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
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	Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
1	Mayur Naik, Alex Aiken, John Whaley	Effective static race detection for Java.	PLDI	2006	DBLP DOI BibTeX RDF	static race detection, Java, concurrency, synchronization, multi-threading
1	Nicholas Gerner, Fan Yang 0002, Alan J. Demers, Johannes Gehrke, Mirek Riedewald, Jayavel Shanmugasundaram	Automatic client-server partitioning of data-driven web applications.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures