Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. - Jiayu Zhu; Chengcheng Wan 001; Pengbo Nie; Yuting Chen 001; Zhendong Su 001 (ICSME, 2020)

ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs. - Xintian Yu; Enze Ma; Pengbo Nie; Beijun Shen; Yuting Chen 001; Ziyi Lin (COMPSAC, 2021)

Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX. - Xinyuan Miao; Ziyi Lin; Shaojun Wang; Lei Yu; Sanhong Li; Zihan Wang; Pengbo Nie; Yuting Chen 001; Beijun Shen; He Jiang 001 (ICSE, 2023)

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. - Zihan Wang; Pengbo Nie; Xinyuan Miao; Yuting Chen 001; Chengcheng Wan 001; Lei Bu; Jianjun Zhao 001 (ISSTA, 2023)

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. - Pengbo Nie; Chengcheng Wan 001; Jiayu Zhu; Ziyi Lin; Yuting Chen 001; Zhendong Su 001 (ACM Trans. Softw. Eng. Methodol., 2023)

OPASS: Orchestrating TVM's Passes for Lowering Memory Footprints of Computation Graphs. - Pengbo Nie; Zihan Wang; Chengcheng Wan 001; Ziyi Lin; He Jiang 001; Jianjun Zhao 001; Yuting Chen 001 (ICSME, 2024)

Detecting Numerical Deviations in Deep Learning Models Introduced by the TVM Compiler. - Zichao Xia; Yuting Chen; Pengbo Nie; Zihan Wang (ISSRE, 2024)