Qinheping Hu 胡覃禾平

: qinhh [at] amazon (dot) com
: MSP12 - Amazon, Minneapolis, MN

CV | GitHub
""

About Me

I am an applied scientist in the proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services.
I completed my Ph.D. in Computer Science at University of Wisconsin-Madison advised by Loris D'Antoni. 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 that, I obtained my bachelor's degree in Computer Science from the Yao Class at Tsinghua University, advised by Giulio Chiribella.

News

I defended my PhD thesis: Guarantees in Program Synthesis! June 2021

Synthesis with Asymptotic Resource Bounds accepted at CAV 21! Apr 2021

Semantics-guided Synthesis conditionally accepted at POPL 21! Oct 2020

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems to appear at PLDI 20! Feb 2020

Our work on synthesis for programs involved large integer values accepted at ESOP 20 and selected for a special issue of TOPLAS! Feb 2020

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

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

Publications


CAV 21
Synthesis with Asymptotic Resource Bounds [ pdf ]
Q. Hu, J. Cyphert, L. D'Antoni, T. Reps
POPL 21
Semantics-guided Synthesis [ pdf ]
J. Kim, Q. Hu, L. D'Antoni, T. Reps
PLDI 20
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems [ pdf ]
Q. Hu, J. Cyphert, L. D'Antoni, T. Reps
ESOP 20
Solving Program Sketches with Large Integer Values [ pdf ]
R. Pan, Q. Hu, R. Singh L. D'Antoni
Selected for special issue of TOPLAS
Nominated for EAPLS Award for the best ETAPS paper on PL and systems
OOPSLA 19
Automatic Repair of Regular Expressions [ pdf ]
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

""