Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yan Tong
conf.researchr.org general profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 29 Sep 2025
Name:
Yan Tong
Affiliation:
UC Santa Cruz
Personal website:
https://ytong24.github.io/
Contributions
2026
HATRA
Author of Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification within the HATRA 2026-track
Share
x
Tue 27 Oct 03:33
