Jia-Ju Bai
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Shi-Min Hu3×
- Chenggang Qinonce
- Jianfeng Tanonce
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| DLOS: Effective Static Detection of Deadlocks in OS Kernels | USENIX ATC '22 | 2022-07-11 |
DLOS is a static analysis tool that extracts lock-order constraints via a summary-based lock-usage analysis, detects cycles using a reachability-based… | ||
| TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing | USENIX ATC '21 | 2021-07-14 |
A fuzzing framework named TCP-Fuzz is built to test TCP stacks using dependency-based mutations for packet and syscall sequences, a branch transition metric… | ||
| Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers | USENIX ATC '19 | 2019-07-10 |
Paper proposes DCUAF, a static analysis that combines local-global analysis to identify driver interface pairs that can run concurrently and then performs a… | ||
| nothing matches | ||