Monarch: A Fuzzing Framework for Distributed File Systems
Tao Lyu, Liyi Zhang, Zhiyao Feng, Yueyang Pan, Yujie Ren, Meng Xu, Mathias Payer, and Sanidhya Kashyap.
In
Proceedings of the 2024 USENIX Annual Technical Conference (ATC 2024).
Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
Diyu Zhou, Vojtech Aschenbrenner, Tao Lyu, Jian Zhang, Sudarsun Kannan, and Sanidhya Kashyap.
In
Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP 2023).
RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection
Tao Lv, Ruishi Li, Yi Yang, Kai Chen, Xiaojing Liao, XiaoFeng Wang, Peiwei Hu and Luyi Xing.
In
Proceedings of the 27th ACM Conference on Computer and Communications Security (CCS 2020).
FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-box Fuzzing through Deep Learning
Peiyuan Zong, Tao Lv, Dawei Wang, Zizhuang Deng, Ruigang Liang and Kai Chen.
In
Proceedings of the 29th USENIX Security Symposium (USENIX Security 2020).
Experiences
Research intern @Microsoft Research, Redmond
June 2024 - September 2024