| Automatic program inversion using symbolic transducers Q Hu, L D'Antoni Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 43 | 2017 |
| 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 | 39 | 2019 |
| Syntax-guided synthesis with quantitative syntactic objectives Q Hu, L D’Antoni Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 38 | 2018 |
| 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 | 31 | 2020 |
| 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 | 31 | 2019 |
| Units of rotational information Y Yang, G Chiribella, Q Hu New Journal of Physics 19 (12), 123003, 2017 | 14 | 2017 |
| Programmable program synthesis L D’Antoni, Q Hu, J Kim, T Reps Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 10 | 2021 |
| Synthesis with asymptotic resource bounds Q Hu, J Cyphert, L D’Antoni, T Reps Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 8 | 2021 |
| Direct manipulation for imperative programs Q Hu, R Samanta, R Singh, L D’Antoni Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 8 | 2019 |
| 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 | 5 | 2020 |
| 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 | 2 | 2022 |
| Program Repair via Direct State Manipulation Q Hu, I Evavold, R Samanta, R Singh, L D'Antoni arXiv preprint arXiv:1803.07522, 2018 | 1 | 2018 |
| Guarantees in Program Synthesis Q Hu The University of Wisconsin-Madison, 2021 | | 2021 |
Loris D'AntoniUniversity of California-San DiegoVerified email at ucsd.edu
