Verification of producer-consumer synchronization in GPU programs.
Rahul SharmaMichael BauerAlex AikenPublished in: PLDI (2015)
Keyphrases
- symbolic execution
- real time
- model checking
- graphics hardware
- electronic commerce
- verification method
- automatic programming
- database systems
- hardware designs
- formal verification
- formal methods
- static analysis
- face verification
- parallel computation
- chaotic systems
- programming environment
- java programs
- runtime environment
- computer programs
- concurrent programs
- phase locked