Follow
Jeevana Priya Inala
Jeevana Priya Inala
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
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
1642018
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
662016
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
612022
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
532024
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
532022
Synthesizing programmatic policies that inductively generalize
JP Inala, O Bastani, Z Tavares, A Solar-Lezama
8th International Conference on Learning Representations, 2020
512020
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
352021
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
352020
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
302022
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
222019
WebRelate: integrating web data with spreadsheets using examples
JP Inala, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
202017
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
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
132024
REAS: combining numerical optimization with SAT solving
JP Inala, S Gao, S Kong, A Solar-Lezama
arXiv preprint arXiv:1802.04408, 2018
92018
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
82022
The system can't perform the operation now. Try again later.
Articles 1–20