Follow
Jeevana Priya Inala
Jeevana Priya Inala
Verified email at csail.mit.edu - 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
952018
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
582016
Synthesizing programmatic policies that inductively generalize
JP Inala, O Bastani, Z Tavares, A Solar-Lezama
8th International Conference on Learning Representations, 2020
212020
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
162020
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
162019
WebRelate: integrating web data with spreadsheets using examples
JP Inala, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
162017
Synthesis of recursive ADT transformations from reusable templates
JP Inala, N Polikarpova, X Qiu, BS Lerner, A Solar-Lezama
International Conference on Tools and Algorithms for the Construction and …, 2017
162017
Synthesis of domain specific CNF encoders for bit-vector solvers
JP Inala, R Singh, A Solar-Lezama
International Conference on Theory and Applications of Satisfiability …, 2016
132016
Type assisted synthesis of recursive transformers on algebraic data types
JP Inala, X Qiu, B Lerner, A Solar-Lezama
CoRR, abs/1507.05527 23, 2015
112015
Program synthesis guided reinforcement learning
Y Yang, JP Inala, O Bastani, Y Pu, A Solar-Lezama, M Rinard
arXiv preprint arXiv:2102.11137, 2021
92021
REAS: combining numerical optimization with SAT solving
JP Inala, S Gao, S Kong, A Solar-Lezama
arXiv preprint arXiv:1802.04408, 2018
72018
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
62021
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
52021
Fault-Aware Neural Code Rankers
JP Inala, C Wang, M Yang, A Codas, M Encarnación, SK Lahiri, ...
arXiv preprint arXiv:2206.03865, 2022
32022
Diverse sampling for normalizing flow based trajectory forecasting
YJ Ma, JP Inala, D Jayaraman, O Bastani
arXiv preprint arXiv:2011.15084 7 (8), 2020
32020
Safe Human-Interactive Control via Shielding
JP Inala, YJ Ma, O Bastani, X Zhang, A Solar-Lezama
arXiv preprint arXiv:2110.05440, 2021
12021
The Wasserstein Loss function
P Dhariwal, J Inala
12015
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
2022
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
2022
Fault-Aware Neural Code Rankers
J Priya Inala, C Wang, M Yang, A Codas, M Encarnación, SK Lahiri, ...
arXiv e-prints, arXiv: 2206.03865, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20