白家驹

2021.04.22 18:42

职称 助理研究员 电话
邮箱 baijiaju@tsinghua.edu.cn

姓名:白家驹

职称:助理研究员

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

上一篇:王鑫

关闭