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