Weihao Qu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITP | Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. | Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu |
| 2019 | PLDI | Bidirectional type checking for relational properties. | Ezgi iek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg |
| 2016 | CHASE | A Real-Time Low-Complexity Fall Detection System on the Smartphone. | Weihao Qu, Feng Lin, Wenyao Xu |