Weihao Qu

I work on the design and implementation of programming language related methods on studying program properties, such as type systems, semantics, logic, program analysis and formal verification using proof assistants.

I am now a tenure-track assistant professor in the computer science and software engineering department at Monmouth University. I started my Ph.D. studies at Buffalo, University at Buffalo in 2016 before my continuous study at Boston University in 2019 under the supervision of Marco Gaboardi. I officially received my Ph.D. degree in 2022 in Boston before my work as a research scientist at Meta on program analysis. I came to Buffalo for my master degree in computer science and had some research experience on fall detection under the supervision of Wenyao Xu. I finished my undergraduate studies in Tianjin University, Tianjin, China.

Publication

• Program Analysis for Adaptive Data Analysis. Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan Ullman. Programming Language Design and Implementation (PLDI 2024)
• Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu. The International Conference on Interactive Theorem Proving (ITP 2022) [pdf ]
• Relational cost analysis in a functional-imperative setting. Weihao Qu, Marco Gaboardi, Deepak Garg. Journal of Functional Programming 31 (JFP 2021) [pdf]
• Relational cost analysis for functional-imperative programs. Weihao Qu, Marco Gaboardi, Deepak Garg. ACM SIGPLAN International Conference on Functional Programming (ICFP 2019) [pdf|appendix| software]
• Bidirectional Type Checking for Relational Properties. Ezgi Cicek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg. Programming Language Design and Implementation (PLDI 2019) [pdf]
• A real-time low-complexity fall detection system on the smartphone. Weihao Qu, Feng Lin, Wenyao Xu. IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2016) [pdf]
• Evaluation of a low-complexity fall detection algorithm on wearable sensor towards falls and fall-alike activities. Weihao Qu, Feng Lin, Aosen Wang, Wenyao Xu. IEEE Signal Processing in Medicine and Biology Symposium (SPMB 2015) [pdf]