| 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 | 23 | 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 | 2 | 2023 |
