| Inversecsg: Automatic conversion of 3d models to csg trees T Du, JP Inala, Y Pu, A Spielberg, A Schulz, D Rus, A Solar-Lezama, ... ACM Transactions on Graphics (TOG) 37 (6), 1-16, 2018 | 128 | 2018 |
| Type-aware transactions for faster concurrent code N Herman, JP Inala, Y Huang, L Tsai, E Kohler, B Liskov, L Shrira Proceedings of the Eleventh European Conference on Computer Systems, 1-16, 2016 | 61 | 2016 |
| CODAMOSA: Escaping coverage plateaus in test generation with pre-trained large language models C Lemieux, JP Inala, SK Lahiri, S Sen International conference on software engineering (ICSE), 2023 | 41 | 2023 |
| Synthesizing programmatic policies that inductively generalize JP Inala, O Bastani, Z Tavares, A Solar-Lezama 8th International Conference on Learning Representations, 2020 | 37 | 2020 |
| Synthesis of recursive ADT transformations from reusable templates JP Inala, N Polikarpova, X Qiu, BS Lerner, A Solar-Lezama Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 31* | 2017 |
| Fault-aware neural code rankers JP Inala, C Wang, M Yang, A Codas, M Encarnación, S Lahiri, ... Advances in Neural Information Processing Systems 35, 13419-13432, 2022 | 27 | 2022 |
| Program synthesis guided reinforcement learning for partially observed environments Y Yang, JP Inala, O Bastani, Y Pu, A Solar-Lezama, M Rinard Advances in neural information processing systems 34, 29669-29683, 2021 | 22 | 2021 |
| Likelihood-based diverse sampling for trajectory forecasting YJ Ma, JP Inala, D Jayaraman, O Bastani Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2021 | 22* | 2021 |
| Neurosymbolic transformers for multi-agent communication JP Inala, Y Yang, J Paulos, Y Pu, O Bastani, V Kumar, M Rinard, ... Advances in Neural Information Processing Systems 33, 13597-13608, 2020 | 22 | 2020 |
| Demystifying GPT Self-Repair for Code Generation TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama arXiv preprint arXiv:2306.09896, 2023 | 19 | 2023 |
| Interactive code generation via test-driven user-intent formalization SK Lahiri, A Naik, G Sakkas, P Choudhury, C von Veh, M Musuvathi, ... arXiv preprint arXiv:2208.05950, 2022 | 19 | 2022 |
| Task-based design of ad-hoc modular manipulators T Campos, JP Inala, A Solar-Lezama, H Kress-Gazit 2019 International Conference on Robotics and Automation (ICRA), 6058-6064, 2019 | 19 | 2019 |
| Synthesis of domain specific CNF encoders for bit-vector solvers JP Inala, R Singh, A Solar-Lezama Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 18 | 2016 |
| WebRelate: integrating web data with spreadsheets using examples JP Inala, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 17 | 2017 |
| Learning math reasoning from self-sampled correct and partially-correct solutions A Ni, JP Inala, C Wang, A Polozov, C Meek, D Radev, J Gao The Eleventh International Conference on Learning Representations, 2022 | 11* | 2022 |
| REAS: combining numerical optimization with SAT solving JP Inala, S Gao, S Kong, A Solar-Lezama arXiv preprint arXiv:1802.04408, 2018 | 8 | 2018 |
| Interpretable, verifiable, and robust reinforcement learning via program synthesis O Bastani, JP Inala, A Solar-Lezama International Workshop on Extending Explainable AI Beyond Deep Models and …, 2020 | 7 | 2020 |
| Safe human-interactive control via shielding JP Inala, YJ Ma, O Bastani, X Zhang, A Solar-Lezama arXiv preprint arXiv:2110.05440, 2021 | 4 | 2021 |
| Execution-based evaluation for data science code generation models J Huang, C Wang, J Zhang, C Yan, H Cui, JP Inala, C Clement, N Duan, ... arXiv preprint arXiv:2211.09374, 2022 | 3 | 2022 |
| CodeExp: Explanatory Code Document Generation H Cui, C Wang, J Huang, JP Inala, T Mytkowicz, B Wang, J Gao, N Duan arXiv preprint arXiv:2211.15395, 2022 | 1 | 2022 |
