Welcome to my personal website
Hi, I’m Yueyang Feng (冯跃洋), a PhD student in Computer Science at the National University of Singapore, advised by Prof. Ilya Sergey. I received my Bachelor’s degree from the ACM Honors Class, Shanghai Jiao Tong University (SJTU), where I had the privilege of working with Prof. Qinxiang Cao. I also spent six months as a research intern at Yale University, supervised by Prof. Zhong Shao.
My research interests lie in Program Verification, Programming Languages, and Software Engineering. I recognize that program verification is currently costly and difficult to adopt in industry, and through my research I aim to make it more accessible, scalable, and practical for real-world applications.
You can find my publications here .
News
Our paper Certified Program Synthesis with a Multi-Modal Verifier has been accepted to ASE 2026 and is to appear.
Our paper Velvet: A Foundational Multi-Modal Verifier for Imperative Programs in Lean received a Distinguished Paper Award at CAV 2026.
Our paper QCP: A Practical Separation Logic-Based C Program Verification Tool appeared at TASE 2026.
Our paper A Complete Program Logic for Compositional Linearizability received a Distinguished Paper Award at ECOOP 2026.
Our paper VEP: A Two-stage Verification Toolchain for Full eBPF Programmability was accepted to NSDI 2025.