Yueyang Feng
Identifiers
No identifiers captured yet.
Papers (2)
- Certified Program Synthesis with a Multi-Modal Verifier cs.SE · 2026 · author #1
- QCP: A Practical Separation Logic-based C Program Verification Tool cs.PL · 2025 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Chengxi Yang 1 shared papers
- Dipesh Kafle 1 shared papers
- George P\^irlea 1 shared papers
- Hongyi Zhong 1 shared papers
- Ilya Sergey 1 shared papers
- Juanru Li 1 shared papers
- Kan Liu 1 shared papers
- Lihan Xie 1 shared papers
- Naijun Zhan 1 shared papers
- Peter M\"uller 1 shared papers
- Qinxiang Cao 1 shared papers
- Qiyuan Zhao 1 shared papers
- Shushu Wu 1 shared papers
- Tianchuan Lin 1 shared papers
- Vitaly Kurin 1 shared papers
- Vladimir Gladshtein 1 shared papers
- Xiaoyang Lu 1 shared papers
- Xiwei Wu 1 shared papers
- Zhenjiang Hu 1 shared papers
- Zhiyi Wang 1 shared papers