Search results for "concurrency bug"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	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
2	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	Mohsen Vakilian, Stas Negara, Samira Tasharofi, Ralph E. Johnson	Keshmesh: a tool for detecting and fixing java concurrency bug patterns.	OOPSLA Companion	2011	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	Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu	Instrumentation and sampling strategies for cooperative concurrency bug isolation.	OOPSLA	2010	DBLP DOI BibTeX RDF
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	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
1	Zvonimir Rakamaric	STORM: static unit checking of concurrent programs.	ICSE	2010	DBLP DOI BibTeX RDF	unit checking, static analysis, concurrent programs
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	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	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
1	David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo, Chengnian Sun	Classification of software behaviors for failure detection: a discriminative pattern mining approach.	KDD	2009	DBLP DOI BibTeX RDF	closed unique patterns, iterative patterns, pattern-based classification, sequential database, failure detection, software behaviors
1	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, Joseph Tucek, Feng Qin, Yuanyuan Zhou	AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.	IEEE Micro	2007	DBLP DOI BibTeX RDF	reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
1	Feng Qin, Joseph Tucek, Yuanyuan Zhou, Jagadeesan Sundaresan	Rx: Treating bugs as allergies—a safe method to survive software failures.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Reliability, Availability, Bug, Software Failure
1	Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou	Rx: treating bugs as allergies - a safe method to survive software failures.	SOSP	2005	DBLP DOI BibTeX RDF	reliability, availability, bug, software failure
1	Klaus Havelund, Michael R. Lowry, John Penix	Formal Analysis of a Space-Craft Controller Using SPIN.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction