121 citations · 173 across the 25 of their papers we have counts for
4 papers · 1 filter
Taylor-Approximation-Based Repair of High Floating-Point Errors
Xin Yi, Liqian Chen, Hengbiao Yu +5
Numerical libraries can still lose many bits of accuracy on localized ill-conditioned inputs, such as roots, poles, cancellation points, and branch boundaries. This paper presents…
Behavior Specification-Guided Program Synthesis for Binary Deobfuscation
Kangchen Zhu, Shangwen Wang, Zhiliang Tian +5
Deobfuscation is critical to reverse engineering and security analysis because it restores the readability and analyzability of obfuscated code. However, existing research primaril…
Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection
Xin Peng, Bo Lin, Jing Wang +5
Automated vulnerability detection is crucial for enhancing software security by identifying potential flaws that attackers could exploit, thereby reducing the reliance on labor-int…
Atomizer: An LLM-based Collaborative Multi-Agent Framework for Intent-Driven Commit Untangling
Kangchen Zhu, Zhiliang Tian, Shangwen Wang +2
Composite commits, which entangle multiple unrelated concerns, are prevalent in software development and significantly hinder program comprehension and maintenance. Existing automa…