| {FuzzGuard}: Filtering out unreachable inputs in directed grey-box fuzzing through deep learning P Zong, T Lv, D Wang, Z Deng, R Liang, K Chen 29th USENIX security symposium (USENIX security 20), 2255-2269, 2020 | 148 | 2020 |
| Rtfm! automatic assumption discovery and verification derivation from library document for api misuse detection T Lv, R Li, Y Yang, K Chen, X Liao, XF Wang, P Hu, L Xing Proceedings of the 2020 ACM SIGSAC conference on computer and communications …, 2020 | 27 | 2020 |
| Enabling high-performance and secure userspace nvm file systems with the trio architecture D Zhou, V Aschenbrenner, T Lyu, J Zhang, S Kannan, S Kashyap Proceedings of the 29th Symposium on Operating Systems Principles, 150-165, 2023 | 7 | 2023 |
| Monarch: A Fuzzing Framework for Distributed File Systems T Lyu, L Zhang, Z Feng, Y Pan, Y Ren, M Xu, M Payer, S Kashyap 2024 USENIX Annual Technical Conference (USENIX ATC 24), 529-543, 2024 | | 2024 |
