Follow
Jeevana Priya Inala
Jeevana Priya Inala
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
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
1412018
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
802023
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
602016
Synthesizing programmatic policies that inductively generalize
JP Inala, O Bastani, Z Tavares, A Solar-Lezama
8th International Conference on Learning Representations, 2020
402020
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
372022
Demystifying gpt self-repair for code generation
TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama
arXiv preprint arXiv:2306.09896, 2023
362023
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
32*2017
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
312022
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
292020
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
282021
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
26*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
21*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
192019
WebRelate: integrating web data with spreadsheets using examples
JP Inala, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
182017
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
172016
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
142022
CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pretrained Large Language Models.(2023)
C Lemieux, JP Inala, SK Lahiri, S Sen
122023
REAS: combining numerical optimization with SAT solving
JP Inala, S Gao, S Kong, A Solar-Lezama
arXiv preprint arXiv:1802.04408, 2018
92018
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
82020
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
72023
The system can't perform the operation now. Try again later.
Articles 1–20