We stand with Ukraine  

Xinyi Wan

Orcid: 0009-0004-3543-499X

Affiliations:
  • Ant Group, Beijing, China
  • Shanghai Jiao Tong University, School of Electronic Information and Electrical Engineering, Shanghai, China


According to our database1, Xinyi Wan authored at least 4 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code.
[BibTeX]
[DOI]
Yuwei Liu
,
Xinyi Wan
,
Yanhao Wang
,
Minghua Wang
,
Lin Huang
,
Tao Wei
CoRR, May, 2026

2025
CortenMM: Efficient Memory Management with Strong Correctness Guarantees.
[BibTeX]
[DOI]
Junyang Zhang
,
Xiangcan Xu
,
Yonghao Zou
,
Zhe Tang
,
Xinyi Wan
,
Kang Hu
,
Siyuan Wang
,
Wenbo Xu
,
Di Wang
,
Hao Chen
,
Lin Huang
,
Shoumeng Yan
,
Yuval Tamir
,
Yingwei Luo
,
Xiaolin Wang
,
Huashan Yu
,
Zhenlin Wang
,
Hongliang Tian
,
Diyu Zhou
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

2023
Coq Formalization of ZFC Set Theory for Teaching Scenarios.
[BibTeX]
[DOI]
Xinyi Wan
,
Ke Xu
,
Qinxiang Cao
Int. J. Softw. Informatics, 2023

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.
[BibTeX]
[DOI]
Xinyi Wan
,
Qinxiang Cao
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023


  Loading...