Registered user since Thu 30 Jan 2025
Name:Shengyuan Yang
Affiliation:University of Wisconsin-Madison
Personal website: https://yangshengyuan.github.io/
Research interests:Static Analysis
Contributions
POPL 2026-profile
View general profile
View general profile