Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tianhan Lu
conf.researchr.org general profile
POPL 2019 profile
SPLASH 2021 profile
Registered user since Fri 3 Jun 2016
Name:
Tianhan Lu
Affiliation:
University of Colorado Boulder
Contributions
2021
Static Analysis Symposium
Author of Selectively-Amortized Resource Bounding within the SAS-track
2019
VMCAI
Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
Share
x
Thu 21 Nov 13:07