Weihao Qu

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Relational Data

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman
Program Analysis for Adaptive Data Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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)