Detecting Data Races in OpenMP with Deep Learning and Large Language Models
Abstract
References
Index Terms
- Detecting Data Races in OpenMP with Deep Learning and Large Language Models
Recommendations
An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs
ICIS '08: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)Races in OpenMP programs must be detected because they may cause unintended nondeterministic results of programs. The Intel Thread Checker can detect the races occurred in an execution of OpenMP program, but it has not been analyzed on the limitation of ...
Symbolic consistency checking of OpenMp parallel programs
LCTES '12: Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded SystemsWe present a symbolic approach for checking consistency of OpenMP parallel programs. A parallel program is consistent if it yields the same result as its sequential version despite the execution order among threads. We find race conditions of an OpenMP ...
Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers
SC-W '23: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and AnalysisHigh-level parallel programming paradigms like MPI and OpenMP allow expressing concurrency independent from the execution unit finally executing the code. Most general-purpose data race detection tools perform thread-centric analyses with the operating ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 115Total Downloads
- Downloads (Last 12 months)115
- Downloads (Last 6 weeks)42
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatLogin options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in