Qinheping Hu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Programmable Program Synthesis. | Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps |
| 2021 | CAV | Synthesis with Asymptotic Resource Bounds. | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2020 | ESOP | Solving Program Sketches with Large Integer Values. | Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni |
| 2020 | PLDI | Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2019 | CAV | Proving Unrealizability for Syntax-Guided Synthesis. | Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2019 | SAS | Direct Manipulation for Imperative Programs. | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
| 2018 | CAV | Syntax-Guided Synthesis with Quantitative Syntactic Objectives. | Qinheping Hu, Loris D'Antoni |
| 2017 | PLDI | Automatic program inversion using symbolic transducers. | Qinheping Hu, Loris D'Antoni |