Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bryan Tan
conf.researchr.org general profile
POPL 2022 profile
SPLASH 2022 profile
Registered user since Wed 3 Jun 2020
Name:
Bryan Tan
Country:
United States
Research interests:
Programming Language Theory, Compilers
Contributions
2022
SPLASH
Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the COVID Time Papers In Person-track
POPL
Author of SolType: Refinement Types for Arithmetic Overflow in Solidity within the POPL-track
Share
x
Sun 22 Dec 02:35