conf.researchr.org / Shengyi Wang
Registered user since Mon 15 Jan 2024
Name:Shengyi Wang
Country:United States
Affiliation:Princeton University
Personal website: https://www.cs.princeton.edu/~shengyiw/
Research interests:Formal Verification, Programming Language
Contributions
2024
2019
SPLASH
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track