default search action
Jia-Ju Bai
Person information
Other persons with a similar name
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]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. IEEE Trans. Dependable Secur. Comput. 21(4): 1724-1739 (2024) - [c24]Jia-Ju Bai, Haoxuan Song, Shimin Hu:
Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System. ASPLOS (2) 2024: 763-778 - [c23]Tuo Li, Jia-Ju Bai, Gui-Dong Han, Shi-Min Hu:
LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules. USENIX Security Symposium 2024 - 2023
- [c22]Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su:
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. USENIX Security Symposium 2023: 4949-4965 - 2022
- [j5]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. IEEE Trans. Software Eng. 48(12): 5120-5135 (2022) - [c21]Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu:
Path-sensitive and alias-aware typestate analysis for detecting OS bugs. ASPLOS 2022: 859-872 - [c20]Kai-Tao Xie, Jia-Ju Bai, Yong-Hao Zou, Yu-Ping Wang:
ROZZ: Property-based Fuzzing for Robotic Programs in ROS. ICRA 2022: 6786-6792 - [c19]Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu:
Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. NDSS 2022 - [c18]Jia-Ju Bai, Tuo Li, Shi-Min Hu:
DLOS: Effective Static Detection of Deadlocks in OS Kernels. USENIX ATC 2022: 367-382 - 2021
- [c17]Yong-Hao Zou, Jia-Ju Bai:
Effective Crash Recovery of Robot Software Programs in ROS. ICRA 2021: 9498-9504 - [c16]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. USENIX ATC 2021: 489-502 - [c15]Jia-Ju Bai, Tuo Li, Kangjie Lu, Shi-Min Hu:
Static Detection of Unsafe DMA Accesses in Device Drivers. USENIX Security Symposium 2021: 1629-1645 - 2020
- [c14]Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu:
Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. USENIX Security Symposium 2020: 2595-2612
2010 – 2019
- 2019
- [c13]Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu:
DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel. ASPLOS 2019: 287-299 - [c12]Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu:
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. ISSRE 2019: 128-138 - [c11]Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu:
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. USENIX ATC 2019: 255-268 - [c10]Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu:
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. SANER 2019: 366-376 - 2018
- [j4]Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu:
Automated and reliable resource release in device drivers based on dynamic analysis. J. Syst. Softw. 137: 463-479 (2018) - [j3]Jia-Ju Bai, Julia Lawall, Shi-Min Hu:
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel. ACM Trans. Comput. Syst. 36(4): 10:1-10:30 (2018) - [c9]Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu:
AutoPA: automatically generating active driver from original passive driver code. CGO 2018: 288-299 - [c8]Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu:
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. USENIX ATC 2018: 587-600 - 2016
- [j2]Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu:
Mining and checking paired functions in device drivers using characteristic fault injection. Inf. Softw. Technol. 73: 122-133 (2016) - [j1]Hu-Qiu Liu, Yu-Ping Wang, Jia-Ju Bai, Shi-Min Hu:
PF-Miner: A practical paired functions mining method for Android kernel in error paths. J. Syst. Softw. 121: 234-246 (2016) - [c7]Wei Liu, Jia-Ju Bai, Yu-Ping Wang:
RandMap: Wear Level for Phase Change Memory Based on Layer-Based Random Mapping. ICESS 2016: 80-86 - [c6]Jia-Ju Bai, Yu-Ping Wang, Jie Yin, Shi-Min Hu:
Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection. USENIX ATC 2016: 635-647 - 2015
- [c5]Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu:
Complete Runtime Tracing for Device Drivers Based on LLVM. COMPSAC 2015: 200-209 - [c4]Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Zhe Bian, Shi-Min Hu:
Pairminer: mining for paired functions in Kernel extensions. ISPASS 2015: 93-101 - [c3]Jia-Ju Bai, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu:
Automated resource release in device drivers. ISSRE 2015: 172-182 - 2014
- [c2]Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu:
Runtime Checking for Paired Functions in Device Drivers. APSEC (1) 2014: 407-414 - [c1]Hu-Qiu Liu, Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu:
BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling. APSEC (1) 2014: 415-422
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint