Weihao Qu

According to our database, Weihao Qu authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.

Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Relational cost analysis in a functional-imperative setting.

Weihao Qu, Marco Gaboardi, Deepak Garg

J. Funct. Program., 2021

2019

Relational cost analysis for functional-imperative programs.

Weihao Qu, Marco Gaboardi, Deepak Garg

Proc. ACM Program. Lang., 2019

Bidirectional type checking for relational properties.

Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2016

A Real-Time Low-Complexity Fall Detection System on the Smartphone.

Weihao Qu, Feng Lin, Wenyao Xu

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016