All Stories

  1. CURD: a dynamic CUDA race detector

    Article • ACM SIGPLAN Notices, June 2018, ACM (Association for Computing Machinery)

    Yuanfeng Peng

  2. CURD: a dynamic CUDA race detector

    Article • June 2018, ACM (Association for Computing Machinery)

    Yuanfeng Peng

  3. Verifying dynamic race detection

    Article • January 2017, ACM (Association for Computing Machinery)

    Yuanfeng Peng