Qinheping Hu -

Registered user since Thu 10 Nov 2016

Name:Qinheping Hu

Affiliation:University of Wisconsin-Madison, USA

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

Research interests:Programming Lnagugage

Contributions

POPL 2021	Author of Semantics-Guided Synthesis within the POPL-track
PLDI 2020	Author of Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems within the PLDI Research Papers-track
SPLASH 2019	Author of Automatic Repair of Regular Expressions within the OOPSLA-track Author of Automatic Repair of Regular Expressions within the OOPSLA Artifacts-track
PLDI 2019	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
PLDI 2017	Author of Automatic Program Inversion using Symbolic Transducers within the PLDI Research Papers-track