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 and automata theory.


CAV 19
Proving Unrealizability for Syntax-Guided Synthesis
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
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



 PLDI 19