Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesis of Recursive ADT Transformations from Reusable Templates.

J. Inala, N. Polikarpova, X. Qiu, B. Lerner, and A. Solar-Lezama. TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 247-263. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

NULL Priyakorn Pusawiro

Shekhar Priyadarshi

Swastiko Priyambodo

Priya Garg

Priya Bahri

Other publications of authors with the same name

Likelihood-Based Diverse Sampling for Trajectory Forecasting.Y. Ma, J. Inala, D. Jayaraman, and O. Bastani. ICCV, page 13259-13268. IEEE, (2021)Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.Y. Yang, J. Inala, O. Bastani, Y. Pu, A. Solar-Lezama, and M. Rinard. NeurIPS, page 29669-29683. (2021)Diverse Sampling for Normalizing Flow Based Trajectory Forecasting.Y. Ma, J. Inala, D. Jayaraman, and O. Bastani. CoRR, (2020)Neurosymbolic Learning for Robust and Reliable Intelligent Systems.J. Inala. Massachusetts Institute of Technology, USA, (2022)Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions.A. Ni, J. Inala, C. Wang, A. Polozov, C. Meek, D. Radev, and J. Gao. ICLR, OpenReview.net, (2023)Synthesis of Recursive ADT Transformations from Reusable Templates.J. Inala, N. Polikarpova, X. Qiu, B. Lerner, and A. Solar-Lezama. TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 247-263. (2017)Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.O. Bastani, J. Inala, and A. Solar-Lezama. xxAI@ICML, volume 13200 of Lecture Notes in Computer Science, page 207-228. Springer, (2020)DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing.P. Vaithilingam, E. Glassman, J. Inala, and C. Wang. CHI, page 985:1-985:17. ACM, (2024)InverseCSG: Automatic Conversion of 3D Models to CSG TreesT. Du, J. Inala, Y. Pu, A. Spielberg, A. Schulz, D. Rus, A. Solar-Lezama, and W. Matusik. ACM Trans. Graph., 37 (6): 213:1--213:16 (December 2018)Interactive Code Generation via Test-Driven User-Intent Formalization.S. Lahiri, A. Naik, G. Sakkas, P. Choudhury, C. von Veh, M. Musuvathi, J. Inala, C. Wang, and J. Gao. CoRR, (2022)

BibSonomy

Disambiguation of "Inala, Jeevana Priya"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesis of Recursive ADT Transformations from Reusable Templates.

Please choose a person to relate this publication to

NULL Priyakorn Pusawiro

Shekhar Priyadarshi

Swastiko Priyambodo

Priya Garg

Priya Bahri

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Inala, Jeevana Priya"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Synthesis of Recursive ADT Transformations from Reusable Templates.

Please choose a person to relate this publication to

NULL Priyakorn Pusawiro

Shekhar Priyadarshi

Swastiko Priyambodo

Priya Garg

Priya Bahri

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesis of Recursive ADT Transformations from Reusable Templates.