3 papers
cs.SE2025
SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
Jianming Chang, Jieke Shi, Yunbo Lyu +5
Static program slicing, which extracts the executable portions of a program that affect the values at a specific location, supports many software analysis tasks such as debugging a…
cs.SE2025
Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
Zhihao Xu, Bixin Li, Lulu Wang
Register Transfer Level(RTL) code optimization is crucial for achieving high performance and low power consumption in digital circuit design. However, traditional optimization meth…
cs.SE2025
Bridging Bug Localization and Issue Fixing: A Hierarchical Localization Framework Leveraging Large Language Models
Jianming Chang, Xin Zhou, Lulu Wang +2
Automated issue fixing is a critical task in software debugging and has recently garnered significant attention from academia and industry. However, existing fixing techniques pred…