Arjun Radhakrishna

74 papers A* 13A 1B 2Misc 1Journal 43Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Empirical Investigation of Robustness in Large Language Models under Tabular Distortions.
CoRR
Avik Dutta, Harshit Nigam, Hosein Hasanbeig, Arjun Radhakrishna, Sumit Gulwani
2025 J jnl
Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory.
CoRR
Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
2025 J jnl
ConDABench: Interactive Evaluation of Language Models for Data Analysis.
CoRR
Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2025 J jnl
DataVinci: Learning Syntactic and Semantic String Repairs.
Proc. ACM Manag. Data
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Arjun Radhakrishna, Gust Verbruggen
2025 J jnl
Do Code Models Suffer from the Dunning-Kruger Effect?
CoRR
Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani
2025 J jnl
LLM-Guided Compositional Program Synthesis.
CoRR
Ruhma Khan, Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen
2025 J jnl
Ordered Semantically Diverse Sampling for Textual Data.
CoRR
Ashish Tiwari, Mukul Singh, Ananya Singha, Arjun Radhakrishna
2025 — conf
STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback.
EMNLP (Industry Track)
Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
2025 J jnl
Scaling Competence, Shrinking Reasoning: Cognitive Signatures in Language Model Learning.
CoRR
Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
2025 J jnl
TEN: Table Explicitization, Neurosymbolically.
CoRR
Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari
2025 J jnl
TableTalk: Scaffolding Spreadsheet Development with a Language Agent.
CoRR
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares
2025 J jnl
TableTalk: Scaffolding Spreadsheet Development with a Language Agent.
ACM Trans. Comput. Hum. Interact.
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares
2024 J jnl
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants.
CoRR
Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
2024 B conf
Let's Fix this Together: Conversational Debugging with GitHub Copilot.
VL/HCC
Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Dustin Coleman, Sumit Gulwani, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
2024 J jnl
METAREFLECTION: Learning Instructions for Language Agents using Past Reflections.
CoRR
Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
2024 A* conf
MetaReflection: Learning Instructions for Language Agents using Past Reflections.
EMNLP
Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi
2024 — conf
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations.
AIware
Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
2024 J jnl
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack.
CoRR
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
2023 J jnl
Explainable Program Synthesis by Localizing Specifications.
Proc. ACM Program. Lang.
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
2023 J jnl
FlashFill++: Scaling Programming by Example by Cutting to the Chase.
Proc. ACM Program. Lang.
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
2023 J jnl
GrACE: Generation using Associated Code Edits.
CoRR
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023 — conf
Grace: Language Models Meet Code Edits.
ESEC/SIGSOFT FSE
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023 — conf
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience.
ICSE-SEIP
Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim
2023 J jnl
Trace-Guided Inductive Synthesis of Recursive Functional Programs.
Proc. ACM Program. Lang.
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
2022 J jnl
AutoTSG: Learning and Synthesis for Incident Troubleshooting.
CoRR
Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
2022 — conf
AutoTSG: learning and synthesis for incident troubleshooting.
ESEC/SIGSOFT FSE
Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
2022 J jnl
Landmarks and Regions: A Robust Approach to Data Extraction.
CoRR
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
2022 A* conf
Landmarks and regions: a robust approach to data extraction.
PLDI
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
2022 — conf
NL2Viz: natural language to visualization via constrained syntax-guided synthesis.
ESEC/SIGSOFT FSE
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
2022 J jnl
Overwatch: Learning Patterns in Code Edit Sequences.
CoRR
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022 J jnl
Overwatch: learning patterns in code edit sequences.
Proc. ACM Program. Lang.
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2021 J jnl
APIfix: output-oriented program synthesis for combating breaking changes in libraries.
Proc. ACM Program. Lang.
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
2021 — conf
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning.
SIGMOD Conference
Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani
2021 — conf
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems.
SIGMOD Conference
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
2021 A* conf
Learning Patterns in Configuration.
ASE
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 J jnl
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.
CoRR
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2021 J jnl
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.
Proc. ACM Program. Lang.
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2020 J jnl
Data Invariants: On Trust in Data-Driven Systems.
CoRR
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
2020 — conf
ExTuNe: Explaining Tuple Non-conformance.
SIGMOD Conference
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020 J jnl
Feedback-driven semi-supervised synthesis of program transformations.
Proc. ACM Program. Lang.
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
2020 J jnl
Information-theoretic User Interaction: Significant Inputs for Program Synthesis.
CoRR
Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman
2020 J jnl
Structure interpretation of text formats.
Proc. ACM Program. Lang.
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
2019 J jnl
On the fly synthesis of edit suggestions.
Proc. ACM Program. Lang.
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
2019 J jnl
Quantitative Programming by Examples.
CoRR
Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa
2019 J jnl
Sequential programming for replicated data stores.
Proc. ACM Program. Lang.
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
2019 A* conf
Synthesis and machine learning for heterogeneous extraction.
PLDI
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani
2018 J jnl
Conflict-Aware Replicated Data Types.
CoRR
Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
2018 A* conf
DroidStar: callback typestates for Android classes.
ICSE
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
2017 J jnl
From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods Syst. Des.
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2017 J jnl
Learning Asynchronous Typestates for Android Classes.
CoRR
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
2017 — conf
Scaling Enumerative Program Synthesis via Divide and Conquer.
TACAS (1)
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
2015 — conf
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.
CAV (2)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 J jnl
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
CoRR
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 J jnl
Optimizing Solution Quality in Synchronization Synthesis.
CoRR
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 A conf
Segment Abstraction for Worst-Case Execution Time Analysis.
ESOP
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
2015 A* conf
Succinct Representation of Concurrent Trace Sets.
POPL
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
2015 — conf
Synthesis Through Unification.
CAV (2)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
2015 J jnl
Synthesis through Unification.
CoRR
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
2014 A* conf
Battery transition systems.
POPL
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
2014 J jnl
Interface simulation distances.
Theor. Comput. Sci.
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
2014 A* conf
Regression-Free Synthesis for Concurrency.
CAV
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2014 J jnl
Regression-free Synthesis for Concurrency.
CoRR
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2013 A* conf
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.
CAV
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
2013 A* conf
Quantitative abstraction refinement.
POPL
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2012 — conf
Interface Simulation Distances
GandALF
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
2012 J jnl
Simulation distances.
Theor. Comput. Sci.
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2012 Misc conf
Synthesis from incompatible specifications.
EMSOFT
Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
2011 J jnl
Quantitative Synthesis for Concurrent Programs
CoRR
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011 A* conf
Quantitative Synthesis for Concurrent Programs.
CAV
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2010 J jnl
GIST: A Solver for Probabilistic Games
CoRR
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
2010 A* conf
Gist: A Solver for Probabilistic Games.
CAV
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
2010 A* conf
Model Checking of Linearizability of Concurrent List Implementations.
CAV
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
2010 — conf
Quantitative Simulation Games.
Essays in Memory of Amir Pnueli
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
2010 B conf
Simulation Distances.
CONCUR
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna