Matthew Hicks, Cynthia Sturton, Samuel T. King, and Jonathan M. Smith, "SPECS: A lightweight runtime mechanism for protecting software from security-critical processor bugs", Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2015.

Slides and Code