Search results for "dataraces"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
197	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
53	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
39	Suvam Mukherjee, Arun Kumar, Deepak D'Souza	Detecting All High-Level Dataraces in an RTOS Kernel.	VMCAI	2017	DBLP DOI BibTeX RDF
39	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
39	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	J. Parallel Distributed Comput.	2007	DBLP DOI BibTeX RDF
36	Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan	Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.	PLDI	2002	DBLP DOI BibTeX RDF	dataraces, static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, race conditions, multithreaded programming
26	Feng Chen 0006, Traian-Florin Serbanuta, Grigore Rosu	jPredictor: a predictive runtime analysis tool for java.	ICSE	2008	DBLP DOI BibTeX RDF	predictive runtime analysis, sliced causality, runtime verification
26	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Decentralized runtime analysis of multithreaded applications.	IPDPS	2006	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )