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.

Publications


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
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

Service

  AEC

 PLDI 19