Concepedia

Jia-Ju Bai

JB

9

Publications

141

Citations

9

H-Index

2016

Active since

Affiliations

Tsinghua University(Current)

Institut national de recherche en sciences et technologies du numérique

Sorbonne Université

Jia-Ju Bai is an author at Tsinghua University specializing in computer engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSoftware TestingComputer EngineeringSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringOperating Systems

Publications per year

2016–2022

9

Publications

9

Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection

Zuming Jiang, Jia-Ju Bai, Kangjie Lu et al. · 2022 · 29 citations · Full text

Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers

Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen et al. · USENIX Annual Technical Conference · 2019 · 23 citations

Engineering, Computer Architecture, Software Engineering +16

Testing error handling code in device drivers using characteristic fault injection

Jia-Ju Bai, Yu-Ping Wang, Jie Yin et al. · USENIX Annual Technical Conference · 2016 · 15 citations

Engineering, Mem Testing, Verification +22

Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection

Zu-Ming Jiang, Jia-Ju Bai, Julia L. Lawall et al. · 2019 · 14 citations · Full text

Software Fault Injection, Engineering, Software Engineering +20

TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing.

Yong-Hao Zou, Jia-Ju Bai, Feng Long et al. · 2021 · 14 citations

Rows per page

1–5 of 9