![Shengyi Wang](https://pldi24.sigplan.org/getProfileImage/shengyiwang/b43535e9-f631-4593-9327-c1fa1b116186/small.jpg?1720987563000)
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
PLDI 2024-profile
View general profile
View general profile