A Real-Time Low-Complexity Fall Detection System on the Smartphone. - Weihao Qu; Feng Lin 004; Wenyao Xu (CHASE, 2016)

Bidirectional type checking for relational properties. - Ezgi Çiçek; Weihao Qu; Gilles Barthe; Marco Gaboardi; Deepak Garg 001 (PLDI, 2019)

Relational cost analysis for functional-imperative programs. - Weihao Qu; Marco Gaboardi; Deepak Garg 001 (Proc. ACM Program. Lang., 2019)

Relational cost analysis in a functional-imperative setting. - Weihao Qu; Marco Gaboardi; Deepak Garg 001 (J. Funct. Program., 2021)

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. - Alley Stoughton; Carol Chen; Marco Gaboardi; Weihao Qu (ITP, 2022)

Penetration Testing Operating Systems: Exploiting Vulnerabilities. - Evan Gardner; Gurmeet Singh; Weihao Qu (CCCI, 2024)

Program Analysis for Adaptive Data Analysis. - Jiawen Liu; Weihao Qu; Marco Gaboardi; Deepak Garg 001; Jonathan R. Ullman (Proc. ACM Program. Lang., 2024)