Program reduction helps compiler and language-tool developers turn large failure-inducing programs into small, shareable bug reports. LPR (Large Language Models-Aided Program Reduction) demonstrated that large language models (LLMs) can complement syntax-guided reducers by proposing language-specific transformations on...
Ze-Hua Zhang, Jia-Tong Liu, Xue-Song Yao et al.· Companion Proceedings of the...· 0 citations
A metamorphic testing based evaluation method and a companion benchmark to measure the effectiveness of LLM-aided RTL code optimization show that LLM-aided methods effectively optimize logic operations and data paths, achieving lower or stable wire counts and area with delays near baseline.
Zhi-Hao Xu, Bi-Xin Li, Ran Yan et al.· ACM Transactions on Reconfig...· 0 citations
Evaluating mainstream coding agents on DEPBENCH, a benchmark consisting of 203 real-world dependency-upgrade tasks across five package ecosystems spanning five language communities, each involving hidden code-level changes that require source code adaptation.
Zi-Jian Luo, Runzhi He, Peng-Fei Gao et al.· 0 citations
DebugTracker is a Visual Studio Code extension that records lightweight debugging-process evidence for classroom tasks that captures process evidence through standard VS Code mechanisms rather than language-specific tooling, although debugger evidence depends on the relevant VS Code language extension.
Jiatong Liu, Xuesong Yao, Zehua Zhang et al.· 0 citations
Reducing bug-triggering programs to their minimal essential form is a fundamental task in debugging language processors such as compilers and interpreters. Existing reduction techniques are limited by their reliance on predefined, syntax-driven transformations that lack semantic understanding of the target program, and...
Xintong Zhou, Hongxu Xu, Chun-Feng Liao et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
