Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency | Read Paper on Bytez