Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Travis Hance
conf.researchr.org general profile
PLDI 2026 profile
SPLASH 2027 profile
Not registered as user
Name:
Travis Hance
Country:
Germany
Affiliation:
MPI-SWS
Contributions
2027
SPLASH
Committee Member in OOPSLA Review Committee within the OOPSLA-track
2026
PLDI
Author of VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System within the PLDI Research Papers-track
Share
x
Sun 18 Oct 18:54