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
Publications
2 items
Towards Long-Horizon Vessel Trajectory and Destination Forecasting with Reasoning Large Language Models
2026
Cited
0
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
2026
Cited
0
Co-authors
7 total
Kaustuv Chaudhuri
INRIA
Zhong Shao
Yale University
Laurent Michel
CSE, University of Connecticut
Peter Luh
Board of Trustees Distinguished Professor Emeritus, University of Connecticut
Xiangzhe Xu
Purdue University
Alwen Tiu
School of Computing, The Australian National University
Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
