We stand with Ukraine  

Tuo Li

Orcid: 0000-0002-2955-6788

Affiliations:
  • Tsinghua University, Department of Computer Science and Technology, Beijing, China


According to our database1, Tuo Li authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis.
[BibTeX]
[DOI]
Tuo Li
,
Jia-Ju Bai
,
Yulei Sui
,
Shi-Min Hu
ACM Trans. Comput. Syst., 2024

LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules.
[BibTeX]
[DOI]
Tuo Li
,
Jia-Ju Bai
,
Gui-Dong Han
,
Shi-Min Hu
Proceedings of the 33rd USENIX Security Symposium, 2024

2022
DLOS: Effective Static Detection of Deadlocks in OS Kernels.
[BibTeX]
[DOI]
Jia-Ju Bai
,
Tuo Li
,
Shi-Min Hu
Proceedings of the 2022 USENIX Annual Technical Conference, 2022

Path-sensitive and alias-aware typestate analysis for detecting OS bugs.
[BibTeX]
[DOI]
Tuo Li
,
Jia-Ju Bai
,
Yulei Sui
,
Shi-Min Hu
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021
Static Detection of Unsafe DMA Accesses in Device Drivers.
[BibTeX]
[DOI]
Jia-Ju Bai
,
Tuo Li
,
Kangjie Lu
,
Shi-Min Hu
Proceedings of the 30th USENIX Security Symposium, 2021


  Loading...