8 papers
TeleGen: Improving LLM-Based Web Application Generation via Runtime Telemetry
Yujia Luo, Haonan Zhang, Jiasi Shen +2
Large language models can generate runnable web applications from natural-language requirements, but many generated applications still fail interactive tasks. Existing generate-exe…
SWE-NFI: Studying and Benchmarking Coding Agents for Non-Functional Improvements
Pengyu Xue, He Yang Yuan, Xin Wang +6
Although coding agents have achieved impressive performance on correctness-oriented benchmarks, their ability to make behavior-preserving non-functional improvements (NFIs) remains…
A Mathematics-Guided Approach to Floating-Point Error Detection
Youshuai Tan, Zhanwei Zhang, Zishuo Ding +3
Floating-point program errors can lead to severe consequences, particularly in critical domains such as military applications. Only a small subset of inputs may induce substantial…
OFP-Repair: Repairing Floating-point Errors via Original-Precision Arithmetic
Youshuai Tan, Zishuo Ding, Jinfu Chen +1
Errors in floating-point programs can lead to severe consequences, particularly in critical domains such as military, aerospace, and financial systems, making their repair a crucia…
Computing Floating-Point Errors by Injecting Perturbations
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Floating-point programs form the foundation of modern science and engineering, providing the essential computational framework for a wide range of applications, such as safety-crit…
A Multi-Language Perspective on the Robustness of LLM Code Generation
Fazle Rabbi, Zishuo Ding, Jinqiu Yang
Large language models have gained significant traction and popularity in recent times, extending their usage to code-generation tasks. While this field has garnered considerable at…
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
Youshuai Tan, Zhanwei Zhang, Jinfu Chen +3
Numerical programs form the foundation of modern science and engineering, providing essential solutions to complex mathematical problems. Therefore, errors in numerical results wou…
Automatic String Data Validation with Pattern Discovery
Xinwei Lin, Jing Zhao, Peng Di +7
In enterprise data pipelines, data insertions occur periodically and may impact downstream services if data quality issues are not addressed. Typically, such problems can be invest…