Jeevana Priya Inala
Jeevana Priya Inala
Verified email at csail.mit.edu - Homepage
Title
Cited by
Cited by
Year
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
472016
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
432018
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
132017
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
112016
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
WebRelate: integrating web data with spreadsheets using examples
JP Inala, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
92017
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
62019
Neurosymbolic transformers for multi-agent communication
JP Inala, Y Yang, J Paulos, Y Pu, O Bastani, V Kumar, M Rinard, ...
arXiv preprint arXiv:2101.03238, 2021
32021
Synthesizing programmatic policies that inductively generalize
JP Inala, O Bastani, Z Tavares, A Solar-Lezama
International Conference on Learning Representations, 2019
32019
REAS: combining numerical optimization with SAT solving
JP Inala, S Gao, S Kong, A Solar-Lezama
arXiv preprint arXiv:1802.04408, 2018
32018
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting
YJ Ma, JP Inala, D Jayaraman, O Bastani
arXiv preprint arXiv:2011.15084, 2020
22020
Program Synthesis Guided Reinforcement Learning
Y Yang, JP Inala, O Bastani, Y Pu, A Solar-Lezama, M Rinard
arXiv preprint arXiv:2102.11137, 2021
2021
Joining web data with spreadsheet data using examples
R Singh, JP Inala
US Patent 10,713,429, 2020
2020
Type Assisted Synthesis of Programs with Algebraic Data Types
JP Inala, X Qiu, B Lerner, A Solar-Lezama
constraints 496 (2), 149, 0
Concolic Execution for Django Applications
L Anderson, J Gjengset, J Inala, A Wang
The system can't perform the operation now. Try again later.
Articles 1–15