Jia-Ju Bai (白家驹)
Associate Professor
School of Cyber Science and Technology
Beihang University
Address: Room 407, The First Hall, Beihang University (Xueyuan Road Campus), Beijing, 100191, China
E-Mail: baijiaju1990@outlook.com | baijiaju@buaa.edu.cn | baijiaju@tsinghua.edu.cn (expired)
About Me
I am now an Associate Professor in Beihang University from 2023.2, and leading the BASS LAB focusing on the research of systems software security.
Before joining Beihang University, I worked as an assistant researcher and postdoc researcher (supervisor: Prof. Shi-Min Hu) in Tsinghua University from 2021.2 to 2023.2 and from 2019.9 to 2021.2, respectively.
I received a PhD degree (supervisor: Prof. Shi-Min Hu) from Tsinghua University in 2018.7, and a bachelor degree from Xidian University in 2013.7.
I am looking for self-motivated postgraduate students, intern undergraduates and postdoc researcher.
If you are interested in systems software reliability and security, please feel free to contact me!
Research Interests
-
Systems Software Security
-
Operating System
-
Program Analysis
Publications
-
BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis
Jia-Ju Bai (the sole author).
Proceedings of the 20th European Conference on Computer Systems (EuroSys), 2025, accepted.
-
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.
ACM Transactions on Computer Systems (TOCS), vol.42, issue 4, 1-40, 2024.
-
LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules
Tuo Li, Jia-Ju Bai, Gui-Dong Han, Shi-Min Hu.
Proceedings of the 33rd USENIX Security Symposium, 6149-6166, 2024.
-
Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System
Jia-Ju Bai, Hao-Xuan Song, Shi-Min Hu.
Proceedings of the 29th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 763-778, 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 Transactions on Dependable and Secure Computing (TDSC), vol. 21, issue 4, 1724-1739, 2024.
-
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation
Zu-Ming Jiang, Jia-Ju Bai*, Zhendong Su.
Proceedings of the 32th USENIX Security Symposium, 4949-4965, 2023.
-
DLOS: Effective Static Detection of Deadlocks in OS Kernels
Jia-Ju Bai, Tuo Li, Shi-Min Hu.
Proceedings of the 2022 USENIX Annual Technical Conference (USENIX ATC), 367-381, 2022.
-
Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs
Tuo Li, Jia-Ju Bai*, Yulei Sui, Shi-Min Hu.
Proceedings of the 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 859-872, 2022.
-
Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection
Zu-Ming Jiang, Jia-Ju Bai*, Kangjie Lu, Shi-Min Hu.
Proceedings of the 29th Network and Distributed System Security Symposium (NDSS), 2022.
-
ROZZ: Property-based Fuzzing for Robotic Programs in ROS
Kai-Tao Xie, Jia-Ju Bai*, Yong-Hao Zou, Yu-Ping Wang.
Proceedings of the 2022 International Conference on Robotics and Automation (ICRA), 6786-6792, 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.
IEEE Transactions on Software Engineering (TSE), vol. 48, issue 12, 5120-5135, 2022.
-
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.
Proceedings of the 2021 USENIX Annual Technical Conference (USENIX ATC), 161-175, 2021.
-
Static Detection of Unsafe DMA Accesses in Device Drivers
Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu.
Proceedings of the 30th USENIX Security Symposium, 1629-1645, 2021.
-
Effective Crash Recovery of Robot Software Programs in ROS
Yong-Hao Zou, Jia-Ju Bai*.
Proceedings of the 2021 International Conference on Robotics and Automation (ICRA), 9498-9504, 2021.
-
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection
Zu-Ming Jiang, Jia-Ju Bai*, Kangjie Lu, Shi-Min Hu.
Proceedings of the 29th USENIX Security Symposium, 2595-2612, 2020.
-
Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kernel
Jia-Ju Bai, Julia Lawall, Shi-Min Hu.
ACM Transactions on Computer Systems (TOCS), vol. 36, issue 4, 1-30, 2020.
-
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection
Zu-Ming Jiang, Jia-Ju Bai*, Julia Lawall, Shi-Min Hu.
Proceedings of the 30th International Symposium on Software Reliability Engineering (ISSRE), 128-138, 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.
Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC), 255-268, 2019.
-
DCNS: Automated Detection of Conservative Non-Sleep Defects in the Linux Kernel
Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu.
Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 287-299, 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.
Proceedings of the 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 366-376, 2019.
-
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules
Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu.
Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC), 587-600, 2018.
-
AutoPA: Automatically Generating Active Driver from Original Passive Driver Code
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu.
Proceedings of the 2018 International Symposium on Code Generation and Optimization (CGO), 288-299, 2018.
-
Automated and Reliable Resource Release in Device Drivers Based on Dynamic Analysis
Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu.
Journal of Systems and Software, vol. 137, 463-479, 2018.
-
Testing Error Handling Code in Device Drivers using Characteristic Fault Injection
Jia-Ju Bai, Yu-Ping Wang, Jie Yin, Shi-Min Hu.
Proceedings of the 2016 USENIX Annual Technical Conference (USENIX ATC), 635-647, 2016.
-
Mining and Checking Paired Functions in Device Drivers using Characteristic Fault Injection
Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu.
Information and Software Technology, vol. 73, 122-133, 2016.
-
PF-Miner: A Practical Paired Functions Mining Method for Android Kernel in Error Paths
Hu-Qiu Liu, Yu-Ping Wang, Jia-Ju Bai, Shi-Min Hu.
Journal of Systems and Software, vol. 121, 234-246, 2016.
-
Automated Resource Release in Device Drivers
Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu.
Proceedings of the 26th International Symposium on Software Reliability Engineering (ISSRE), 172-182, 2015.
-
Complete Runtime Tracing for Device Drivers Based on LLVM
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu.
Proceedings of the 39th International Computer Software and Applications Conference (COMPSAC), 200-209, 2015.
-
Pairminer: Mining for Paired Functions in Kernel Extensions
Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Zhe Bian, Shi-Min Hu.
Proceedings of the 2015 International Symposium on Performance Analysis of Systems and Software (ISPASS), 93-101, 2015.
-
A Pointer Fault Isolation Method for Kernel Modules (In Chinese)
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu.
Journal of Chinese Computer Systems, 2015.
-
Runtime Checking for Paired Functions in Device Drivers
Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu.
Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC), 407-414, 2014.
-
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.
Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC), 415-422, 2014.
Professional Services
- Program Committees:
2025: EuroSys 2025
2024: EuroSys 2024, ASPLOS 2024, DSN 2024
2023: EuroSys 2023, ASPLOS 2023, USENIX ATC 2023
2022: EuroSys 2022, ICICS 2022
2021: IEEE TPDS 2021 (Special Issue), ICICS 2021
Before 2021: EuroSys 2020 (Shadow PC), PLOS 2019
Awards and Honors
-
2024 ACM ChinaSys Rising Star Award(ACM ChinaSys新星奖).
-
Best speaker in 2019 China Linux Kernel Development Conference (CLK 2019) (中国Linux内核开发者大会最佳演讲者)
-
2018 Outstanding PhD Thesis in Tsinghua University(清华大学优秀博士毕业论文).
-
2016 National Scholarship for Doctoral Students in Tsinghua University(博士生国家奖学金,清华大学).
-
2015 National Scholarship for Master Students in Tsinghua University(研究生国家奖学金,清华大学).
-
2013 Outstanding Bachelor Graduate in Xidian University(西安电子科技大学优秀本科毕业生).