Faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs. - Xuran Cai; Amir Kafshdar Goharshady (SETTA, 2024)

Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs. - Xuran Cai; Amir Kafshdar Goharshady; S. Hitarth; Chun Kit Lam (ASPLOS (1), 2025)

Invariant Generation for Floating-Point Programs via Constraint Solving. - Xuran Cai; Liqian Chen; Hongfei Fu 001 (CoRR, 2025)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs. - Xuran Cai (CoRR, 2025)