职    称

副教授（博士生导师）

学    历

博士

电    话

办 公 室

第一馆407南

系    别

安全工程系

职    务

副系主任

电子信箱

baijiaju@buaa.edu.cn

传    真

个人主页

https://baijiaju.github.io/

u 学习经历

l 2009年—2013年，西安电子科技大学计算机学院，工学学士

l 2013年—2018年，清华大学计算机系，工学博士（导师：胡事民院士）

u 工作经历

l 2018年—2021年，清华大学计算机系，博士后

l 2021年—2023年，清华大学计算机系，助理研究员

l 2023年—至今，北京航空航天大学网络空间安全学院，副教授

u 研究领域

系统软件安全、程序分析、操作系统

u 荣誉及奖励

l 2024年ACM ChinaSys新星奖

l 2024年CCF-腾讯犀牛鸟基金优秀项目奖

l 2024年openKylin开源星辰奖

l 2018年清华大学优秀博士毕业论文奖

l 入选2024年中央网信办XX人才支持计划

u 科研成果

从2013年起一直从事系统软件安全研究，主要利用程序分析技术检测操作系统、数据库系统、网络协议栈等系统软件的缺陷和漏洞，并担任北航开源系统软件安全实验室主任。以第一/通讯作者身份在USENIX ATC、ACM ASPLOS、USENIX Security等系统和安全领域的重要会议期刊上发表30余篇论文，包括CCF-A类论文17篇，CCF-B类论文8篇。主持国家自然科学基金青年科学基金项目、军科委XXX计划项目、北京市自然科学基金面上项目、浙江省自然科学基金探索项目、中央网信办支撑项目等。主导研制的自动化程序分析在Linux、FFmpeg、MySQL等主流开源系统软件中发现超过五千个真实缺陷和漏洞，并应用于华为鸿蒙/欧拉操作系统、腾讯TDSQL数据库系统、蚂蚁NanoVisor安全容器、航天嵌入式控制软件等关键国产系统软件的安全保障，获得5项企业应用证明和1封国家互联网应急中心感谢信。

十篇代表性CCF-A类论文：

1. Jia-Ju Bai. BESA: Extending Bugs Triggered by Runtime Testing via Static Analysis. In EuroSys 2025. (唯一作者)

2. Yonghao Zou, Jia-Ju Bai*, Zu-Ming Jiang, Ming Zhao, Diyu Zhou. Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning. In NDSS 2025. (通讯作者)

3. Jia-Ju Bai, Hao-Xuan Song, Shi-Min Hu. Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System. In ASPLOS 2024. (第一作者)

4. Jia-Ju Bai, Zi-Xuan Fu, Kai-Tao Xie, Zu-Ming Jiang. Testing Error Handling Code with Software Fault Injection and Error-Coverage-Guided Fuzzing. In IEEE TDSC. (第一作者)

5. Zu-Ming Jiang, Jia-Ju Bai*, Zhendong Su. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. In USENIX Security 2023. (通讯作者)

6. Jia-Ju Bai, Tuo Li, Shi-Min Hu. DLOS: Effective Static Detection of Deadlocks in OS Kernels. In USENIX ATC 2022. (第一作者)

7. Zu-Ming Jiang, Jia-Ju Bai*, Kangjie Lu, Shi-Min Hu. Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. In NDSS 2022. (通讯作者)

8. Tuo Li, Jia-Ju Bai*, Yulei Sui, Shi-Min Hu. Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs. In ASPLOS 2022. (通讯作者)

9. 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 TSE 2022. (第一作者)

10. Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu. Static Detection of Unsafe DMA Accesses in Device Drivers. In USENIX Security 2021. (第一作者)

实验室长期招收系统软件安全、操作系统、程序分析方向的博士/硕士研究生、实习本科生、博士后等，欢迎有意向的同学可直接联系我。

News：实验室尚有2025年入学的考核制博士生/考研硕士生名额、2026年入学的直博生/保研硕士生名额，欢迎投送简历到我的邮箱：baijiaju@buaa.edu.cn！

u 学术与社会服务

l 中国计算机学会高级会员

l 中国计算机学会系统软件专委会执行委员

l 中国电子商会软件测试标准化专家组成员

l ASPLOS/EuroSys/USENIX ATC/DSN等国际会议程序委员

l ACM TOCS/IEEE TSE/SCP/JCST/软件学报/电子学报审稿人

u 科研项目

l 国家自然科学基金青年科学基金项目：操作系统的并发缺陷检测技术研究

l 军科委XXX计划项目：****分析技术研究

l 北京市自然科学基金面上项目：别名关系感知的操作系统缺陷检测技术研究

l 浙江省自然科学基金探索项目：网络设备的黑盒安全测试技术研究

l CCF-腾讯犀牛鸟基金项目：状态信息指导的数据库系统测试技术研究

l CCF-华为胡杨林基金项目：基于模拟数据包生成的协议栈测试技术研究

l 多个企事业单位（华为、腾讯、快手、航天502所等）委托开发项目