Arjun Radhakrishna

Principal Researcher

Connect on LinkedIn

Publications

View by:

- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback
  
  Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
  
  July 2025
  
  Preprint
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- METAREFLECTION: Learning Instructions for Language Agents using Past Reflections
  
  Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
  
  EMNLP'24 | October 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants
  
  Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- Explainable Program Synthesis by Localizing Specifications
  
  Amirmohammad Nazari , Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
  
  OOPSLA | October 2023
  
  Publication
- Trace-Guided Inductive Synthesis of Recursive Functional Programs
  
  Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
  
  PLDI | June 2023
  
  Distinguished Paper
  
  Publication
- Towards More Effective AI-assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode’s User Experience
  
  Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang
  
  ICSE SEIP | May 2023
  
  Publication
- FlashFill++: Scaling Programming by Example by Cutting to the Chase
  
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
  
  Principles of Programming Languages | January 2023
  
  Publication
- AutoTSG: Learning and Synthesis for Incident Troubleshooting
  
  Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
  
  ESEC/FSE 2022 | November 2022
  
  Publication Publication Publication
- NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
  
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
  
  FSE | November 2022
  
  PDF
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Project
- Landmarks and Regions: A Robust Approach to Data Extraction
  
  Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
  
  Programming Language Design and Implementation (PLDI) | June 2022
  
  Publication PDF
- PROSE Research Fellowship Program
  
  Sumit Gulwani, Arjun Radhakrishna
  
  May 2022
  
  Publication
- Learning Patterns in Configuration
  
  Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
  
  2021 Automated Software Engineering | November 2021
  
  PDF
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
  
  Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
  
  OOPSLA | September 2021
  
  PDF
- ProLinguist: Program Synthesis for Linguistics and NLP
  
  Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
  
  Publication Project Project
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
  
  Proceedings of the 2021 International Conference on Management of Data | June 2021
  
  DOI Publication Publication
- Structure interpretation of text formats
  
  Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
  
  DOI PDF Author's Version Publication Publication Publication Video Project Project Project
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Video Video Project
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Video
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Video Project Project
- Sequential Programming for Replicated Data Stores
  
  Nicholas Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerny
  
  International Conference on Functional Programming (ICFP) | July 2019
  
  PDF Publication DOI
- Synthesis and machine learning for heterogeneous extraction
  
  Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  Programming Language Design and Implementation (PLDI) | June 2019
  
  PDF DOI Project Project
- DroidStar: callback typestates for Android classes
  
  Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
  
  International Conference on Software Engineeering | May 2018
  
  Publication DOI PDF
- From non-preemptive to preemptive scheduling using synchronization synthesis
  
  Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
  
  2017 Formal Methods | May 2017
  
  DOI Project
- Scaling Enumerative Program Synthesis via Divide and Conquer
  
  Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
  
  PDF Publication DOI Project
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (2015)
  
  Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
  
  2015 Computer Aided Verification | July 2015
  
  PDF DOI Project
- Synthesis Through Unification
  
  Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | July 2015
  
  PDF Publication DOI Project
- Segment Abstraction for Worst-Case Execution Time Analysis
  
  Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
  
  European Symposium on Programming Languages and Systems (ESOP) | April 2015
  
  PDF Publication DOI Project
- Succinct Representation of Concurrent Trace Sets
  
  Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
  
  Principles of Programming Languages (POPL) | January 2015
  
  PDF Publication DOI Project
- Interface simulation distances
  
  Pavol Cerny, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
  
  Theoretical Computer Science | December 2014, Vol 560: pp. 348-363
  
  PDF DOI Project
- Quantitative Specifications for Verification and Synthesis
  
  Arjun Radhakrishna
  
  July 2014
  
  PhD Thesis: IST Austria | July 2014
  
  PDF Publication
- Regression-Free Synthesis for Concurrency
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
  
  Computer Aided Verification (CAV) | July 2014
  
  PDF Publication DOI Project
- Battery Transition Systems
  
  Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
  
  Principles of Programming Languages (POPL) | January 2014
  
  PDF Publication DOI Project
- Efficient Synthesis for Concurrency by Semantics-Preserving Transformations
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
  
  Computer Aided Verification (CAV) | July 2013
  
  PDF Publication DOI Project
- Quantitative Abstraction Refinement
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Principles of Programming Languages (POPL) | January 2013
  
  PDF Publication DOI Project
- Synthesis from incompatible specifications
  
  Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
  
  2012 Embedded Software | October 2012
  
  Nominated for the Best Paper award
  
  Publication DOI Project
- Simulation distances
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35
  
  2010 International Conference on Concurrency Theory
  
  PDF DOI Project
- Quantitative Synthesis for Concurrent Programs
  
  Pavol Cerny, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
  
  Computer Aided Verification (CAV) | July 2011
  
  Errata: The synthesis problem is PSPACE-complete, rather than NEXP-complete as claimed. However, the message that the problem is computationally hard still stands.
  
  PDF Publication DOI Project
- Model Checking of Linearizability of Concurrent List Implementations
  
  Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
  
  Computer Aided Verification (CAV) | July 2010
  
  PDF Publication DOI
- Quantitative Simulation Games
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Time for Verification: Essays in Memory of Amir Pnueli | July 2010
  
  PDF Publication DOI Project
- GIST: A Solver for Probabilistic Games
  
  Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | January 2010
  
  PDF Publication DOI

- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback
  
  Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
  
  July 2025
  
  Preprint
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- METAREFLECTION: Learning Instructions for Language Agents using Past Reflections
  
  Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
  
  EMNLP'24 | October 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants
  
  Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- Towards More Effective AI-assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode’s User Experience
  
  Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang
  
  ICSE SEIP | May 2023
  
  Publication
- AutoTSG: Learning and Synthesis for Incident Troubleshooting
  
  Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
  
  ESEC/FSE 2022 | November 2022
  
  Publication Publication Publication
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Project
- Landmarks and Regions: A Robust Approach to Data Extraction
  
  Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
  
  Programming Language Design and Implementation (PLDI) | June 2022
  
  Publication PDF
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- ProLinguist: Program Synthesis for Linguistics and NLP
  
  Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
  
  Publication Project Project
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
  
  Proceedings of the 2021 International Conference on Management of Data | June 2021
  
  DOI Publication Publication
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Video Video Project
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Video Project Project
- Synthesis and machine learning for heterogeneous extraction
  
  Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  Programming Language Design and Implementation (PLDI) | June 2019
  
  PDF DOI Project Project
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Video
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants
  
  Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- Towards More Effective AI-assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode’s User Experience
  
  Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang
  
  ICSE SEIP | May 2023
  
  Publication
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Project
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Video Project Project
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants
  
  Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- Explainable Program Synthesis by Localizing Specifications
  
  Amirmohammad Nazari , Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
  
  OOPSLA | October 2023
  
  Publication
- Trace-Guided Inductive Synthesis of Recursive Functional Programs
  
  Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
  
  PLDI | June 2023
  
  Distinguished Paper
  
  Publication
- FlashFill++: Scaling Programming by Example by Cutting to the Chase
  
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
  
  Principles of Programming Languages | January 2023
  
  Publication
- AutoTSG: Learning and Synthesis for Incident Troubleshooting
  
  Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
  
  ESEC/FSE 2022 | November 2022
  
  Publication Publication Publication
- NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
  
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
  
  FSE | November 2022
  
  PDF
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Project
- PROSE Research Fellowship Program
  
  Sumit Gulwani, Arjun Radhakrishna
  
  May 2022
  
  Publication
- Learning Patterns in Configuration
  
  Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
  
  2021 Automated Software Engineering | November 2021
  
  PDF
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
  
  Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
  
  OOPSLA | September 2021
  
  PDF
- Structure interpretation of text formats
  
  Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
  
  DOI PDF Author's Version Publication Publication Publication Video Project Project Project
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Video Video Project
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Video
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Video Project Project
- Sequential Programming for Replicated Data Stores
  
  Nicholas Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerny
  
  International Conference on Functional Programming (ICFP) | July 2019
  
  PDF Publication DOI
- Synthesis and machine learning for heterogeneous extraction
  
  Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  Programming Language Design and Implementation (PLDI) | June 2019
  
  PDF DOI Project Project
- DroidStar: callback typestates for Android classes
  
  Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
  
  International Conference on Software Engineeering | May 2018
  
  Publication DOI PDF
- From non-preemptive to preemptive scheduling using synchronization synthesis
  
  Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
  
  2017 Formal Methods | May 2017
  
  DOI Project
- Scaling Enumerative Program Synthesis via Divide and Conquer
  
  Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
  
  PDF Publication DOI Project
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (2015)
  
  Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
  
  2015 Computer Aided Verification | July 2015
  
  PDF DOI Project
- Synthesis Through Unification
  
  Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | July 2015
  
  PDF Publication DOI Project
- Segment Abstraction for Worst-Case Execution Time Analysis
  
  Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
  
  European Symposium on Programming Languages and Systems (ESOP) | April 2015
  
  PDF Publication DOI Project
- Succinct Representation of Concurrent Trace Sets
  
  Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
  
  Principles of Programming Languages (POPL) | January 2015
  
  PDF Publication DOI Project
- Interface simulation distances
  
  Pavol Cerny, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
  
  Theoretical Computer Science | December 2014, Vol 560: pp. 348-363
  
  PDF DOI Project
- Quantitative Specifications for Verification and Synthesis
  
  Arjun Radhakrishna
  
  July 2014
  
  PhD Thesis: IST Austria | July 2014
  
  PDF Publication
- Regression-Free Synthesis for Concurrency
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
  
  Computer Aided Verification (CAV) | July 2014
  
  PDF Publication DOI Project
- Battery Transition Systems
  
  Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
  
  Principles of Programming Languages (POPL) | January 2014
  
  PDF Publication DOI Project
- Efficient Synthesis for Concurrency by Semantics-Preserving Transformations
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
  
  Computer Aided Verification (CAV) | July 2013
  
  PDF Publication DOI Project
- Quantitative Abstraction Refinement
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Principles of Programming Languages (POPL) | January 2013
  
  PDF Publication DOI Project
- Synthesis from incompatible specifications
  
  Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
  
  2012 Embedded Software | October 2012
  
  Nominated for the Best Paper award
  
  Publication DOI Project
- Simulation distances
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35
  
  2010 International Conference on Concurrency Theory
  
  PDF DOI Project
- Quantitative Synthesis for Concurrent Programs
  
  Pavol Cerny, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
  
  Computer Aided Verification (CAV) | July 2011
  
  Errata: The synthesis problem is PSPACE-complete, rather than NEXP-complete as claimed. However, the message that the problem is computationally hard still stands.
  
  PDF Publication DOI Project
- Quantitative Simulation Games
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Time for Verification: Essays in Memory of Amir Pnueli | July 2010
  
  PDF Publication DOI Project
- Model Checking of Linearizability of Concurrent List Implementations
  
  Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
  
  Computer Aided Verification (CAV) | July 2010
  
  PDF Publication DOI
- GIST: A Solver for Probabilistic Games
  
  Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | January 2010
  
  PDF Publication DOI
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- AutoTSG: Learning and Synthesis for Incident Troubleshooting
  
  Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
  
  ESEC/FSE 2022 | November 2022
  
  Publication Publication Publication

- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
  
  Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
  
  ArXiv | February 2025, Vol abs/2502.09787
  
  DOI Publication
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
  
  Proceedings of the 2021 International Conference on Management of Data | June 2021
  
  DOI Publication Publication
- Interface simulation distances
  
  Pavol Cerny, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
  
  Theoretical Computer Science | December 2014, Vol 560: pp. 348-363
  
  PDF DOI Project
- Simulation distances
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35
  
  2010 International Conference on Concurrency Theory
  
  PDF DOI Project
- Quantitative Simulation Games
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Time for Verification: Essays in Memory of Amir Pnueli | July 2010
  
  PDF Publication DOI Project
- Microsoft New Future of Work Report 2024
  
  Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
  
  MSR-TR-2024-56 | December 2024
  
  Published by Microsoft
  
  Publication Project Project
- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback
  
  Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
  
  July 2025
  
  Preprint
- METAREFLECTION: Learning Instructions for Language Agents using Past Reflections
  
  Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
  
  EMNLP'24 | October 2024
  
  Publication
- Let’s Fix this Together: Conversational Debugging with GitHub Copilot
  
  Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
  
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
  
  Best Research Paper Award
  
  Publication
- RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations
  
  Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
  
  AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
  
  Best Paper Presentation Award
  
  Publication DOI
- Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants
  
  Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
  
  NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
  
  DOI Publication
- Grace: Language Models Meet Code Edits
  
  Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
  
  ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
  
  DOI Preprint Publication
- Explainable Program Synthesis by Localizing Specifications
  
  Amirmohammad Nazari , Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
  
  OOPSLA | October 2023
  
  Publication
- Trace-Guided Inductive Synthesis of Recursive Functional Programs
  
  Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
  
  PLDI | June 2023
  
  Distinguished Paper
  
  Publication
- Towards More Effective AI-assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode’s User Experience
  
  Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang
  
  ICSE SEIP | May 2023
  
  Publication
- FlashFill++: Scaling Programming by Example by Cutting to the Chase
  
  José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
  
  Principles of Programming Languages | January 2023
  
  Publication
- AutoTSG: Learning and Synthesis for Incident Troubleshooting
  
  Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
  
  ESEC/FSE 2022 | November 2022
  
  Publication Publication Publication
- NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
  
  Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
  
  FSE | November 2022
  
  PDF
- Overwatch: Learning Patterns in Code Edit Sequences
  
  Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
  
  OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
  
  Publication Project
- Landmarks and Regions: A Robust Approach to Data Extraction
  
  Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
  
  Programming Language Design and Implementation (PLDI) | June 2022
  
  Publication PDF
- Learning Patterns in Configuration
  
  Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
  
  2021 Automated Software Engineering | November 2021
  
  PDF
- Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
  
  Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
  
  OOPSLA | October 2021
  
  Publication
- APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
  
  Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
  
  OOPSLA | September 2021
  
  PDF
- ProLinguist: Program Synthesis for Linguistics and NLP
  
  Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
  
  Publication Project Project
- Structure interpretation of text formats
  
  Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
  
  DOI PDF Author's Version Publication Publication Publication Video Project Project Project
- Feedback-Driven Semi-Supervised Synthesis of Program Transformations
  
  Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
  
  OOPSLA | October 2020
  
  Publication Video Video Project
- ExTuNe: Explaining Tuple Non-conformance
  
  Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
  
  2020 International Conference on Management of Data | June 2020
  
  DOI PDF Publication Video
- On the fly synthesis of edit suggestions
  
  Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
  
  Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
  
  PDF DOI Video Project Project
- Sequential Programming for Replicated Data Stores
  
  Nicholas Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerny
  
  International Conference on Functional Programming (ICFP) | July 2019
  
  PDF Publication DOI
- Synthesis and machine learning for heterogeneous extraction
  
  Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
  
  Programming Language Design and Implementation (PLDI) | June 2019
  
  PDF DOI Project Project
- DroidStar: callback typestates for Android classes
  
  Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
  
  International Conference on Software Engineeering | May 2018
  
  Publication DOI PDF
- From non-preemptive to preemptive scheduling using synchronization synthesis
  
  Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
  
  2017 Formal Methods | May 2017
  
  DOI Project
- Scaling Enumerative Program Synthesis via Divide and Conquer
  
  Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
  
  PDF Publication DOI Project
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (2015)
  
  Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
  
  2015 Computer Aided Verification | July 2015
  
  PDF DOI Project
- Synthesis Through Unification
  
  Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | July 2015
  
  PDF Publication DOI Project
- Segment Abstraction for Worst-Case Execution Time Analysis
  
  Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
  
  European Symposium on Programming Languages and Systems (ESOP) | April 2015
  
  PDF Publication DOI Project
- Succinct Representation of Concurrent Trace Sets
  
  Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
  
  Principles of Programming Languages (POPL) | January 2015
  
  PDF Publication DOI Project
- Regression-Free Synthesis for Concurrency
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
  
  Computer Aided Verification (CAV) | July 2014
  
  PDF Publication DOI Project
- Battery Transition Systems
  
  Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
  
  Principles of Programming Languages (POPL) | January 2014
  
  PDF Publication DOI Project
- Efficient Synthesis for Concurrency by Semantics-Preserving Transformations
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
  
  Computer Aided Verification (CAV) | July 2013
  
  PDF Publication DOI Project
- Quantitative Abstraction Refinement
  
  Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
  
  Principles of Programming Languages (POPL) | January 2013
  
  PDF Publication DOI Project
- Synthesis from incompatible specifications
  
  Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
  
  2012 Embedded Software | October 2012
  
  Nominated for the Best Paper award
  
  Publication DOI Project
- Quantitative Synthesis for Concurrent Programs
  
  Pavol Cerny, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
  
  Computer Aided Verification (CAV) | July 2011
  
  Errata: The synthesis problem is PSPACE-complete, rather than NEXP-complete as claimed. However, the message that the problem is computationally hard still stands.
  
  PDF Publication DOI Project
- Model Checking of Linearizability of Concurrent List Implementations
  
  Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
  
  Computer Aided Verification (CAV) | July 2010
  
  PDF Publication DOI
- GIST: A Solver for Probabilistic Games
  
  Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | January 2010
  
  PDF Publication DOI
- PROSE Research Fellowship Program
  
  Sumit Gulwani, Arjun Radhakrishna
  
  May 2022
  
  Publication
- Quantitative Specifications for Verification and Synthesis
  
  Arjun Radhakrishna
  
  July 2014
  
  PhD Thesis: IST Austria | July 2014
  
  PDF Publication