Sign in
Weihao Qu
ORCID
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 7
Top Topics
Relational Data
Type Checking
Infrared Video
Top Venues
CoRR
Proc. ACM Program. Lang.
ITP
J. Funct. Program.
</>
Publications
</>
Alley Stoughton
,
Carol Chen
,
Marco Gaboardi
,
Weihao Qu
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.
ITP
(2022)
Weihao Qu
,
Marco Gaboardi
,
Deepak Garg
Relational cost analysis in a functional-imperative setting.
J. Funct. Program.
31 (2021)
Weihao Qu
,
Marco Gaboardi
,
Deepak Garg
Relational cost analysis for functional-imperative programs.
Proc. ACM Program. Lang.
3 (ICFP) (2019)
Ezgi Çiçek
,
Weihao Qu
,
Gilles Barthe
,
Marco Gaboardi
,
Deepak Garg
Bidirectional type checking for relational properties.
PLDI
(2019)
Ezgi Çiçek
,
Weihao Qu
,
Gilles Barthe
,
Marco Gaboardi
,
Deepak Garg
Bidirectional Type Checking for Relational Properties.
CoRR
(2018)
Weihao Qu
,
Marco Gaboardi
,
Deepak Garg
Relational Cost Analysis for Functional-Imperative Programs.
CoRR
(2018)
Weihao Qu
,
Feng Lin
,
Wenyao Xu
A Real-Time Low-Complexity Fall Detection System on the Smartphone.
CHASE
(2016)