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)