Ccfa

Bond: Constraint-Directed Fuzzing for Automated Validation of Taint Analysis Results in Linux-based IoT Firmware
Jiaqian Peng, Puzhuo Liu, Kai Cheng, Zhaoteng Yan, Jie Liu, Chengnian Sun, Hongsong Zhu
Cite
Language-Agnostic Dependency Optimization for Build Systems
Hongxu Xu, Zhenyang Xu, Shane McIntosh, Chengnian Sun
Cite
On the Feasibility of Deduplicating Compiler Bugs with Bisection
Xintong Zhou, Zhenyang Xu, Yongqiang Tian, Chengnian Sun
Cite
Scitix: Scalable Constraint-Based Type Inference for Code Snippets with Missing Types
Yiwen Dong, Zhenyang Xu, Yongqiang Tian, Edward Lee, Ondřej Lhoták, Chengnian Sun
Cite Code
Validating Mixed-Integer Programming Solvers
Xintong Zhou, Zhenyang Xu, Chengnian Sun
Cite
LPO: Discovering Missed Peephole Optimizations with Large Language Models
Zhenyang Xu, Hongxu Xu (Co-First), Yongqiang Tian, Xintong Zhou, Chengnian Sun
PDF Cite Code
Unmasking the Type Inference Capabilities of LLMs for Java Code Snippets
Yiwen Dong, Zhenyang Xu, Yongqiang Tian, Chengnian Sun
PDF Cite DOI
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Chengnian Sun
PDF Cite
Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction
Zhenyang Xu, Yiran Wang (Co-First), Yongqiang Tian, Mengxiao Zhang, Chengnian Sun
PDF Cite DOI
Preventing Disruption of System Backup Against Ransomware Attacks
Yiwei Hou, Lihua Guo, Chijin Zhou, Quan Zhang, Wenhuan Liu, Chengnian Sun, Yu Jiang
Cite DOI