Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Weihao Qu
conf.researchr.org general profile
ICFP 2019 profile
PLDI 2019 profile
POPL 2018 profile
Registered user since Tue 5 Dec 2017
Name:
Weihao Qu
Affiliation:
University at Buffalo, SUNY
Contributions
2019
ICFP
Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track
PLDI
Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
2018
POPL
Presenter of Relational Cost Analysis with State within the Student Research Competition-track
Share
x
Tue 5 Nov 14:26