Jeevana Priya Inala

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 32

Top Topics

Incremental Mining

Program Synthesis

Code Generation

Top Venues

Publications

Chandan Singh, Jeevana Priya Inala, Michel Galley, Rich Caruana, Jianfeng Gao
Rethinking Interpretability in the Era of Large Language Models. CoRR (2024)
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
Is Self-Repair a Silver Bullet for Code Generation? ICLR (2024)
Priyan Vaithilingam, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing. CoRR (2024)
Priyan Vaithilingam, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing. CHI (2024)
Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Alex Polozov, Christopher Meek, Dragomir Radev, Jianfeng Gao
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions. ICLR (2023)
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
Demystifying GPT Self-Repair for Code Generation. CoRR (2023)
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. ICSE (2023)
Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Oleksandr Polozov, Christopher Meek, Dragomir R. Radev, Jianfeng Gao
Learning from Self-Sampled Correct and Partially-Correct Programs. CoRR (2022)
Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan
CodeExp: Explanatory Code Document Generation. CoRR (2022)
Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan
CodeExp: Explanatory Code Document Generation. EMNLP (Findings) (2022)
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
Interactive Code Generation via Test-Driven User-Intent Formalization. CoRR (2022)
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
Fault-Aware Neural Code Rankers. CoRR (2022)
Junjie Huang, Chenglong Wang, Jipeng Zhang, Cong Yan, Haotian Cui, Jeevana Priya Inala, Colin B. Clement, Nan Duan, Jianfeng Gao
Execution-based Evaluation for Data Science Code Generation Models. CoRR (2022)
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
Fault-Aware Neural Code Rankers. NeurIPS (2022)
Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Safe Human-Interactive Control via Shielding. CoRR (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard
Program Synthesis Guided Reinforcement Learning. CoRR (2021)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. CoRR (2021)
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
Likelihood-Based Diverse Sampling for Trajectory Forecasting. ICCV (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS (2021)
Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
Synthesizing Programmatic Policies that Inductively Generalize. ICLR (2020)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS (2020)
Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML (2020)
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting. CoRR (2020)
Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit
Task-Based Design of Ad-hoc Modular Manipulators. ICRA (2019)
Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
REAS: Combining Numerical Optimization with SAT Solving. CoRR (2018)
Jeevana Priya Inala, Rishabh Singh
WebRelate: integrating web data with spreadsheets using examples. Proc. ACM Program. Lang. 2 (POPL) (2018)
Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik
InverseCSG: automatic conversion of 3D models to CSG trees. ACM Trans. Graph. 37 (6) (2018)
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) (2017)
Jeevana Priya Inala, Rishabh Singh
WebRelate: Integrating Web Data with Spreadsheets using Examples. CoRR (2017)
Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira
Type-aware transactions for faster concurrent code. EuroSys (2016)
Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. SAT (2016)
Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR (2015)