Scalable SMT-based verification of GPU kernel functions
Top Cited Papers
- 7 November 2010
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 187-196
- https://doi.org/10.1145/1882291.1882320
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming APIScience of Computer Programming, 2011
- A symbolic verifier for CUDA programsPublished by Association for Computing Machinery (ACM) ,2010
- SPEED: Symbolic Complexity Bound AnalysisPublished by Springer Nature ,2009
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT SolversPublished by Springer Nature ,2009
- DySyPublished by Association for Computing Machinery (ACM) ,2008
- Dynamic partial-order reduction for model checking softwarePublished by Association for Computing Machinery (ACM) ,2005
- FLAVERS: A finite state verification technique for software systemsIBM Systems Journal, 2002
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Barrier inferencePublished by Association for Computing Machinery (ACM) ,1998
- Efficient detection of determinacy races in Cilk programsPublished by Association for Computing Machinery (ACM) ,1997