Login / Signup

Simulee: detecting CUDA synchronization bugs via memory-access modeling.

Mingyuan WuYicheng OuyangHusheng ZhouLingming ZhangCong LiuYuqun Zhang
Published in: ICSE (2020)
Keyphrases
  • memory access
  • shared memory
  • general purpose
  • management system
  • multi dimensional
  • source code
  • databases
  • data access
  • external memory