SVP: Safe and Efficient Speculative Execution Mechanism through Value Prediction. - Kaixuan Wang; Xinyu Qin; Zhuoyuan Yang; Weiliang He; Yifan Liu 017; Jun Han 003 (ACM Great Lakes Symposium on VLSI, 2023)