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.


SAS 19
Direct Manipulation for Imperative Programs
Q. Hu, R.Samanta, R. Singh, L. D'Antoni
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