5 papers
JETO-Bench: A Reproducible Benchmark for Execution Time Improvement Patches in Java
Khashayar Etemadi, Zhendong Su
Automated fixing of performance issues is gaining attention, but existing benchmarks of execution time improvement patches (ETIPs) target Python, C++, or .NET and are fixed dataset…
CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
Tommy Ho, Khashayar Etemadi, Zhendong Su
Recent progress in automated repair of performance bugs demands realistic, executable benchmarks. However, existing C++ performance benchmarks are largely built from competitive pr…
Mokav: Execution-driven Differential Testing with LLMs
Khashayar Etemadi, Bardia Mohammadi, Zhendong Su +1
It is essential to detect functional differences between programs in various software engineering tasks, such as automated program repair, mutation testing, and code refactoring. T…
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
Khashayar Etemadi, Marjan Sirjani, Mahshid Helali Moghadam +2
Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety…
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
Merlijn Sevenhuijsen, Khashayar Etemadi, Mattias Nyberg
Large language models have demonstrated impressive capabilities in generating code, yet they often produce programs with flaws or deviations from intended behavior, limiting their…