English

Detecting Data Races on OpenCL Kernels with Symbolic Execution

Programming Languages 2013-08-15 v1
Authors: Dino Distefano , Jeremy Dubreil
View on arXiv ↗ PDF ↗

Abstract

We present an automatic analysis technique for checking data races on OpenCL kernels. Our method defines symbolic execution techniques based on separation logic with suitable abstractions to automatically detect non-benign racy behaviours on kernel

Keywords

symbolic execution

Cite

@article{arxiv.1308.3203,
  title  = {Detecting Data Races on OpenCL Kernels with Symbolic Execution},
  author = {Dino Distefano and Jeremy Dubreil},
  journal= {arXiv preprint arXiv:1308.3203},
  year   = {2013}
}

Related papers

View all related →
Software Engineering · Computer Science
Non-intrusive on-the-fly data race detection using execution replay
Michiel Ronsse, Koen De Bosschere
2007-05-23
Cryptography and Security · Computer Science
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Shengjian Guo, Meng Wu, Chao Wang
2018-07-10
Distributed, Parallel, and Cluster Computing · Computer Science
Data Race Satisfiability on Array Elements
Junhyung Shim, Quazi Ishtiaque Mahmud, Ali Jannesari
2025-03-19
Programming Languages · Computer Science
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo +1
2023-07-21
Programming Languages · Computer Science
Data Race Detection on Compressed Traces
Dileep Kini, Umang Mathur, Mahesh Viswanathan
2018-12-19
Software Engineering · Computer Science
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
Tomáš Brablec, Tomáš Dacík, Tomáš Vojnar
2026-02-09
Programming Languages · Computer Science
Compiling Away the Overhead of Race Detection
Alexey Paznikov, Andrey Kogutenko, Yaroslav Osipov, Michael Schwarz +1
2025-12-08
Cryptography and Security · Computer Science
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas, Tulika Mitra +1
2020-05-26
Software Engineering · Computer Science
Parallel Program Analysis on Path Ranges
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024-06-28
Programming Languages · Computer Science
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell +1
2020-07-23
Databases · Computer Science
Comparative Analysis of Dynamic Data Race Detection Techniques
Danial Entezari
2022-06-22
Software Engineering · Computer Science
Towards an Accurate GPU Data Race Detector
Ajay Nayak, Anubhab Ghosh, Arkaprava Basu
2026-04-06
Distributed, Parallel, and Cluster Computing · Computer Science
An Operational Semantic Basis for OpenMP Race Analysis
Simone Atzeni, Ganesh Gopalakrishnan
2017-09-15
Programming Languages · Computer Science
Static Race Detection for RTOS Applications
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
2020-10-07
Distributed, Parallel, and Cluster Computing · Computer Science
Checking Race Freedom of Clocked X10 Programs
Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat
2013-11-19
Cryptography and Security · Computer Science
Malware Analysis with Symbolic Execution and Graph Kernel
Charles-Henry Bertrand Van Ouytsel, Axel Legay
2022-04-13
Software Engineering · Computer Science
A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions
Niels Dossche, Bert Abrath, Bart Coppens
2024-04-02
Programming Languages · Computer Science
Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks
Shivam Kumar, Anupam Agrawal, Swarnendu Biswas
2022-04-06
Software Engineering · Computer Science
SmartTrack: Efficient Predictive Race Detection
Jake Roemer, Kaan Genç, Michael D. Bond
2020-04-10
Systems and Control · Electrical Eng. & Systems
Kernel-Based Identification of Local Limit Cycle Dynamics with Linear Periodically Parameter-Varying Models
Defne E. Ozan, Mingzhou Yin, Andrea Iannelli, Roy S. Smith
2023-03-20
Programming Languages · Computer Science
Relational Symbolic Execution
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
2019-08-05
Programming Languages · Computer Science
Dynamic Race Detection With O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
2025-06-26
Programming Languages · Computer Science
Dynamic Data-Race Detection through the Fine-Grained Lens
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
2021-07-09
Programming Languages · Computer Science
Symbolic Execution for Randomized Programs
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
2022-09-19
Distributed, Parallel, and Cluster Computing · Computer Science
A Model for Coherent Distributed Memory For Race Condition Detection
Franck Butelle, Camille Coti
2015-03-17
R2 v1 2026-06-22T01:09:25.583Z