近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
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, 2023, to appear.
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.
京公网安备 11010802027423号