白家驹 - 清华大学 - 计算机科学与技术系

个人简介

教育背景工学学士（计算机科学与技术），西安电子科技大学，2013 工学博士（计算机科学与技术），清华大学，2018 研究概况主要利用程序分析技术（包括静态分析和动态分析）提升系统软件可靠性和安全性，并提出了一系列创新有效的自动化程序分析方法。在静态分析方面，提出了基于关联的函数指针分析算法、基于路径的别名分析算法、面向驱动程序的并发代码分析方法等；在动态分析方面，提出了基于异常注入的模糊测试方法、面向并发程序的模糊测试方法、驱动程序的自动化资源释放方法等。相关成果发表在ACM TOCS、USENIX ATC、USENIX Security、ACM ASPLOS等操作系统和系统安全领域的顶级会议和期刊上，并在Linux、FreeBSD、Zephyr等常见操作系统中发现了大量真实缺陷

研究领域

操作系统、程序分析、软件可靠性

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu. Static Detection of Unsafe DMA Accesses in Device Drivers. In USENIX Security 2021. 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. 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. 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. 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. 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. 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.