Selected

Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
Zhenayng 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
Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
Yuanmin Xie, Zhenyang Xu, Yongqiang Tian, Min Zhou, Xintong Zhou, Chengnian Sun
PDF Code Dataset Video
Preventing Disruption of System Backup Against Ransomware Attacks
Yiwei Hou, Lihua Guo, Chijin Zhou, Quan Zhang, Wenhuan Liu, Chengnian Sun, Yu Jiang
Toward a Better Understanding of Probabilistic Delta Debugging
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Xinru Cheng, Chengnian Sun
PDF
WDD: Weighted Delta Debugging
Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, Chengnian Sun
PDF Code Slides PPTX
An Empirical Study of Bugs in Data Visualization Libraries
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
Towards Diverse Program Transformations for Program Simplification
Haibo Wang, Zezhong Xing, Chengnian Sun, Zheng Wang, Shin Hwei Tan
FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
Puzhuo Liu, Yaowen Zheng, Chengnian Sun, Chuan Qin, Dongliang Fang, Mingdong Liu, Limin Sun
PDF Cite DOI Media1 Media2 Media3
An Empirical Study of Data Disruption by Ransomware Attacks
Yiwei Hou, Lihua Guo, Chijin Zhou, Yiwen Xu, Zijing Yin, Shanshan Li, Chengnian Sun, Yu Jiang
PDF Cite DOI