• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.

Peng LiGuodong LiGanesh Gopalakrishnan
Published in: SC (2012)
Keyphrases
  • statistical analysis
  • computer aided
  • dynamic analysis
  • data sets
  • neural network
  • information systems
  • general purpose
  • automated analysis
  • manual inspection