Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson & John Wickerson (2015):
The Design and Implementation of a Verification Technique for GPU Kernels.
Transactions on Programming Languages and Systems 37(3),
pp. 1–49,
doi:10.1145/2743017.
Tiago Cogumbreiro, Julien Lange, Dennis Liew & Hannah Zicarelli (2021):
Checking Data-Race Freedom of GPU Kernels, Compositionally.
In: Proceedings of CAV.
Springer,
pp. 403–426,
doi:10.1007/978-3-030-81685-8_19.
Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky & Joseph Devietti (2017):
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA Programs.
In: Proceedings of PLDI.
ACM,
pp. 126–140,
doi:10.1145/3062341.3062342.
Roberto Giacobazzi, Francesco Logozzo & Francesco Ranzato (2015):
Analyzing Program Analyses.
In: Proceedings of POPL.
ACM,
pp. 261273,
doi:10.1145/2676726.2676987.
Nikos Gorogiannis, Peter W. O'Hearn & Ilya Sergey (2019):
A True Positives Theorem for a Static Race Detector.
Proceedings of the ACM on Programming Languages 3(POPL),
doi:10.1145/3290370.
Anup Holey, Vineeth Mekkat & Antonia Zhai (2013):
HAccRG: Hardware-Accelerated Data Race Detection in GPUs.
In: Proceedings of ICPP,
pp. 60–69,
doi:10.1109/ICPP.2013.15.
Brittany Johnson, Yoonki Song, Emerson Murphy-Hill & Robert Bowdidge (2013):
Why Don't Software Developers Use Static Analysis Tools to Find Bugs?.
In: Proceedings of ICSE.
IEEE,
pp. 672681,
doi:10.1109/ICSE.2013.6606613.
Aditya K. Kamath, Alvin A. George & Arkaprava Basu (2020):
ScoRD: A Scoped Race Detector for GPUs.
In: Proceedings of ISCA.
IEEE,
pp. 1036–1049,
doi:10.1109/ISCA45697.2020.00088.
Guodong Li & Ganesh Gopalakrishnan (2010):
Scalable SMT-based verification of GPU kernel functions.
In: Proceedings of FSE.
ACM,
pp. 187–196,
doi:10.1145/1882291.1882320.
Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh & Sreeranga P. Rajan (2012):
GKLEE: Concolic Verification and Test Generation for GPUs.
In: Proceedings of PPoPP 47.
ACM,
pp. 215–224,
doi:10.1145/2370036.2145844.
Peng Li, Guodong Li & Ganesh Gopalakrishnan (2014):
Practical Symbolic Race Checking of GPU Programs.
In: Proceedings of SC.
IEEE,
pp. 179–190,
doi:10.1109/SC.2014.20.
Pengcheng Li, Xiaoyu Hu, Dong Chen, Jacob Brock, Hao Luo, Eddy Z. Zhang & Chen Ding (2017):
LD: Low-Overhead GPU Race Detection Without Access Monitoring.
Transactions on Architecture and Code Optimization 14(1),
pp. 1–25,
doi:10.1145/3046678.
Yuanfeng Peng, Vinod Grover & Joseph Devietti (2018):
CURD: A Dynamic CUDA Race Detector.
In: Proceedings of PLDI.
ACM,
pp. 390–403,
doi:10.1145/3192366.3192368.
Phillipe Pereira, Higo Albuquerque, Hendrio Marques, Isabela Silva, Celso Carvalho, Lucas Cordeiro, Vanessa Santos & Ricardo Ferreira (2016):
Verifying CUDA Programs Using SMT-Based Context-Bounded Model Checking.
In: Proceedings of SAC.
ACM,
pp. 1648–1653,
doi:10.1145/2851613.2851830.
Francesco Ranzato (2013):
Complete Abstractions Everywhere.
In: Proceedings of VMCAI 7737.
Springer,
pp. 1526,
doi:10.1007/978-3-642-35873-9_3.
Caitlin Sadowski, Edward Aftandilian, Alex Eagle, Liam Miller-Cushon & Ciera Jaspan (2018):
Lessons from Building Static Analysis Tools at Google.
Communications of the ACM 61 Issue 4,
pp. 58–66,
doi:10.1145/3188720.
Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang, Cong Liu & Yuqun Zhang (2020):
Simulee: Detecting CUDA Synchronization Bugs via Memory-Access Modeling.
In: Proceedings of ICSE.
ACM,
pp. 937–948,
doi:10.1145/3377811.3380358.
Mai Zheng, Vignesh T. Ravi, Feng Qin & Gagan Agrawal (2011):
GRace: A Low-overhead Mechanism for Detecting Data Races in GPU Programs.
In: Proceedings of PPoPP.
ACM,
pp. 135–146,
doi:10.1145/1941553.1941574.
Mai Zheng, Vignesh T. Ravi, Feng Qin & Gagan Agrawal (2014):
GMRace: Detecting Data Races in GPU Programs via a Low-Overhead Scheme.
Transactions on Parallel and Distributed Systems 25(1),
pp. 104–115,
doi:10.1109/TPDS.2013.44.