Jia-Ju Bai

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 28

Top Topics

Operating System

Query Generation

Top Venues

USENIX Annual Technical Conference

USENIX Security Symposium

Publications

Jia-Ju Bai, Haoxuan Song, Shimin Hu
Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System. ASPLOS (2) (2024)
Tuo Li, Jia-Ju Bai, Gui-Dong Han, Shi-Min Hu
LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules. USENIX Security Symposium (2024)
Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang
Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. USENIX Security Symposium (2023)
Kai-Tao Xie, Jia-Ju Bai, Yong-Hao Zou, Yu-Ping Wang
ROZZ: Property-based Fuzzing for Robotic Programs in ROS. ICRA (2022)
Jia-Ju Bai, Tuo Li, Shi-Min Hu
DLOS: Effective Static Detection of Deadlocks in OS Kernels. USENIX Annual Technical Conference (2022)
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. NDSS (2022)
Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers. IEEE Trans. Software Eng. 48 (12) (2022)
Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu
Path-sensitive and alias-aware typestate analysis for detecting OS bugs. ASPLOS (2022)
Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu
Static Detection of Unsafe DMA Accesses in Device Drivers. USENIX Security Symposium (2021)
Yong-Hao Zou, Jia-Ju Bai
Effective Crash Recovery of Robot Software Programs in ROS. ICRA (2021)
Yong-Hao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu
TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. USENIX Annual Technical Conference (2021)
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. USENIX Security Symposium (2020)
Jia-Ju Bai, Julia Lawall, Shi-Min Hu
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel. ACM Trans. Comput. Syst. 36 (4) (2020)
Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. USENIX Annual Technical Conference (2019)
Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. ISSRE (2019)
Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu
DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel. ASPLOS (2019)
Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. SANER (2019)
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu
AutoPA: automatically generating active driver from original passive driver code. CGO (2018)
Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. USENIX Annual Technical Conference (2018)
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu
Automated and reliable resource release in device drivers based on dynamic analysis. J. Syst. Softw. 137 (2018)
Hu-Qiu Liu, Yu-Ping Wang, Jia-Ju Bai, Shi-Min Hu
PF-Miner: A practical paired functions mining method for Android kernel in error paths. J. Syst. Softw. 121 (2016)
Jia-Ju Bai, Yu-Ping Wang, Jie Yin, Shi-Min Hu
Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection. USENIX Annual Technical Conference (2016)
Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu
Mining and checking paired functions in device drivers using characteristic fault injection. Inf. Softw. Technol. 73 (2016)
Wei Liu, Jia-Ju Bai, Yu-Ping Wang
RandMap: Wear Level for Phase Change Memory Based on Layer-Based Random Mapping. ICESS (2016)
Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu
Automated resource release in device drivers. ISSRE (2015)
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu
Complete Runtime Tracing for Device Drivers Based on LLVM. COMPSAC (2015)
Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Zhe Bian, Shi-Min Hu
Pairminer: mining for paired functions in Kernel extensions. ISPASS (2015)
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu
Runtime Checking for Paired Functions in Device Drivers. APSEC (1) (2014)
Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu
BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling. APSEC (1) (2014)