Major Revision at OOPSLA 2026

Jul 1, 2026·
Wenkai Xing
Wenkai Xing
,
Di Wang
,
Zhenjiang Hu
· 1 min read
Type
Publication
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
publications

More details will be added when the revision is complete.

Programming Languages Program Verification
Wenkai Xing
Authors
Wenkai Xing
Ph.D. Student in Electronic Information
I am a Ph.D. student at Peking University and a member of the Programming Languages Lab, advised by Prof. Zhenjiang Hu. My research interests include programming languages, LLM-based program verification, and simplifying agent implementation.