Qinheping Hu 胡覃禾平
Department of Computer Sciences
University of Wisconsin-Madison

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

CV | GitHub
""

About Me

I am currently a fifth-year Ph.D. student in Computer Science at UW-Madison, advised by Loris D'Antoni.
I work on programming languages and formal methods. My research aims to propel program synthesizers---automated tools generating programs from specification---to real world scenarios by exploring effective specification mechanism for users to express their intents, and studying when and why synthesizers fail on given problems.
Before joining University of Wisconsin, I obtained my bachelor's degree in Computer Science from the Yao Class at Tsinghua University, advised by Giulio Chiribella.

News

I presented our paper on direct manipulation at SAS 2019. Here is a demonstration video of direct manipulation for JAVA. Oct 12

Talk at MWPLS19: "Guarantees in Program Synthesis". Sep 23

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 ] [ slides ]
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

Talks & Posters


MWPLS 19
@ Purdue
Guarantees in Program Synthesis [ poster ] [ slides ]
Q. Hu, J. Breck, J. Cyphert, L. D'Antoni, T.Reps

Service

Programming Language Design and Implementation (PLDI) — Artifact Evaluation Committee 2019

""