Jeevana Priya Inala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IUI | ReUseIt: Synthesizing Reusable AI Agent Workflows for Web Automation. | Yimeng Liu, Misha Sra, Jeevana Priya Inala, Chenglong Wang |
| 2024 | CHI | DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing. | Priyan Vaithilingam, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang |
| 2024 | ICLR | Is Self-Repair a Silver Bullet for Code Generation? | Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama |
| 2023 | ICLR | Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions. | Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Alex Polozov, Christopher Meek, Dragomir Radev, Jianfeng Gao |
| 2023 | ICSE | CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. | Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen |
| 2022 | EMNLP | CodeExp: Explanatory Code Document Generation. | Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan |
| 2021 | ICCV | Likelihood-Based Diverse Sampling for Trajectory Forecasting. | Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani |
| 2020 | ICLR | Synthesizing Programmatic Policies that Inductively Generalize. | Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama |
| 2020 | ICML | Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. | Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama |
| 2019 | ICRA | Task-Based Design of Ad-hoc Modular Manipulators. | Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit |
| 2017 | TACAS | Synthesis of Recursive ADT Transformations from Reusable Templates. | Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama |
| 2016 | EuroSys | Type-aware transactions for faster concurrent code. | Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian L. Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira |
| 2016 | SAT | Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. | Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama |