Qinheping Hu -

Registered user since Thu 10 Nov 2016

Name:Qinheping Hu

Country:United States

Affiliation:Amazon Web Services

Personal website: http://pages.cs.wisc.edu/~qhu28/

Research interests:Programming Lnagugage

Contributions

2024

VMCAI

Committee Member in Program Committee within the VMCAI 2024-track

2021

POPL

Author of Semantics-Guided Synthesis within the POPL-track

2020

PLDI

Author of Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems within the PLDI Research Papers-track

2019

SPLASH

PLDI

Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

2017

PLDI

Author of Automatic Program Inversion using Symbolic Transducers within the PLDI Research Papers-track