Jia-Ju Bai

36 papers A* 11A 5B 2Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Network-Layer Differential Fuzzing for Ethereum.
IEEE Trans. Inf. Forensics Secur.
Fudong Wu, Qianhong Wu, Jia-Ju Bai, Bo Qin, Zhenyu Guan, Willy Susilo
2025 A conf
BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis.
EuroSys
Jia-Ju Bai
2025 A* conf
Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning.
NDSS
Yong-Hao Zou, Jia-Ju Bai, Zu-Ming Jiang, Ming Zhao, Diyu Zhou
2025 J jnl
Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing.
IEEE Trans. Inf. Forensics Secur.
Si-Miao Gao, Pengcheng Wang, Jia-Ju Bai, Jia-Wei Yu, Haizhou Wang
2024 A* conf
Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem.
CCS
Yuexi Zhang, Bingyu Li, Jingqiang Lin, Linghui Li, Jia-Ju Bai, Shijie Jia, Qianhong Wu
2024 A* conf
LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules.
USENIX Security Symposium
Tuo Li, Jia-Ju Bai, Gui-Dong Han, Shi-Min Hu
2024 — conf
Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System.
ASPLOS (2)
Jia-Ju Bai, Haoxuan Song, Shimin Hu
2024 J jnl
SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis.
ACM Trans. Comput. Syst.
Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu
2024 J jnl
Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing.
IEEE Trans. Dependable Secur. Comput.
Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang
2023 A* conf
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation.
USENIX Security Symposium
Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su
2022 A* conf
Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection.
NDSS
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
2022 — conf
DLOS: Effective Static Detection of Deadlocks in OS Kernels.
USENIX ATC
Jia-Ju Bai, Tuo Li, Shi-Min Hu
2022 J jnl
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers.
IEEE Trans. Software Eng.
Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
2022 A* conf
Path-sensitive and alias-aware typestate analysis for detecting OS bugs.
ASPLOS
Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu
2022 A* conf
ROZZ: Property-based Fuzzing for Robotic Programs in ROS.
ICRA
Kai-Tao Xie, Jia-Ju Bai, Yong-Hao Zou, Yu-Ping Wang
2021 A* conf
Effective Crash Recovery of Robot Software Programs in ROS.
ICRA
Yong-Hao Zou, Jia-Ju Bai
2021 A* conf
Static Detection of Unsafe DMA Accesses in Device Drivers.
USENIX Security Symposium
Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu
2021 — conf
TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing.
USENIX ATC
Yong-Hao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu
2020 A* conf
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection.
USENIX Security Symposium
Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu
2019 A* conf
DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel.
ASPLOS
Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu
2019 A conf
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers.
SANER
Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu
2019 — conf
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.
USENIX ATC
Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu
2019 A conf
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection.
ISSRE
Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu
2018 A conf
AutoPA: automatically generating active driver from original passive driver code.
CGO
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu
2018 J jnl
Automated and reliable resource release in device drivers based on dynamic analysis.
J. Syst. Softw.
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu
2018 — conf
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.
USENIX ATC
Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu
2018 J jnl
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel.
ACM Trans. Comput. Syst.
Jia-Ju Bai, Julia Lawall, Shi-Min Hu
2016 J jnl
Mining and checking paired functions in device drivers using characteristic fault injection.
Inf. Softw. Technol.
Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu
2016 J jnl
PF-Miner: A practical paired functions mining method for Android kernel in error paths.
J. Syst. Softw.
Hu-Qiu Liu, Yu-Ping Wang, Jia-Ju Bai, Shi-Min Hu
2016 — conf
RandMap: Wear Level for Phase Change Memory Based on Layer-Based Random Mapping.
ICESS
Wei Liu, Jia-Ju Bai, Yu-Ping Wang
2016 — conf
Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection.
USENIX ATC
Jia-Ju Bai, Yu-Ping Wang, Jie Yin, Shi-Min Hu
2015 A conf
Automated resource release in device drivers.
ISSRE
Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu
2015 B conf
Complete Runtime Tracing for Device Drivers Based on LLVM.
COMPSAC
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu
2015 B conf
Pairminer: mining for paired functions in Kernel extensions.
ISPASS
Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Zhe Bian, Shi-Min Hu
2014 — conf
BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling.
APSEC (1)
Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu
2014 — conf
Runtime Checking for Paired Functions in Device Drivers.
APSEC (1)
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu