Jeevana Priya Inala

39 papers A* 11A 3Journal 21Unranked 3

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