Yixing Luo
Publications with FICTION
Journal Articles
Zhongyi Wang,
Tengjie Lin,
Mingshuai Chen,
Haokun Li,
Mingqi Yang,
Xiao Yi,
Shengchao Qin,
Yixing Luo,
Xiaofeng Li,
Bin Gu,
Liqiang Lu,
Jianwei Yin
(2026).
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs.
Proc. ACM Program. Lang. (OOPSLA).