TY  - RPRT
TI  - Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
AU  - Jun Yang
AU  - Cheng-Chi Wang
AU  - Bogdan Alexandru Stoica
AU  - Kexin Pei
PY  - 2025
UR  - https://arxiv.org/abs/2505.23471
ID  - 2505.23471
ER  -