@misc{indiciaed329275249d4,
  title = {Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency},
  author = {Jun Yang and Cheng-Chi Wang and Bogdan Alexandru Stoica and Kexin Pei},
  year = {2025},
  url = {https://arxiv.org/abs/2505.23471},
  note = {Source identifier: 2505.23471}
}