GKLEE
Authors:
Open Access
- 25 February 2012
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 47 (8) , 215-224
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Symbolic Testing of OpenCL CodeLecture Notes in Computer Science, 2012
- Divergence Analysis and Optimizations2011
- GRace2011
- 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
- CUTE2005
- DART2005
- Barrier inference1998
- Detecting data races on weak memory systems1991
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988