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]

Authors

Erdem Aktas

This author has not been identified. Look up 'Erdem Aktas' in Google

Furat Afram

This author has not been identified. Look up 'Furat Afram' in Google

Kanad Ghose

This author has not been identified. Look up 'Kanad Ghose' in Google