Login / Signup

The Rewriting of DataRaceBench Benchmark for OpenCL Program Validations.

Chia-Chen HsuChun-Lin HuangChao-Lin LeeJenq-Kuen LeePei-Hung Lin
Published in: ICPP Workshops (2024)
Keyphrases
  • computer programs
  • test cases
  • magic sets
  • real world
  • parallel algorithm
  • programming environment
  • program execution
  • information systems
  • data exchange
  • static analysis
  • fixpoint