Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models C Lemieux, JP Inala, SK Lahiri, S Sen 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 202* | 2023 |
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 | 164 | 2018 |
Is Self-Repair a Silver Bullet for Code Generation? TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama The Twelfth International Conference on Learning Representations, 2023 | 102* | 2023 |
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 | 66 | 2016 |
Interactive code generation via test-driven user-intent formalization SK Lahiri, S Fakhoury, A Naik, G Sakkas, S Chakraborty, M Musuvathi, ... arXiv preprint arXiv:2208.05950, 2022 | 61 | 2022 |
Rethinking interpretability in the era of large language models C Singh, JP Inala, M Galley, R Caruana, J Gao arXiv preprint arXiv:2402.01761, 2024 | 53 | 2024 |
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 | 53 | 2022 |
Synthesizing programmatic policies that inductively generalize JP Inala, O Bastani, Z Tavares, A Solar-Lezama 8th International Conference on Learning Representations, 2020 | 51 | 2020 |
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 | 35 | 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 | 35 | 2020 |
Learning math reasoning from self-sampled correct and partially-correct solutions A Ni, JP Inala, C Wang, O Polozov, C Meek, D Radev, J Gao arXiv preprint arXiv:2205.14318, 2022 | 34* | 2022 |
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 | 34* | 2017 |
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 | 33* | 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 | 30 | 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 | 22 | 2019 |
WebRelate: integrating web data with spreadsheets using examples JP Inala, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 20 | 2017 |
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 | 17 | 2016 |
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing P Vaithilingam, EL Glassman, JP Inala, C Wang Proceedings of the CHI Conference on Human Factors in Computing Systems, 1-17, 2024 | 13 | 2024 |
REAS: combining numerical optimization with SAT solving JP Inala, S Gao, S Kong, A Solar-Lezama arXiv preprint arXiv:1802.04408, 2018 | 9 | 2018 |
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 | 8 | 2022 |