Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
Paper
•
2505.23471
•
Published
•
1
Jun Yang
claudeyj
·
AI & ML interests
LLM4Code, LLM4SE, program analysis, test generation, proof generation, software verification
Recent Activity
published
a dataset
9 days ago
UChiSeclab/perfforge
upvoted
a
paper
10 days ago
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
authored
a paper
11 days ago
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
Organizations
upvoted
a
paper
10 days ago
upvoted
a
paper
6 months ago
upvoted
a
paper
10 months ago
upvoted
an
article
10 months ago
Article
Blazing-Fast Code Editing via Multi-Layer Speculation
•
17