Search results for "lockset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Pin Zhou, Radu Teodorescu, Yuanyuan Zhou	HARD: Hardware-Assisted Lockset-based Race Detection.	HPCA	2007	DBLP DOI BibTeX RDF
95	Robert O'Callahan, Jong-Deok Choi	Hybrid dynamic data race detection.	PPoPP	2003	DBLP DOI BibTeX RDF	dynamic race detection, lockset hybrid, Java, happens-before
86	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.	FATES/RV	2006	DBLP DOI BibTeX RDF
52	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
43	Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
43	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
36	Gabriel Ryan, Abhishek Shah, Dongdong She, Suman Jana	Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.	SP	2023	DBLP DOI BibTeX RDF
36	Yoshitaka Arahori	RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection.	HASE	2019	DBLP DOI BibTeX RDF
36	Jialin Yang, Bo Jiang 0001, W. K. Chan 0001	HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection.	IEEE Trans. Reliab.	2018	DBLP DOI BibTeX RDF
36	Huimin Hu, Yahui Bai, Yinxia Li, Haimei Wu, Ling Luo, Rui Wang, Pu Hong	Research on Ergonomics Design of the Height and Operation Force for Furniture Lockset.	HCI (17)	2018	DBLP DOI BibTeX RDF
36	Lily Huang, Michael R. Smith 0001, Albert Tran, James Miller 0001	E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products.	ISSRE	2008	DBLP DOI BibTeX RDF
31	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	PPoPP	2005	DBLP DOI BibTeX RDF	datarace, lockset, model checking, multithreading, data race detection
21	Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy	Helgrind+: An efficient dynamic race detector.	IPDPS	2009	DBLP DOI BibTeX RDF
21	Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta	Semantic Reduction of Thread Interleavings in Concurrent Programs.	TACAS	2009	DBLP DOI BibTeX RDF
21	Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
21	Vineet Kahlon, Aarti Gupta, Nishant Sinha 0001	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
21	Rahul Agarwal, Scott D. Stoller	Type Inference for Parameterized Race-Free Java.	VMCAI	2004	DBLP DOI BibTeX RDF
21	Eli Poznianski, Assaf Schuster	Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs.	IPDPS	2003	DBLP DOI BibTeX RDF
21	Eli Pozniansky, Assaf Schuster	Efficient on-the-fly data race detection in multihreaded C++ programs.	PPoPP	2003	DBLP DOI BibTeX RDF	concurrency, synchronization, multithreading, instrumentation, data race