Speculation invariance (invarspec): Faster safe execution through program analysis

Zirui Neil Zhao, Houxiang Ji, Mengjia Yan, Jiyong Yu, Christopher W. Fletcher, Adam Morrison, Darko Marinov, Josep Torrellas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Speculation invariance (invarspec): Faster safe execution through program analysis'. Together they form a unique fingerprint.

Keyphrases

Computer Science