Qinheping Hu 胡覃禾平
Department of Computer Sciences
University of Wisconsin-Madison
Ph.D. student, advised by Prof. Loris D'Antoni

: qhu28 [at] wisc (dot) edu
: 1210 W Dayton St, Madison, WI 53706, Office 6360

CV | GitHub
""

My reasearch interests lie in the field of program synthesis.

Publications


OOPSLA 19
Automatic Repair of Regular Expressions
R. Pan, Q. Hu, G. Xu, L. D'Antoni
SAS 19
Direct Manipulation for Imperative Programs [ pdf ]
Q. Hu, R.Samanta, R. Singh, L. D'Antoni
CAV 19
Proving Unrealizability for Syntax-Guided Synthesis [ pdf ] [ slides ]
Q. Hu, J. Breck, J. Cyphert, L. D'Antoni, T.Reps
CAV 18
Syntax-Guided Synthesis with Quantitative Syntactic Objectives [ pdf ]
Q. Hu, L. D'Antoni
PLDI 17
Automatic Program Inversion using Symbolic Transducers [ pdf ]
Q. Hu, L. D'Antoni
New J. Phys. 17
Units of rotational information [ pdf ]
Y. Yang, C. Giulio,Q. Hu

Workshop


SYNT 19
Guarantees in Program Synthesis [ abstract ] [ slides ]
Q. Hu, J. Breck, J. Cyphert, L. D'Antoni, T.Reps

Community

  AEC

 PLDI 19
""