Login / Signup

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels.

Nathan ChongAlastair F. DonaldsonPaul H. J. KellyJeroen KetemaShaz Qadeer
Published in: OOPSLA (2013)
Keyphrases
  • data dependent
  • dynamic environments
  • generalization bounds
  • state abstraction
  • machine learning
  • optimal solution