| Effective static analysis of concurrency {Use-After-Free} bugs in linux device drivers JJ Bai, J Lawall, QL Chen, SM Hu 2019 USENIX Annual Technical Conference (USENIX ATC 19), 255-268, 2019 | 75 | 2019 |
| Fuzzing Error Handling Code using {Context-Sensitive} Software Fault Injection ZM Jiang, JJ Bai, K Lu, SM Hu 29th USENIX Security Symposium (USENIX Security 20), 2595-2612, 2020 | 46 | 2020 |
| Context-sensitive and directional concurrency fuzzing for data-race detection ZM Jiang, JJ Bai, K Lu, SM Hu Network and Distributed Systems Security (NDSS) Symposium 2022, 2022 | 40 | 2022 |
| {TCP-Fuzz}: Detecting memory and semantic bugs in {TCP} stacks with fuzzing YH Zou, JJ Bai, J Zhou, J Tan, C Qin, SM Hu 2021 USENIX Annual Technical Conference (USENIX ATC 21), 489-502, 2021 | 39 | 2021 |
| Static detection of unsafe {DMA} accesses in device drivers JJ Bai, T Li, K Lu, SM Hu 30th USENIX Security Symposium (USENIX Security 21), 1629-1645, 2021 | 33 | 2021 |
| Testing error handling code in device drivers using characteristic fault injection JJ Bai, YP Wang, J Yin, SM Hu 2016 USENIX Annual Technical Conference (USENIX ATC 16), 635-647, 2016 | 30 | 2016 |
| {DynSQL}: Stateful Fuzzing for Database Management Systems with Complex and Valid {SQL} Query Generation ZM Jiang, JJ Bai, Z Su 32nd USENIX Security Symposium (USENIX Security 23), 4949-4965, 2023 | 27 | 2023 |
| Path-sensitive and alias-aware typestate analysis for detecting os bugs T Li, JJ Bai, Y Sui, SM Hu Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 23 | 2022 |
| {DSAC}: Effective Static Analysis of {Sleep-in-Atomic-Context} Bugs in Kernel Modules JJ Bai, YP Wang, J Lawall, SM Hu 2018 USENIX Annual Technical Conference (USENIX ATC 18), 587-600, 2018 | 19 | 2018 |
| Detecting data races caused by inconsistent lock protection in device drivers QL Chen, JJ Bai, ZM Jiang, J Lawall, SM Hu 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 16 | 2019 |
| Mining and checking paired functions in device drivers using characteristic fault injection JJ Bai, YP Wang, HQ Liu, SM Hu Information and Software Technology 73, 122-133, 2016 | 14 | 2016 |
| Fuzzing error handling code in device drivers based on software fault injection ZM Jiang, JJ Bai, J Lawall, SM Hu 2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019 | 13 | 2019 |
| ROZZ: property-based fuzzing for robotic programs in ROS KT Xie, JJ Bai, YH Zou, YP Wang 2022 International Conference on Robotics and Automation (ICRA), 6786-6792, 2022 | 11 | 2022 |
| Effective detection of sleep-in-atomic-context bugs in the Linux kernel JJ Bai, J Lawall, SM Hu ACM Transactions on Computer Systems (TOCS) 36 (4), 1-30, 2020 | 11 | 2020 |
| {DLOS}: Effective static detection of deadlocks in {OS} kernels JJ Bai, T Li, SM Hu 2022 USENIX Annual Technical Conference (USENIX ATC 22), 367-382, 2022 | 10 | 2022 |
| DCNS: Automated detection of conservative non-sleep defects in the Linux kernel JJ Bai, J Lawall, W Tan, SM Hu Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019 | 9 | 2019 |
| PF-Miner: A practical paired functions mining method for Android kernel in error paths HQ Liu, YP Wang, JJ Bai, SM Hu Journal of Systems and Software 121, 234-246, 2016 | 9 | 2016 |
| Runtime checking for paired functions in device drivers JJ Bai, HQ Liu, YP Wang, SM Hu 2014 21st Asia-Pacific Software Engineering Conference 1, 407-414, 2014 | 7 | 2014 |
| Pairminer: mining for paired functions in kernel extensions HQ Liu, JJ Bai, YP Wang, Z Bian, SM Hu 2015 IEEE International Symposium on Performance Analysis of Systems and …, 2015 | 6 | 2015 |
| Hybrid static-dynamic analysis of data races caused by inconsistent locking discipline in device drivers JJ Bai, QL Chen, ZM Jiang, J Lawall, SM Hu IEEE Transactions on Software Engineering 48 (12), 5120-5135, 2021 | 4 | 2021 |
