Jeevana Priya Inala
Jeevana Priya Inala
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
Synthesizing programmatic policies that inductively generalize
JP Inala, O Bastani, Z Tavares, A Solar-Lezama
8th International Conference on Learning Representations, 2020
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
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
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
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
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
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
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
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
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
WebRelate: integrating web data with spreadsheets using examples
JP Inala, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 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
REAS: combining numerical optimization with SAT solving
JP Inala, S Gao, S Kong, A Solar-Lezama
arXiv preprint arXiv:1802.04408, 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
Joining web data with spreadsheet data using examples
R Singh, JP Inala
US Patent 10,713,429, 2020
The system can't perform the operation now. Try again later.
Articles 1–20