Jia-Ju Bai

According to our database, Jia-Ju Bai authored at least 28 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System.

Jia-Ju Bai, Haoxuan Song, Shimin Hu

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

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 32nd USENIX Security Symposium, 2023

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 Trans. Software Eng., 2022

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, 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 Annual Network and Distributed System Security Symposium, 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, 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 ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

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, 2021

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, 2021

Effective Crash Recovery of Robot Software Programs in ROS.

Yong-Hao Zou, Jia-Ju Bai

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

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, 2020

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 IEEE International Conference on Software Analysis, 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, 2019

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 IEEE International Symposium on Software Reliability Engineering, 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 Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel.

Jia-Ju Bai, Julia Lawall, Shi-Min Hu

ACM Trans. Comput. Syst., 2018

Automated and reliable resource release in device drivers based on dynamic analysis.

Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu

J. Syst. Softw., 2018

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, 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, 2018

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

J. Syst. Softw., 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

Inf. Softw. Technol., 2016

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, 2016

RandMap: Wear Level for Phase Change Memory Based on Layer-Based Random Mapping.

Wei Liu, Jia-Ju Bai, Yu-Ping Wang

Proceedings of the 13th International Conference on Embedded Software and Systems, 2016

2015

Automated resource release in device drivers.

Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 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 IEEE International Symposium on Performance Analysis of Systems and Software, 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 IEEE Annual Computer Software and Applications Conference, 2015

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, 2014

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, 2014