必赢bwin(中国)线路检测中心-3003no1.com

师资力量

副高(副教授等)

当前位置: 首页 -> 师资力量 -> 全体教工 -> 正文

白家驹

发布日期:2023-03-14

白家驹  Jia-Ju Bai

副教授

博士


办公室

第一馆514室

必赢bwin线路检测中心


电子信箱

baijiaju@buaa.edu.cn


个人主页

https://baijiaju.github.io/

学习经历

 2009年至2013年,西安电子科技大学,计算机学院,工学学士

 2013年至2018年,清华大学,计算机系,工学博士

 工作经历

 2018年至2021年,清华大学,计算机系,博士后

 2021年至2023年,清华大学,计算机系,助理研究员

 2023年至今,北京航空航天大学,必赢bwin线路检测中心,副教授

 研究领域

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

 荣誉奖励

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

   2019年中国Linux内核开发者大会最佳演讲者奖

 科研成果

多年从事系统软件安全性和可靠性研究,主要利用程序分析技术检测操作系统、数据库系统、网络协议栈等系统软件的缺陷和漏洞。以第一作者或通讯作者身份在USENIX ATC、ACM ASPLOS、USENIX Security等系统和安全领域的重要会议期刊上发表20余篇论文,包括CCF-A类论文13篇,CCF-B类论文8篇。主持国家自然科学基金青年科学基金项目、中国博士后基金特别资助项目以及多项企业合作项目等。研制的自动化分析工具在Linux、OpenEuler、FFmpeg、MySQL等主流开源系统软件中发现数千个真实缺陷,相关研究成果应用于华为、腾讯、蚂蚁金服等多家知名企业。

十篇代表性论文(CCF-A):

1. Jia-Ju Bai, Tuo Li, Shi-Min Hu. DLOS: Effective Static Detection of Deadlocks in OS Kernels. In USENIX ATC 2022.

2. 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 Transactions on Software Engineering (TSE), 2022.

3. Tuo Li, Jia-Ju Bai*, Yulei Sui, Shi-Min Hu. Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs. In ASPLOS 2022.

4. Zu-Ming Jiang, Jia-Ju Bai*, Kangjie Lu, Shi-Min Hu. Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. In NDSS 2022.

5. Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu. Static Detection of Unsafe DMA Accesses in Device Drivers. In USENIX Security 2021.

6. Yong-Hao Zou, Jia-Ju Bai*, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu. TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. In USENIX ATC 2021.

7. 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.

8. 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.

9. 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.

10. 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.


欢迎有志于从事系统软件安全性和可靠性研究的同学参与研究工作,研究团队长期招收研究生、高年级本科生(实习)、博士后等,有意向的同学可直接联系我。

 学术服务

 国际会议程序委员(PC member):USENIX ATC 2023ACM ASPLOS 2023EuroSys 2022/2023ICICS 2021/2022

 国际期刊审稿人(Reviewer):ACM TOCSIEEE TSESCPSPEJCST

 中国计算机系学会(CCF)高级会员

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


上一条:刘栋

下一条:徐同阁