Automatic program inversion using symbolic transducers. - Qinheping Hu; Loris D'Antoni (PLDI, 2017)

Syntax-Guided Synthesis with Quantitative Syntactic Objectives. - Qinheping Hu; Loris D'Antoni (CAV (1), 2018)

Program Repair via Direct State Manipulation. - Qinheping Hu; Isaac Evavold; Roopsha Samanta; Rishabh Singh; Loris D'Antoni (CoRR, 2018)

Proving Unrealizability for Syntax-Guided Synthesis. - Qinheping Hu; Jason Breck; John Cyphert; Loris D'Antoni; Thomas W. Reps (CAV (1), 2019)

Direct Manipulation for Imperative Programs. - Qinheping Hu; Roopsha Samanta; Rishabh Singh; Loris D'Antoni (SAS, 2019)

Automatic repair of regular expressions. - Rong Pan; Qinheping Hu; Gaowei Xu; Loris D'Antoni (Proc. ACM Program. Lang., 2019)

Solving Program Sketches with Large Integer Values. - Rong Pan; Qinheping Hu; Rishabh Singh; Loris D'Antoni (ESOP, 2020)

Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. - Qinheping Hu; John Cyphert; Loris D'Antoni; Thomas W. Reps (PLDI, 2020)

Programmable Program Synthesis. - Loris D'Antoni; Qinheping Hu; Jinwoo Kim; Thomas W. Reps (CAV (1), 2021)

Synthesis with Asymptotic Resource Bounds. - Qinheping Hu; John Cyphert; Loris D'Antoni; Thomas W. Reps (CAV (1), 2021)

Semantics-guided synthesis. - Jinwoo Kim; Qinheping Hu; Loris D'Antoni; Thomas W. Reps (Proc. ACM Program. Lang., 2021)

Solving Program Sketches with Large Integer Values. - Qinheping Hu; Rishabh Singh; Loris D'Antoni (ACM Trans. Program. Lang. Syst., 2022)