Runtime Checking for Paired Functions in Device Drivers. - Jia-Ju Bai; Hu-Qiu Liu; Yu-Ping Wang 001; Shi-Min Hu 001 (APSEC (1), 2014)

BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling. - Hu-Qiu Liu; Jia-Ju Bai; Yu-Ping Wang 001; Shi-Min Hu 001 (APSEC (1), 2014)

Complete Runtime Tracing for Device Drivers Based on LLVM. - Jia-Ju Bai; Hu-Qiu Liu; Yu-Ping Wang 001; Shi-Min Hu 001 (COMPSAC, 2015)

Pairminer: mining for paired functions in Kernel extensions. - Hu-Qiu Liu; Jia-Ju Bai; Yu-Ping Wang 001; Zhe Bian; Shi-Min Hu 001 (ISPASS, 2015)

Automated resource release in device drivers. - Jia-Ju Bai; Yu-Ping Wang 001; Hu-Qiu Liu; Shi-Min Hu 001 (ISSRE, 2015)

RandMap: Wear Level for Phase Change Memory Based on Layer-Based Random Mapping. - Wei Liu 143; Jia-Ju Bai; Yu-Ping Wang 001 (ICESS, 2016)

Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection. - Jia-Ju Bai; Yu-Ping Wang 001; Jie Yin; Shi-Min Hu 001 (USENIX ATC, 2016)

Mining and checking paired functions in device drivers using characteristic fault injection. - Jia-Ju Bai; Yu-Ping Wang 001; Hu-Qiu Liu; Shi-Min Hu 001 (Inf. Softw. Technol., 2016)

PF-Miner: A practical paired functions mining method for Android kernel in error paths. - Hu-Qiu Liu; Yu-Ping Wang 001; Jia-Ju Bai; Shi-Min Hu 001 (J. Syst. Softw., 2016)

AutoPA: automatically generating active driver from original passive driver code. - Jia-Ju Bai; Yu-Ping Wang 001; Shi-Min Hu 001 (CGO, 2018)

DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. - Jia-Ju Bai; Yu-Ping Wang 001; Julia Lawall; Shi-Min Hu 001 (USENIX ATC, 2018)

Automated and reliable resource release in device drivers based on dynamic analysis. - Jia-Ju Bai; Yu-Ping Wang 001; Shi-Min Hu 001 (J. Syst. Softw., 2018)

Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel. - Jia-Ju Bai; Julia Lawall; Shi-Min Hu 001 (ACM Trans. Comput. Syst., 2018)

DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel. - Jia-Ju Bai; Julia Lawall; Wende Tan; Shi-Min Hu 001 (ASPLOS, 2019)

Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. - Zu-Ming Jiang; Jia-Ju Bai; Julia Lawall; Shi-Min Hu 001 (ISSRE, 2019)

Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. - Jia-Ju Bai; Julia Lawall; Qiu-Liang Chen; Shi-Min Hu 001 (USENIX ATC, 2019)

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. - Qiu-Liang Chen; Jia-Ju Bai; Zu-Ming Jiang; Julia Lawall; Shi-Min Hu 001 (SANER, 2019)

Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. - Zu-Ming Jiang; Jia-Ju Bai; Kangjie Lu; Shi-Min Hu 001 (USENIX Security Symposium, 2020)

Effective Crash Recovery of Robot Software Programs in ROS. - Yong-Hao Zou; Jia-Ju Bai (ICRA, 2021)

TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. - Yong-Hao Zou; Jia-Ju Bai; Jielong Zhou; Jianfeng Tan; Chenggang Qin; Shi-Min Hu 001 (USENIX ATC, 2021)

Static Detection of Unsafe DMA Accesses in Device Drivers. - Jia-Ju Bai; Tuo Li; Kangjie Lu; Shi-Min Hu 001 (USENIX Security Symposium, 2021)

Path-sensitive and alias-aware typestate analysis for detecting OS bugs. - Tuo Li; Jia-Ju Bai; Yulei Sui; Shi-Min Hu 001 (ASPLOS, 2022)

ROZZ: Property-based Fuzzing for Robotic Programs in ROS. - Kai-Tao Xie; Jia-Ju Bai; Yong-Hao Zou; Yu-Ping Wang 001 (ICRA, 2022)

Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. - Zu-Ming Jiang; Jia-Ju Bai; Kangjie Lu; Shi-Min Hu 001 (NDSS, 2022)

DLOS: Effective Static Detection of Deadlocks in OS Kernels. - Jia-Ju Bai; Tuo Li; Shi-Min Hu 001 (USENIX ATC, 2022)

Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers. - Jia-Ju Bai; Qiu-Liang Chen; Zu-Ming Jiang; Julia Lawall; Shi-Min Hu 001 (IEEE Trans. Software Eng., 2022)

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. - Zu-Ming Jiang; Jia-Ju Bai; Zhendong Su 001 (USENIX Security Symposium, 2023)

Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System. - Jia-Ju Bai; Haoxuan Song; Shimin Hu 001 (ASPLOS (2), 2024)

Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem. - Yuexi Zhang; Bingyu Li; Jingqiang Lin 001; Linghui Li; Jia-Ju Bai; Shijie Jia 001; Qianhong Wu (CCS, 2024)

LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules. - Tuo Li; Jia-Ju Bai; Gui-Dong Han; Shi-Min Hu 001 (USENIX Security Symposium, 2024)

Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing. - Jia-Ju Bai; Zi-Xuan Fu; Kai-Tao Xie; Zu-Ming Jiang (IEEE Trans. Dependable Secur. Comput., 2024)

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis. - Tuo Li; Jia-Ju Bai; Yulei Sui; Shi-Min Hu 001 (ACM Trans. Comput. Syst., 2024)

BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis. - Jia-Ju Bai (EuroSys, 2025)

Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning. - Yong-Hao Zou; Jia-Ju Bai; Zu-Ming Jiang; Ming Zhao; Diyu Zhou (NDSS, 2025)

Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing. - Si-Miao Gao; Pengcheng Wang 003; Jia-Ju Bai; Jia-Wei Yu; Haizhou Wang 001 (IEEE Trans. Inf. Forensics Secur., 2025)