SimPoint+: More Stable, Accurate and Efficient Program Analysis. - Jiangying Xue; Tianyu Xiong; Lingwei Chao; Ruini Xue (Euro-Par (2), 2025)