KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification
ISSTA, 2026 [Distinguished Artifact Award]
Minghua Wang, Yuxi Ling, Mingzhi Gao, Yuwei Liu, Lin Huang
Publications
Infinitary Relational Logic
OOPSLA, 2026
Vladimir Gladshtein, Qiyuan Zhao, Yuxi Ling, Sean Wang, Ilya Sergey
Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis
USENIX Security Symposium, 2025
Yuxi Ling, Gokul Rajiv, Kiran Gopinathan, Ilya Sergey
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions
IEEE SANER, 2024
Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong
Characterizing Cryptocurrency-themed Malicious Browser Extensions
ACM SIGMETRICS, 2023
Kailong Wang*, Yuxi Ling*, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong