Conditional interpolation: making concurrent program verification more effective. - Jie Su 002; Cong Tian; Zhenhua Duan (ESEC/SIGSOFT FSE, 2021)

Prioritized Constraint-Aided Dynamic Partial-Order Reduction. - Jie Su 002; Cong Tian; Zuchao Yang; Jiyu Yang; Bin Yu 008; Zhenhua Duan (ASE, 2022)

PIChecker for SV-COMP 2023. - Jie Su 002; Zuchao Yang; Hengrui Xing; Jiyu Yang; Cong Tian; Zhenhua Duan (Zenodo, 2022)

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. - Bin Yu 008; Cong Tian; Hengrui Xing; Zuchao Yang; Jie Su 002; Xu Lu 003; Jiyu Yang; Liang Zhao 021; Xiaofeng Li; Zhenhua Duan (ESEC/SIGSOFT FSE, 2023)

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). - Jie Su 002; Zuchao Yang; Hengrui Xing; Jiyu Yang; Cong Tian; Zhenhua Duan (TACAS (2), 2023)

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. - Cheng Wen 002; Jialun Cao; Jie Su 002; Zhiwu Xu 001; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian (CAV (2), 2024)

CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. - Jie Su 002; Liansai Deng; Cheng Wen 002; Shengchao Qin; Cong Tian (TASE, 2024)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. - Zhi Ma; Cheng Wen 002; Jie Su 002; Ming Zhao; Bin Yu 008; Xu Lu 003; Cong Tian (CoRR, 2024)

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? - Cheng Wen 002; Yuandao Cai; Bin Zhang; Jie Su 002; Zhiwu Xu 001; Dugang Liu; Shengchao Qin; Zhong Ming 001; Cong Tian (ACM Trans. Knowl. Discov. Data, 2024)