Biblio

Export 2 results:
Filters: Author is Tuo Li  [Clear All Filters]
2022
Bai J-J, Li T, Hu S-M.  2022.  DLOS: Effective Static Detection of Deadlocks in OS Kernels. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :367--382.
2021
Bai J-J, Li T, Lu K, Hu S-M.  2021.  Static Detection of Unsafe DMA Accesses in Device Drivers. 30th USENIX Security Symposium (USENIX Security 21). :1629--1645.