Detection of Optimizations Missed by the Compiler. - Yi Zhang 153 (ESEC/SIGSOFT FSE, 2023)

Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations. - Yi Zhang 153; Yu Wang 093; Linzhang Wang; Ke Wang (Proc. ACM Program. Lang., 2025)