共 50 条
- [23] DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers PROCEEDINGS OF THE 26TH USENIX SECURITY SYMPOSIUM (USENIX SECURITY '17), 2017, : 1007 - 1024
- [24] LockDoc: Trace-Based Analysis of Locking in the Linux Kernel PROCEEDINGS OF THE FOURTEENTH EUROSYS CONFERENCE 2019 (EUROSYS '19), 2019,
- [25] Analysis of Linux kernel's real-time performance 2018 INTERNATIONAL CONFERENCE ON SMART GRID AND ELECTRICAL AUTOMATION (ICSGEA), 2018, : 191 - 194
- [26] Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 1069 - 1084
- [27] Research on Linux Kernel Version Diversity for Precise Memory Analysis DATA SCIENCE, PT 1, 2017, 727 : 373 - 385
- [28] Reducing interrupt latency at Linux kernel level for real-time network Advances in Artificial Reality and Tele-Existence, Proceedings, 2006, 4282 : 643 - 650
- [29] Takeaways of Implementing a Native Rust UDP Tunneling Network Driver in the Linux Kernel PROCEEDINGS OF THE 12TH WORKSHOP ON PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, PLOS 2023, 2023, : 18 - 25