Search results for "datarace"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	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
36	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
36	Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim	Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS.	ICACCI	2018	DBLP DOI BibTeX RDF
36	Kun Qiu, Zheng Zheng 0001, Kishor S. Trivedi, Bei-Bei Yin	Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure.	ISSRE	2017	DBLP DOI BibTeX RDF
36	Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram	A multi-core version of FreeRTOS verified for datarace and deadlock freedom.	MEMOCODE	2014	DBLP DOI BibTeX RDF
36	Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav	Scalable and precise dynamic datarace detection for structured parallelism.	PLDI	2012	DBLP DOI BibTeX RDF
36	Arnab De, Deepak D'Souza, Rupesh Nasre	Dataflow Analysis for Datarace-Free Programs.	ESOP	2011	DBLP DOI BibTeX RDF
36	Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner	Dataflow analysis for concurrent programs using datarace detection.	PLDI	2008	DBLP DOI BibTeX RDF	locksets, interprocedural analysis, multithreaded programs, summaries
28	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
28	Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas	Accurate and efficient filtering for the Intel thread checker race detector.	ASID	2006	DBLP DOI BibTeX RDF	data-race detection

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