Continuous, Low Overhead, Run-Time Validation of Program Executions

Erdem Aktas, Furat Afram, Kanad Ghose. Continuous, Low Overhead, Run-Time Validation of Program Executions. In 47th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2014, Cambridge, United Kingdom, December 13-17, 2014. pages 229-241, IEEE, 2014. [doi]

Abstract

Abstract is missing.