姓名：白家驹

职称：助理研究员

邮箱：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.