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
342017
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
262019
Syntax-guided synthesis with quantitative syntactic objectives
Q Hu, L D’Antoni
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
252018
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
232020
Proving unrealizability for syntax-guided synthesis
Q Hu, J Breck, J Cyphert, L D’Antoni, T Reps
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
232019
Units of rotational information
Y Yang, G Chiribella, Q Hu
New Journal of Physics 19 (12), 123003, 2017
122017
Direct manipulation for imperative programs
Q Hu, R Samanta, R Singh, L D’Antoni
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
72019
Synthesis with asymptotic resource bounds
Q Hu, J Cyphert, L D’Antoni, T Reps
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
62021
Solving program sketches with large integer values
R Pan, Q Hu, R Singh, L D’Antoni
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
52020
Programmable program synthesis
L D’Antoni, Q Hu, J Kim, T Reps
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
42021
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
22022
Program Repair via Direct State Manipulation
Q Hu, I Evavold, R Samanta, R Singh, L D'Antoni
arXiv preprint arXiv:1803.07522, 2018
12018
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–13