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