Follow
Qinheping Hu
Title
Cited by
Cited by
Year
Automatic program inversion using symbolic transducers
Q Hu, L D'Antoni
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
292017
Automatic repair of regular expressions
R Pan, Q Hu, G Xu, L D'Antoni
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
182019
Syntax-guided synthesis with quantitative syntactic objectives
Q Hu, L D’Antoni
International Conference on Computer Aided Verification, 386-403, 2018
162018
Proving unrealizability for syntax-guided synthesis
Q Hu, J Breck, J Cyphert, L D’Antoni, T Reps
International Conference on Computer Aided Verification, 335-352, 2019
142019
Units of rotational information
Y Yang, G Chiribella, Q Hu
New Journal of Physics 19 (12), 123003, 2017
122017
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems
Q Hu, J Cyphert, L D'Antoni, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
102020
Semantics-guided synthesis
J Kim, Q Hu, L D'Antoni, T Reps
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
82021
Direct manipulation for imperative programs
Q Hu, R Samanta, R Singh, L D’Antoni
International Static Analysis Symposium, 347-367, 2019
52019
Synthesis with asymptotic resource bounds
Q Hu, J Cyphert, L D’Antoni, T Reps
International Conference on Computer Aided Verification, 783-807, 2021
32021
Solving Program Sketches with Large Integer Values
R Pan, Q Hu, R Singh, L D’Antoni
European Symposium on Programming, 572-598, 2020
22020
Programmable program synthesis
L D’Antoni, Q Hu, J Kim, T Reps
International Conference on Computer Aided Verification, 84-109, 2021
12021
Program Repair via Direct State Manipulation
Q Hu, I Evavold, R Samanta, R Singh, L D'Antoni
arXiv preprint arXiv:1803.07522, 2018
12018
Solving Program Sketches with Large Integer Values
Q Hu, R Singh, L D’Antoni
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (2), 1-28, 2022
2022
Guarantees in Program Synthesis
Q Hu
The University of Wisconsin-Madison, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–14