Qinheping Hu

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 16

Top Topics

Exact And Approximate

Regular Expressions

Worst Case Analysis

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

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