姓名:白家驹
职称:助理研究员
邮箱:baijiaju@tsinghua.edu.cn
个人主页:https://oslab.cs.tsinghua.edu.cn/people/~jiaju/
教育背景
工学学士(计算机科学与技术),西安电子科技大学,2013.
工学博士(计算机科学与技术),清华大学,2018.
研究领域
操作系统、程序分析、软件可靠性
研究概况
主要利用程序分析技术(包括静态分析和动态分析)提升系统软件可靠性和安全性,并提出了一系列创新有效的自动化程序分析方法。在静态分析方面,提出了基于关联的函数指针分析算法、基于路径的别名分析算法、面向驱动程序的并发代码分析方法等;在动态分析方面,提出了基于异常注入的模糊测试方法、面向并发程序的模糊测试方法、驱动程序的自动化资源释放方法等。相关成果发表在ACM TOCS、USENIX ATC、USENIX Security、ACM ASPLOS等操作系统和系统安全领域的顶级会议和期刊上,并在Linux、FreeBSD、Zephyr等常见操作系统中发现了大量真实缺陷。
学术成果
[1] Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu. Static Detection of Unsafe DMA Accesses in Device Drivers. In USENIX Security 2021.
[2] 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.
[3] 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.
[4] 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.
[5] 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.
[6] Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu. DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. In USENIX ATC 2018.
[7] Jia-Ju Bai, Yu-Ping Wang, Jie Yin, Shi-Min Hu. Testing Error Handling Code in Device Drivers using Characteristic Fault Injection. In USENIX ATC 2016.