Qinheping Hu

16 papers A* 2A 1B 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Solving Program Sketches with Large Integer Values.
ACM Trans. Program. Lang. Syst.
Qinheping Hu, Rishabh Singh, Loris D'Antoni
2021 — conf
Programmable Program Synthesis.
CAV (1)
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
2021 J jnl
Semantics-guided synthesis.
Proc. ACM Program. Lang.
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
2021 — conf
Synthesis with Asymptotic Resource Bounds.
CAV (1)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Synthesis with Asymptotic Resource Bounds.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 J jnl
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 A* conf
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
PLDI
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 J jnl
Semantics-Guided Synthesis.
CoRR
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
2020 A conf
Solving Program Sketches with Large Integer Values.
ESOP
Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
2019 J jnl
Automatic repair of regular expressions.
Proc. ACM Program. Lang.
Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni
2019 B conf
Direct Manipulation for Imperative Programs.
SAS
Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2019 — conf
Proving Unrealizability for Syntax-Guided Synthesis.
CAV (1)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 J jnl
Proving Unrealizability for Syntax-Guided Synthesis.
CoRR
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2018 J jnl
Program Repair via Direct State Manipulation.
CoRR
Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2018 — conf
Syntax-Guided Synthesis with Quantitative Syntactic Objectives.
CAV (1)
Qinheping Hu, Loris D'Antoni
2017 A* conf
Automatic program inversion using symbolic transducers.
PLDI
Qinheping Hu, Loris D'Antoni