Get started
Author

Xiao Yi

Observed institution: Chinese University of Hong Kong
ORCID: 0000-0002-4792-4433
Observed ORCID: 0000-0002-4792-4433
OpenAlex ID: A5128778357
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
2026 · Zhongyi Wang, Tengjie Lin, et al. · Proceedings of the ACM on Programming Languages · 3
Works count: 1
Citation count: 3
H-index: 1
I10-index:
Year
Topic
Type