GKLEE
- 25 February 2012
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 47 (8), 215-224
- https://doi.org/10.1145/2370036.2145844
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Symbolic Testing of OpenCL CodeLecture Notes in Computer Science, 2012
- Divergence Analysis and OptimizationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- GRacePublished by Association for Computing Machinery (ACM) ,2011
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT SolversLecture Notes in Computer Science, 2009
- Concurrency Analysis for Parallel Programs with Textually Aligned BarriersLecture Notes in Computer Science, 2006
- CUTEPublished by Association for Computing Machinery (ACM) ,2005
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- Barrier inferencePublished by Association for Computing Machinery (ACM) ,1998
- Detecting data races on weak memory systemsPublished by Association for Computing Machinery (ACM) ,1991
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988