Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongyi Ling
conf.researchr.org general profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 10 Aug 2026
Name:
Hongyi Ling
Country:
Switzerland
Affiliation:
ETH Zurich
Contributions
2026
SPLASH
Author of Sound State Encodings in Translational Separation Logic Verifiers within the OOPSLA-track
Share
x
Thu 8 Oct 13:46