From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust

Wei Li, Wenyao Chen, Jingling Xue
January, 2026
Cite
Type
Conference paper
Publication
2026 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'26)
Wenyao Chen
Wenyao Chen
Ph.D student @ CSE

hi there