An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs. - Rui Xin; Zhengwei Qi; Shiqiu Huang; Chengcheng Xiang; Yudi Zheng; Yin Wang 001; Haibing Guan (ICSM, 2013)

Flexible and Extensible Runtime Verification for Java. - Chengcheng Xiang; Zhengwei Qi; Walter Binder (SEKE, 2015)

A Virtualization Based Monitoring System for Mini-intrusive Live Forensics. - Xianming Zhong; Chengcheng Xiang; Miao Yu; Zhengwei Qi; Haibing Guan (Int. J. Parallel Program., 2015)

Flexible and Extensible Runtime Verification for Java (Extended Version). - Chengcheng Xiang; Zhengwei Qi; Walter Binder (Int. J. Softw. Eng. Knowl. Eng., 2015)

ForenVisor: A Tool for Acquiring and Preserving Reliable Data in Cloud Live Forensics. - Zhengwei Qi; Chengcheng Xiang; Ruhui Ma; Jian Li 021; Haibing Guan; David S. L. Wei (IEEE Trans. Cloud Comput., 2017)

Towards Continuous Access Control Validation and Forensics. - Chengcheng Xiang; Yudong Wu; Bingyu Shen 002; Mingyao Shen; Haochen Huang; Tianyin Xu; Yuanyuan Zhou 001; Cindy Moore; Xinxin Jin; Tianwei Sheng (CCS, 2019)

A hybrid time MILP model for the pump scheduling of multi-product pipelines based on the rigorous description of the pipeline hydraulic loss changes. - Xingyuan Zhou; Haoran Zhang 002; Rui Qiu; Yongtu Liang; Guangming Wu; Chengcheng Xiang; Xiaohan Yan (Comput. Chem. Eng., 2019)

PracExtractor: Extracting Configuration Good Practices from Manuals to Detect Server Misconfigurations. - Chengcheng Xiang; Haochen Huang; Andrew Yoo; Yuanyuan Zhou 001; Shankar Pasupathy (USENIX ATC, 2020)

PYLIVE: On-the-Fly Code Change for Python-based Online Services. - Haochen Huang; Chengcheng Xiang; Li Zhong; Yuanyuan Zhou 001 (USENIX ATC, 2021)

Can Systems Explain Permissions Better? Understanding Users' Misperceptions under Smartphone Runtime Permission Model. - Bingyu Shen 002; Lili Wei; Chengcheng Xiang; Yudong Wu; Mingyao Shen; Yuanyuan Zhou 001; Xinxin Jin (USENIX Security Symposium, 2021)

Detecting Access Control Misconfigurations with Change Validation. - Chengcheng Xiang (2021)

Effective Bug Detection with Unused Definitions. - Li Zhong; Chengcheng Xiang; Haochen Huang; Bingyu Shen 002; Eric Mugnier; Yuanyuan Zhou 001 (EuroSys, 2024)

Testing Access-Control Configuration Changes for Web Applications. - Chengcheng Xiang; Li Zhong; Eric Mugnier; Nathaniel Nguyen; Yuanyuan Zhou 001; Tianyin Xu (CoRR, 2025)