GKLEE

This publication has 15 references indexed in Scilit:

• Symbolic Testing of OpenCL Code
  Published by Springer Nature ,2012
• Divergence Analysis and Optimizations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2011
• GRace
  Published by Association for Computing Machinery (ACM) ,2011
• Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  Published by Springer Nature ,2009
• Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
  Published by Springer Nature ,2006
• CUTE
  Published by Association for Computing Machinery (ACM) ,2005
• DART
  Published by Association for Computing Machinery (ACM) ,2005
• Barrier inference
  Published by Association for Computing Machinery (ACM) ,1998
• Detecting data races on weak memory systems
  Published by Association for Computing Machinery (ACM) ,1991
• Efficient and correct execution of parallel programs that share memory
  ACM Transactions on Programming Languages and Systems, 1988