| 2025 | EuroSys | BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis. | Jia-Ju Bai |
| 2025 | NDSS | Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning. | Yonghao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou |
| 2024 | ASPLOS | Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System. | Jia-Ju Bai, Haoxuan Song, Shimin Hu |
| 2024 | CCS | Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem. | Yuexi Zhang, Bingyu Li, Jingqiang Lin, Linghui Li, Jia-Ju Bai, Shijie Jia, Qianhong Wu |
| 2022 | ASPLOS | Path-sensitive and alias-aware typestate analysis for detecting OS bugs. | Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu |
| 2022 | ICRA | ROZZ: Property-based Fuzzing for Robotic Programs in ROS. | Kai-Tao Xie, Jia-Ju Bai, Yonghao Zou, Yu-Ping Wang |
| 2022 | NDSS | Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. | Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu |
| 2022 | USENIX | DLOS: Effective Static Detection of Deadlocks in OS Kernels. | Jia-Ju Bai, Tuo Li, Shi-Min Hu |
| 2021 | ICRA | Effective Crash Recovery of Robot Software Programs in ROS. | Yonghao Zou, Jia-Ju Bai |
| 2021 | USENIX | TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. | Yonghao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu |
| 2019 | ASPLOS | DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel. | Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu |
| 2019 | ISSRE | Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. | Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu |
| 2019 | USENIX | Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. | Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu |
| 2018 | CGO | AutoPA: automatically generating active driver from original passive driver code. | Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu |
| 2018 | USENIX | DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. | Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu |
| 2016 | USENIX | Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection. | Jia-Ju Bai, Yu-Ping Wang, Jie Yin, Shi-Min Hu |
| 2015 | COMPSAC | Complete Runtime Tracing for Device Drivers Based on LLVM. | Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu |
| 2015 | ISPASS | Pairminer: mining for paired functions in Kernel extensions. | Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Zhe Bian, Shi-Min Hu |
| 2015 | ISSRE | Automated resource release in device drivers. | Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu |
| 2014 | APSEC | Runtime Checking for Paired Functions in Device Drivers. | Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu |
| 2014 | APSEC | BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling. | Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu |