Sign in

Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis.

Zirui Neil ZhaoHouxiang JiMengjia YanJiyong YuChristopher W. FletcherAdam MorrisonDarko MarinovJosep Torrellas
Published in: MICRO (2020)
Keyphrases
  • data sets
  • highly efficient
  • data flow
  • execution model
  • databases
  • object recognition
  • artificial intelligence
  • website
  • control flow
  • plan execution
  • active rules
  • concurrent execution