WEDGE: Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency - Yang, Jun; Wang, Cheng-Chi; Stoica, Bogdan "Bo"; Pei, Kexin (Advances in Neural Information Processing Systems, 2025)