About Me

I am now an Associate Professor in Beihang University from 2023.2.
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

• 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), 2024, accepted with minor revision.
  
  
• 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), 2024, to appear.
  
  
• 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), 2023, to appear.
  
  
• 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

• Best speaker in 2019 China Linux Kernel Development Conference (CLK 2019) (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（西安电子科技大学优秀本科毕业生）.