SANER 2025
Tue 4 - Fri 7 March 2025 Montréal, Québec, Canada
Thu 6 Mar 2025 12:00 - 12:15 at M-1410 - Program Analysis Chair(s): Rrezarta Krasniqi

We present SpeedGen, a novel framework that uses Large Language Models (LLMs) to automate code performance optimization. SpeedGen is designed to address software performance bottlenecks using a feedback-driven approach that profiles code to identify inefficiencies and iteratively refines the code to improve execution speed.

We conducted a comprehensive evaluation of SpeedGen’s capabilities across diverse codebases, benchmarking its performance against a leading large language model. Our results show that SpeedGen consistently reduces execution time and delivers significant performance improvements in various scenarios. The framework’s ability to adapt to different domains underscores its scalability and robustness, making it a valuable tool for optimizing code in a wide range of applications.

A key strength of SpeedGen is its ability to maintain the functional correctness of the code while achieving significant performance gains. This feature ensures that the optimized code remains reliable even when it undergoes significant transformations. By automating the optimization process, SpeedGen minimizes the need for manual intervention, streamlining the software development lifecycle and reducing time-consuming performance tuning efforts.

The introduction of SpeedGen marks a major step forward in the integration of LLMs into software engineering and paves the way for future research and development in this area. With its ability to improve performance without compromising code integrity it lays the foundation for more advanced automated code optimization techniques, simplifying software development.

Thu 6 Mar

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Program AnalysisResearch Papers at M-1410
Chair(s): Rrezarta Krasniqi University of North Carolina at Charlotte
11:00
15m
Talk
Adapting Knowledge Prompt Tuning for Enhanced Automated Program Repair
Research Papers
Xuemeng Cai Singapore Management University, Lingxiao Jiang Singapore Management University
Pre-print
11:15
15m
Talk
A Metric for Measuring the Impact of Rare Paths on Program Coverage
Research Papers
Leo St. Amour Virginia Tech, Eli Tilevich Virginia Tech, Muhammad Ali Gulzar Virginia Tech
11:30
15m
Talk
A Progressive Transformer for Unifying Binary Code Embedding and Knowledge Transfer
Research Papers
Hanxiao Lu Columbia University, Hongyu Cai Purdue University, Yiming Liang Purdue University, Antonio Bianchi Purdue University, Z. Berkay Celik Purdue University
11:45
15m
Talk
Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry
Research Papers
Andrea Gurioli DISI - University of Bologna, Maurizio Gabbrielli DISI - University of Bologna, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris
Pre-print
12:00
15m
Talk
SpeedGen: Enhancing Code Efficiency through Large Language Model-Based Performance Optimization
Research Papers
Nils Purschke Technical University of Munich, Sven Kirchner Technical University of Munich, Alois Knoll Technical University of Munich
12:15
15m
Talk
StriCT-BJ: A String Constraint Benchmark from Real Java Programs
Research Papers
Chi Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
:
:
:
: