Evaluating tradeoffs in granularity and overheads in supporting nonvolatile execution semantics. - Kaisheng Ma; Minli Julie Liao; Xueqing Li 002; Zhixuan Huan; Jack Sampson (ISQED, 2017)