Login / Signup

PolyCheck: dynamic verification of iteration space transformations on affine programs.

Wenlei BaoSriram KrishnamoorthyLouis-Noël PouchetFabrice RastelloP. Sadayappan
Published in: POPL (2016)
Keyphrases
  • dynamic environments
  • search space
  • symbolic execution
  • multiscale
  • image registration
  • space time
  • model checking
  • dynamically changing
  • real time
  • data sets
  • face verification
  • formal methods
  • hardware designs