Xuran Cai

According to our database, Xuran Cai authored at least 6 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Series-parallel-loop decompositions of control-flow graphs.

Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam

J. Syst. Archit., 2026

2025

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs.

Xuran Cai

CoRR, July, 2025

Invariant Generation for Floating-Point Programs via Constraint Solving.

Xuran Cai, Liqian Chen, Hongfei Fu

CoRR, July, 2025

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-Flow Graphs.

Xuran Cai, Amir Kafshdar Goharshady

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2025

Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs.

Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs.

Xuran Cai, Amir Kafshdar Goharshady

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024