多年从事系统软件安全性和可靠性研究，主要利用程序分析技术检测操作系统、数据库系统、网络协议栈等系统软件的缺陷和漏洞。以第一作者或通讯作者身份在USENIX ATC、ACM ASPLOS、USENIX Security等系统和安全领域的重要会议期刊上发表20余篇论文，包括CCF-A类论文13篇，CCF-B类论文8篇。主持国家自然科学基金青年科学基金项目、中国博士后基金特别资助项目以及多项企业合作项目等。研制的自动化分析工具在Linux、OpenEuler、FFmpeg、MySQL等主流开源系统软件中发现数千个真实缺陷，相关研究成果应用于华为、腾讯、蚂蚁金服等多家知名企业。 十篇代表性论文（CCF-A）： 1. Jia-Ju Bai, Tuo Li, Shi-Min Hu. DLOS: Effective Static Detection of Deadlocks in OS Kernels. In USENIX ATC 2022. 2. Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu. Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers. In IEEE Transactions on Software Engineering (TSE), 2022. 3. Tuo Li, Jia-Ju Bai*, Yulei Sui, Shi-Min Hu. Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs. In ASPLOS 2022. 4. Zu-Ming Jiang, Jia-Ju Bai*, Kangjie Lu, Shi-Min Hu. Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. In NDSS 2022. 5. Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu. Static Detection of Unsafe DMA Accesses in Device Drivers. In USENIX Security 2021. 6. Yong-Hao Zou, Jia-Ju Bai*, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu. TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. In USENIX ATC 2021. 7. Jia-Ju Bai, Julia Lawall, Shi-Min Hu. Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kernel. In ACM Transactions on Computer Systems (TOCS), 2020. 8. Zu-Ming Jiang, Jia-Ju Bai*, Kangjie Lu, Shi-Min Hu. Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. In USENIX Security 2020. 9. Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu. Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. In USENIX ATC 2019. 10. Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu. DCNS: Automated Detection of Conservative Non-Sleep Defects in the Linux Kernel. In ASPLOS 2019.
欢迎有志于从事系统软件安全性和可靠性研究的同学参与研究工作，研究团队长期招收研究生、高年级本科生（实习）、博士后等，有意向的同学可直接联系我。 |
