Qinheping Hu

According to our database, Qinheping Hu authored at least 12 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Solving Program Sketches with Large Integer Values.

Qinheping Hu, Rishabh Singh, Loris D'Antoni

ACM Trans. Program. Lang. Syst., 2022

2021

Semantics-guided synthesis.

Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps

Proc. ACM Program. Lang., 2021

Synthesis with Asymptotic Resource Bounds.

Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Programmable Program Synthesis.

Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.

Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Solving Program Sketches with Large Integer Values.

Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni

Proceedings of the Programming Languages and Systems, 2020

2019

Automatic repair of regular expressions.

Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni

Proc. ACM Program. Lang., 2019

Direct Manipulation for Imperative Programs.

Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni

Proceedings of the Static Analysis - 26th International Symposium, 2019

Proving Unrealizability for Syntax-Guided Synthesis.

Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Program Repair via Direct State Manipulation.

Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni

CoRR, 2018

Syntax-Guided Synthesis with Quantitative Syntactic Objectives.

Qinheping Hu, Loris D'Antoni

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Automatic program inversion using symbolic transducers.

Qinheping Hu, Loris D'Antoni

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017