Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sean Wang
conf.researchr.org general profile
SPLASH/ISSTA 2026 profile
Registered user since Sun 9 Aug 2026
Name:
Sean Wang
Country:
United States
Affiliation:
Princeton University
Contributions
2026
SPLASH
Author of Infinitary Relational Logic within the OOPSLA-track
Share
x
Wed 7 Oct 22:33