Search results for "data-race"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Sarita V. Adve, Mark D. Hill	A Unified Formalization of Four Shared-Memory Models.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency
81	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
78	Koenraad Audenaert, Luk Levrouw	Space efficient data race detection for parallel programs with series-parallel task graphs.	PDP	1995	DBLP DOI BibTeX RDF	space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
74	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
70	Abdullah Muzahid, Darío Suárez Gracia, Shanxiang Qi, Josep Torrellas	SigRace: signature-based data race detection.	ISCA	2009	DBLP DOI BibTeX RDF	SigRace, concurrency defect, signature, timestamp, data race, happened-before
69	Adrian Nistor, Darko Marinov, Josep Torrellas	Light64: lightweight hardware support for data race detection during systematic testing of parallel programs.	MICRO	2009	DBLP DOI BibTeX RDF	execution history hash, data race, systematic testing
68	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
62	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
56	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	Goldilocks: a race and transaction-aware java runtime.	PLDI	2007	DBLP DOI BibTeX RDF	Java runtime, software transactions, runtime monitoring, data-race detection
55	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
52	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
51	Milos Prvulovic	CORD: cost-effective (and nearly overhead-free) order-recording and data race detection.	HPCA	2006	DBLP DOI BibTeX RDF
51	Mark Christiaens, Koenraad De Bosschere	TRaDe: Data Race Detection for Java.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
50	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
44	Bin Lei, Linzhang Wang, Xuandong Li	UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.	ICST	2008	DBLP DOI BibTeX RDF	race condition, UML activity diagram
42	Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo	A Practical Method for On-the-Fly Data Race Detection.	PARA	2002	DBLP DOI BibTeX RDF
42	Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang	Static data race detection for concurrent programs with asynchronous calls.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	asynchronous programs, static data race detection, bootstrapping, pointer analysis
42	Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter	MulticoreSDK: a practical and efficient data race detector for real-world applications.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrent program analysis, multicore platform, data race detection
38	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
38	Zhiyi Huang 0001, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
37	Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler	RaceTM: detecting data races using transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	transactional memory, data race detection
36	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
36	Scotte Zinn, Michael H. Coffin	Efficient event generation for detecting races.	CASCON	1993	DBLP BibTeX RDF
34	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
33	Yuan Yu, Tom Rodeheffer, Wei Chen	RaceTrack: efficient detection of data race conditions via adaptive tracking.	SOSP	2005	DBLP DOI BibTeX RDF	virtual machine instrumentation, race detection
33	Mark Christiaens, Koenraad De Bosschere	Accordion Clocks: Logical Clocks for Data Race Detection.	Euro-Par	2001	DBLP DOI BibTeX RDF
32	KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders	Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.	ASE	2009	DBLP DOI BibTeX RDF	model checking, heuristic algorithm, data race, relaxed memory model
32	Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen	A theory of data race detection.	PADTAD	2006	DBLP DOI BibTeX RDF	access conflict, synchronization, dependence, thread, data race, vector clock, happens-before
28	Guoping Long, Nan Yuan, Dongrui Fan	Location Consistency Model Revisited: Problem, Solution and Prospects.	PDCAT	2008	DBLP DOI BibTeX RDF
27	Danilo Ansaloni, Walter Binder, Alex Villazón, Philippe Moret	Parallel dynamic analysis on multicores with aspect-oriented programming.	AOSD	2010	DBLP DOI BibTeX RDF	parallelization, frameworks, multicores, programming models, dynamic program analysis, aspect weaving, data race detection
27	Iulian Neamtiu, Michael Hicks 0001, Jeffrey S. Foster, Polyvios Pratikakis	Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.	POPL	2008	DBLP DOI BibTeX RDF	contextual effects, version consistency, type and effect systems, dynamic software updating, computation effects, data race detection
27	Bin Xin 0001, William N. Sumner, Xiangyu Zhang 0001	Efficient program execution indexing.	PLDI	2008	DBLP DOI BibTeX RDF	execution alignment, semantic augmentation, structural indexing, data race, control dependence, execution indexing
27	Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel	Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed.	CoRR	2023	DBLP DOI BibTeX RDF
27	Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel	Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.	CAV (2)	2023	DBLP DOI BibTeX RDF
27	Lechen Yu, Vivek Sarkar	GT-Race: Graph Traversal Based Data Race Detection for Asynchronous Many-Task Parallelism.	Euro-Par	2018	DBLP DOI BibTeX RDF
24	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
24	David Aspinall 0001, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
24	Siddhartha V. Tambat, Sriram Vajapeyam	Non-Strict Cache Coherence: Exploiting Data-Race Tolerance in Emerging Applications.	ICPP	2000	DBLP DOI BibTeX RDF
24	Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson	Eraser: A Dynamic Data Race Detector for Multithreaded Programs.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	binary code modification, race detection, multithreaded programming
20	Mandana Vaziri, Frank Tip, Julian Dolby	Associating synchronization constraints with data in an object-oriented language.	POPL	2006	DBLP DOI BibTeX RDF	programming model, serializability, data races, concurrent object-oriented programming
18	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
18	Gérard Boudol, Gustavo Petri	Relaxed memory models: an operational approach.	POPL	2009	DBLP DOI BibTeX RDF	operational semantics, memory models
18	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
18	Michiel Ronsse, Koenraad De Bosschere	RecPlay: A Fully Integrated Practical Record/Replay System.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	binary code modification, race detection, multithreaded programming
18	Yuelu Duan, Xiaobing Feng 0002, Lei Wang 0004, Chao Zhang, Pen-Chung Yew	Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.	CGO	2009	DBLP DOI BibTeX RDF	delay set, fence, Sequential consistency, data race detection, relaxed memory model
18	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
18	Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer	SharC: checking data sharing strategies for multithreaded C.	PLDI	2008	DBLP DOI BibTeX RDF	data-race
18	Beverly A. Sanders, KyungHee Kim	Assertional reasoning about data races in relaxed memory models.	PPoPP	2008	DBLP DOI BibTeX RDF	assertions, memory model, data race, sequential consistency
18	Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun	Scalable Thread Visualization for Debugging Data Races in OpenMP Programs.	GPC	2007	DBLP DOI BibTeX RDF	OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization
18	Hans-Juergen Boehm	Reordering constraints for pthread-style locks.	PPoPP	2007	DBLP DOI BibTeX RDF	memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering
18	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
18	Liqiang Wang, Scott D. Stoller	Accurate and efficient runtime detection of atomicity errors in concurrent programs.	PPoPP	2006	DBLP DOI BibTeX RDF	Java, concurrent programming, atomicity, serializability, data race
18	Hans-Juergen Boehm	Threads cannot be implemented as a library.	PLDI	2005	DBLP DOI BibTeX RDF	optimization, threads, data race, pthreads, register promotion
18	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
18	Miltos D. Grammatikakis, Stefan Liesche	Priority Queues and Sorting Methods for Parallel Simulation.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	memory lock, parallel simulation, priority queue, data race, distributed data structure, Concurrent data structure, virtual shared memory, Cray-T3E
18	Guang-Ien Cheng, Mingdong Feng, Charles E. Leiserson, Keith H. Randall, Andrew F. Stark	Detecting Data Rase in Cilk Programs That use Locks.	SPAA	1998	DBLP DOI BibTeX RDF	algorithm, parallel programming, debugging, multithreading, data race, race detection, Cilk
18	Shan Lu 0001, Soyeon Park, Chongfeng Hu, Xiao Ma 0014, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou 0001	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
16	Xiupei Mei, Zhengyuan Wei, Hao Zhang 0085, W. K. Chan 0001	BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs.	AST@ICSE	2020	DBLP DOI BibTeX RDF
16	Mahdad Davari	Advances Towards Data-Race-Free Cache Coherence Through Data Classification.		2017	RDF
16	Vineeth Mekkat, Anup Holey, Antonia Zhai	Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores.	RV	2013	DBLP DOI BibTeX RDF
16	Baris Kasikci, Cristian Zamfir, George Candea	Data races vs. data race bugs: telling the difference with portend.	ASPLOS	2012	DBLP DOI BibTeX RDF
14	Sanjay Malakar, Tameem Bin Haider, Rifat Shahriar	RaceFixer - An Automated Data Race Fixer.	CoRR	2024	DBLP DOI BibTeX RDF
14	May Young, Alan J. Hu, Guy G. F. Lemieux	Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
14	Yichen Xu, Martin Odersky	Degrees of Separation: A Flexible Type System for Data Race Prevention.	CoRR	2023	DBLP DOI BibTeX RDF
14	Le Chen, Xianzhong Ding, Murali Emani, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao	Data Race Detection Using Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
14	Le Chen, Wenhao Wu, Stephen F. Siegel, Pei-Hung Lin, Chunhua Liao	DataRaceBench V1.4.1 and DataRaceBench-ML V0.1: Benchmark Suites for Data Race Detection.	CoRR	2023	DBLP DOI BibTeX RDF
14	Andreea Costea, Abhishek Tiwari 0001, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey	Hippodrome: Data Race Repair Using Static Analysis Summaries.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
14	Sawan Singh, Josué Feliu, Manuel E. Acacio, Alexandra Jimborean, Alberto Ros 0001	CELLO: Compiler-Assisted Efficient Load-Load Ordering in Data-Race-Free Regions.	PACT	2023	DBLP DOI BibTeX RDF
14	Yang Cao, Yunwei Dong	Modeling and Discovering Data Race with Concurrent Code Property Graphs.	QRS Companion	2023	DBLP DOI BibTeX RDF
14	Ameena K. Ashraf, Meenakshi D'Souza	Static Data Race Detection in Multi-task Programs for Industrial Robots.	ICDCIT	2023	DBLP DOI BibTeX RDF
14	Tingting Yu, Chunpeng Jia, Rui Chen, Chao Li, Boxiang Wang, Yunsong Jiang	Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.	ISSREW	2023	DBLP DOI BibTeX RDF
14	Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai 0001	Tolerate Control-Flow Changes for Sound Data Race Prediction.	ICSE	2023	DBLP DOI BibTeX RDF
14	Le Chen, Xianzhong Ding, Murali Emani, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao	Data Race Detection Using Large Language Models.	SC Workshops	2023	DBLP DOI BibTeX RDF
14	Radjasouria Vinayagame, Emmanuelle Saillard, Samuel Thibault, Van Man Nguyen, Marc Sergent	Rethinking Data Race Detection in MPI-RMA Programs.	SC Workshops	2023	DBLP DOI BibTeX RDF
14	Yang Zhang 0037, Jiali Yan, Liu Qiao, Hongbin Gao	A novel approach of data race detection based on CNN-BiLSTM hybrid neural network.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
14	Danial Entezari	Comparative Analysis of Dynamic Data Race Detection Techniques.	CoRR	2022	DBLP DOI BibTeX RDF
14	Xu Wang 0001, Qiwen Xu	A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm.	SAC	2022	DBLP DOI BibTeX RDF
14	Simon Schwitanski, Joachim Jenke, Felix Tomski, Christian Terboven, Matthias S. Müller	On-the-Fly Data Race Detection for MPI RMA Programs with MUST.	Correctness@SC	2022	DBLP DOI BibTeX RDF
14	Fangming Gu, Qingli Guo, Lian Li, Zhiniang Peng, Wei Lin, Xiaobo Yang, Xiaorui Gong	COMRace: Detecting Data Race Vulnerabilities in COM Objects.	USENIX Security Symposium	2022	DBLP BibTeX RDF
14	Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu 0001	Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection.	NDSS	2022	DBLP BibTeX RDF
14	Umang Mathur 0001, Andreas Pavlogiannis	Dynamic data race prediction: fundamentals, theory, and practice (tutorial).	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
14	Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto	A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).	TACAS (2)	2022	DBLP DOI BibTeX RDF
14	Wenwen Wang 0001	MPIRace: A Static Data Race Detector for MPI Programs.	LCPC	2022	DBLP DOI BibTeX RDF
14	Shivam Kumar, Anupam Agrawal, Swarnendu Biswas	Efficient data race detection of async-finish programs using vector clocks.	PMAM@PPoPP	2022	DBLP DOI BibTeX RDF
14	Yang Zhang 0037, Huan Liu, Liu Qiao	Context-Sensitive Data Race Detection for Concurrent Programs.	IEEE Access	2021	DBLP DOI BibTeX RDF
14	Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble 0001, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad	Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom.	CoRR	2021	DBLP BibTeX RDF
14	Andreea Costea, Abhishek Tiwari 0001, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey	HIPPODROME: Data Race Repair using Static Analysis Summaries.	CoRR	2021	DBLP BibTeX RDF
14	Rucha Kulkarni, Umang Mathur 0001, Andreas Pavlogiannis	Dynamic Data-Race Detection through the Fine-Grained Lens.	CoRR	2021	DBLP BibTeX RDF
14	Sagnik Dey, Mayant Mukul, Parth Sharma, Swarnendu Biswas	Predictive Data Race Detection for GPUs.	CoRR	2021	DBLP BibTeX RDF
14	Utpal Bora 0001, Shraiysh Vaishay, Saurabh Joshi 0001, Ramakrishna Upadrasta	OpenMP aware MHP Analysis for Improved Static Data-Race Detection.	CoRR	2021	DBLP BibTeX RDF
14	Shivam Kumar, Anupam Agrawal, Swarnendu Biswas	Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks.	CoRR	2021	DBLP BibTeX RDF
14	Zongyin Hao, Faming Lu	Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection.	Int. J. Softw. Informatics	2021	DBLP DOI BibTeX RDF
14	May Young, Alan J. Hu, Guy G. F. Lemieux	Cache abstraction for data race detection in heterogeneous systems with non-coherent accelerators.	LCTES	2021	DBLP DOI BibTeX RDF
14	Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli	Checking Data-Race Freedom of GPU Kernels, Compositionally.	CAV (1)	2021	DBLP DOI BibTeX RDF
14	Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble 0001, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad	Dala: a simple capability-based dynamic language design for data race-freedom.	Onward!	2021	DBLP DOI BibTeX RDF
14	Stefan Schulz 0006, Emanuel Herrendorf, Christoph Bockisch	Thread-Sensitive Data Race Detection for Java.	APSEC	2021	DBLP DOI BibTeX RDF
14	Jiaze Sun, Yanman Yang, Xinfeng Shu	An Efficient and Accurate Mixed Dynamic Data Race Detection Method.	AIPR	2021	DBLP DOI BibTeX RDF
14	Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz	Hardware-Assisted Online Data Race Detection.	Formal Methods in Outer Space	2021	DBLP DOI BibTeX RDF
14	Ali Tehrani Jamsaz, Mohammed Khaleel, Reza Akbari, Ali Jannesari	DeepRace: A learning-based data race detector.	ICST Workshops	2021	DBLP DOI BibTeX RDF
14	Joachim Protze, Isabel Thärigen, Jonas Wahle	Understanding the Performance of Dynamic Data Race Detection.	Correctness@SC	2021	DBLP DOI BibTeX RDF