Scholar
Yuting Wang
Google Scholar ID: MsWaAjcAAAAJ
Shanghai Jiao Tong University
Proof Theory
Type Theory
Compiler Verification
Programming Languages
Verified OS Kernels
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
622
H-index
8
i10-index
7
Publications
18
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
2026
Cited
0
Resume (English only)
Co-authors
11 total
Co-author 1
Kaustuv Chaudhuri
INRIA
Zhong Shao
Yale University
Laurent Michel
CSE, University of Connecticut
Co-author 5
Peter Luh
Board of Trustees Distinguished Professor Emeritus, University of Connecticut
Co-author 7
Xiangzhe Xu
Purdue University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up
