Weihao Qu

11 papers A* 1B 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Multimodal Injury Risk Prediction in Tennis.
ICHMS
Francisco Erramuspe Álvarez, Shobharani Polasa, Weihao Qu, Jay Wang, Ling Zheng
2025 — conf
Time-Aware Tranformer-Based Prediction Model for AECOPD.
MedInfo
Weihao Qu, Ling Zheng, Dongyang Wang, Jiacun Wang, Haowen Pan
2024 — conf
Penetration Testing Operating Systems: Exploiting Vulnerabilities.
CCCI
Evan Gardner, Gurmeet Singh, Weihao Qu
2024 J jnl
Program Analysis for Adaptive Data Analysis.
Proc. ACM Program. Lang.
Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman
2022 B conf
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.
ITP
Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu
2021 J jnl
Relational cost analysis in a functional-imperative setting.
J. Funct. Program.
Weihao Qu, Marco Gaboardi, Deepak Garg
2019 A* conf
Bidirectional type checking for relational properties.
PLDI
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2019 J jnl
Relational cost analysis for functional-imperative programs.
Proc. ACM Program. Lang.
Weihao Qu, Marco Gaboardi, Deepak Garg
2018 J jnl
Bidirectional Type Checking for Relational Properties.
CoRR
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2018 J jnl
Relational Cost Analysis for Functional-Imperative Programs.
CoRR
Weihao Qu, Marco Gaboardi, Deepak Garg
2016 B conf
A Real-Time Low-Complexity Fall Detection System on the Smartphone.
CHASE
Weihao Qu, Feng Lin, Wenyao Xu