J. Inala

Most-cited papers

Is Self-Repair a Silver Bullet for Code Generation?
Theo X. Olausson, J. Inala, Chenglong Wang, Jian-Feng Gao +1 more
2023International Conference on Learning Representations295 citations
Semantic Scholar
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
Caroline Lemieux, J. Inala, Shuvendu K. Lahiri, Siddhartha Sen
2023International Conference on Software Engineering279 citations
Semantic Scholar
Rethinking Interpretability in the Era of Large Language Models
C. Singh, J. Inala, Michel Galley, Rich Caruana +1 more
2024arXiv.org158 citations
Semantic Scholar
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing
Priyan Vaithilingam, E. Glassman, J. Inala, Chenglong Wang
2024International Conference on Human Factors in Computing Systems132 citations Open access
Semantic Scholar
Interactive Code Generation via Test-Driven User-Intent Formalization
Shuvendu K. Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas +7 more
2022arXiv.org114 citations Open access
Semantic Scholar
InverseCSG
Tao Du, J. Inala, Yewen Pu, A. Spielberg +4 more
2018ACM Transactions on Graphics109 citations Open access
Semantic Scholar
Demystifying GPT Self-Repair for Code Generation
Theo X. Olausson, J. Inala, Chenglong Wang, Jian-Feng Gao +1 more
2023arXiv.org83 citations Open access
Semantic Scholar
Fault-Aware Neural Code Rankers
J. Inala, Chenglong Wang, Mei Yang, Andrés Codas +4 more
2022Neural Information Processing Systems62 citations Open access
Semantic Scholar
Synthesizing Programmatic Policies that Inductively Generalize
J. Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
2020International Conference on Learning Representations60 citations
Semantic Scholar
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions
Ansong Ni, J. Inala, Chenglong Wang, A. Polozov +3 more
2022International Conference on Learning Representations52 citations
Semantic Scholar
Execution-based Evaluation for Data Science Code Generation Models
Junjie Huang, Chenglong Wang, Jipeng Zhang, Cong Yan +5 more
2022DASH49 citations Open access
Semantic Scholar
Type-aware transactions for faster concurrent code
Nathaniel Herman, J. Inala, Yihe Huang, Lillian Tsai +3 more
2016European Conference on Computer Systems49 citations Open access
Semantic Scholar
Likelihood-Based Diverse Sampling for Trajectory Forecasting
Y. Ma, J. Inala, Dinesh Jayaraman, Osbert Bastani
2020IEEE International Conference on Computer Vision40 citations
Semantic Scholar
Neurosymbolic Transformers for Multi-Agent Communication
J. Inala, Yi-Chen Yang, James Paulos, Yewen Pu +4 more
2021Neural Information Processing Systems29 citations
Semantic Scholar
Synthesis of Recursive ADT Transformations from Reusable Templates
J. Inala, N. Polikarpova, Xiaokang Qiu, Benjamin S. Lerner +1 more
2015International Conference on Tools and Algorithms for Construction and Analysis of Systems20 citations Open access
Semantic Scholar
Data Analysis in the Era of Generative AI
J. Inala, Chenglong Wang, S. Drucker, Gonzalo Ramos +5 more
2024arXiv.org19 citations
Semantic Scholar
WebRelate: integrating web data with spreadsheets using examples
J. Inala, Rishabh Singh
2017Proc. ACM Program. Lang.18 citations Open access
Semantic Scholar
Task-Based Design of Ad-hoc Modular Manipulators
Thais Campos, J. Inala, Armando Solar-Lezama, H. Kress-Gazit
2019IEEE International Conference on Robotics and Automation15 citations
Semantic Scholar
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting
Yecheng Jason Ma, J. Inala, Dinesh Jayaraman, Osbert Bastani
2020arXiv.org14 citations
Semantic Scholar
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
J. Inala, Rohit Singh, Armando Solar-Lezama
2016International Conference on Theory and Applications of Satisfiability Testing14 citations Open access
Semantic Scholar
Contextualized Data-Wrangling Code Generation in Computational Notebooks
Jun-Jie Huang, Daya Guo, Chenglong Wang, Jia-Zhen Gu +6 more
2024International Conference on Automated Software Engineering13 citations Open access
Semantic Scholar
Program Synthesis Guided Reinforcement Learning
Yi-Chen Yang, J. Inala, Osbert Bastani, Yewen Pu +2 more
2021Neural Information Processing Systems12 citations
Semantic Scholar
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types
J. Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
2015arXiv.org11 citations
Semantic Scholar
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis
Osbert Bastani, J. Inala, Armando Solar-Lezama
2020xxAI@ICML10 citations Open access
Semantic Scholar
REAS: Combining Numerical Optimization with SAT Solving
J. Inala, Si-Cun Gao, Soonho Kong, Armando Solar-Lezama
2018arXiv.org10 citations
Semantic Scholar
ReUseIt: Synthesizing Reusable AI Agent Workflows for Web Automation
Yimeng Liu, Misha Sra, J. Inala, Chenglong Wang
2025International Conference on Intelligent User Interfaces9 citations Open access
Semantic Scholar
Learning from Self-Sampled Correct and Partially-Correct Programs
Ansong Ni, J. Inala, Chenglong Wang, Oleksandr Polozov +3 more
2022arXiv.org9 citations Open access
Semantic Scholar
CodeExp: Explanatory Code Document Generation
Haotian Cui, Chenglong Wang, Junjie Huang, J. Inala +4 more
2022Conference on Empirical Methods in Natural Language Processing7 citations Open access
Semantic Scholar
Towards Understanding Graphical Perception in Large Multimodal Models
Kai Zhang, Jian-Wei Yang, J. Inala, C. Singh +3 more
2025arXiv.org6 citations
Semantic Scholar
Safe Human-Interactive Control via Shielding
J. Inala, Y. Ma, Osbert Bastani, Xin Zhang +1 more
2021arXiv.org5 citations
Semantic Scholar
StudentSim: Training LLM-based Student Simulators
Ke Yang, Chenglong Wang, Michel Galley, C. Singh +3 more
20261 citations
Semantic Scholar
Safe Human-Interactive Control Modulo Fault
J. Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang +1 more
20201 citations
Semantic Scholar
The Wasserstein Loss Function
Prafulla Dhariwal, J. Inala
20151 citations
Semantic Scholar
MagicCopy: Bring my data along with me beyond boundaries of apps
Priyan Vaithilingam, E. Glassman, N. Riche, Gonzalo Ramos +2 more
2026arXiv.org0 citations
Semantic Scholar
Brushing and Interpretive Linking for Knowledge Work
Zheng Ning, M. Pahud, Hugo Romat, Nicolai Marquardt +7 more
2026Proceedings of the 52nd Graphics Interface Conference 20260 citations Open access
Semantic Scholar
TokenEconomizer: Experience-Driven Black-Box Cost Control for Coding Agents
Aaron J. Li, Wei-Jia Xu, C. Singh, Zi-Xiao Chen +7 more
20260 citations
Semantic Scholar
Neurosymbolic Learning for Robust and Reliable Intelligent Systems
J. Inala
20220 citations
Semantic Scholar
PLDI : U : Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes
J. Inala
20160 citations
Semantic Scholar
Type Assisted Synthesis of Programs with Algebraic Data Types
J. Inala
20140 citations
Semantic Scholar
Concolic Execution for Django Applications
Luke Anderson, Jon Gjengset, J. Inala, Andrew Wang
20140 citations
Semantic Scholar
States Hidden in Hidden States: LLMs Emerge Discrete State Representations Implicitly Anonymous ACL submission
Jan Carr, Joshua Leike, Vedant Achiam, Evan Misra +142 more
0 citations
Semantic Scholar