Quantitative Simulation Games. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna (Essays in Memory of Amir Pnueli, 2010)

Model Checking of Linearizability of Concurrent List Implementations. - Pavol Cerný; Arjun Radhakrishna; Damien Zufferey; Swarat Chaudhuri; Rajeev Alur (CAV, 2010)

Gist: A Solver for Probabilistic Games. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann; Arjun Radhakrishna (CAV, 2010)

Quantitative Synthesis for Concurrent Programs. - Pavol Cerný; Krishnendu Chatterjee; Thomas A. Henzinger; Arjun Radhakrishna; Rohit Singh 002 (CAV, 2011)

Synthesis from incompatible specifications. - Pavol Cerný; Sivakanth Gopi; Thomas A. Henzinger; Arjun Radhakrishna; Nishant Totla (EMSOFT, 2012)

Simulation distances. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna (Theor. Comput. Sci., 2012)

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Thorsten Tarrach (CAV, 2013)

Quantitative abstraction refinement. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna (POPL, 2013)

Regression-Free Synthesis for Concurrency. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Thorsten Tarrach (CAV, 2014)

Battery transition systems. - Udi Boker; Thomas A. Henzinger; Arjun Radhakrishna (POPL, 2014)

Interface simulation distances. - Pavol Cerný; Martin Chmelik; Thomas A. Henzinger; Arjun Radhakrishna (Theor. Comput. Sci., 2014)

Synthesis Through Unification. - Rajeev Alur; Pavol Cerný; Arjun Radhakrishna (CAV (2), 2015)

Segment Abstraction for Worst-Case Execution Time Analysis. - Pavol Cerný; Thomas A. Henzinger; Laura Kovács; Arjun Radhakrishna; Jakob Zwirchmayr (ESOP, 2015)

Succinct Representation of Concurrent Trace Sets. - Ashutosh Gupta 001; Thomas A. Henzinger; Arjun Radhakrishna; Roopsha Samanta; Thorsten Tarrach (POPL, 2015)

Optimizing Solution Quality in Synchronization Synthesis. - Pavol Cerný; Edmund M. Clarke; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Roopsha Samanta; Thorsten Tarrach (CoRR, 2015)

Scaling Enumerative Program Synthesis via Divide and Conquer. - Rajeev Alur; Arjun Radhakrishna; Abhishek Udupa (TACAS (1), 2017)

Learning Asynchronous Typestates for Android Classes. - Arjun Radhakrishna; Nicholas V. Lewchenko; Shawn Meier; Sergio Mover; Krishna Chaitanya Sripada; Damien Zufferey; Bor-Yuh Evan Chang; Pavol Cerný (CoRR, 2017)

From non-preemptive to preemptive scheduling using synchronization synthesis. - Pavol Cerný; Edmund M. Clarke; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Roopsha Samanta; Thorsten Tarrach (Formal Methods Syst. Des., 2017)

DroidStar: callback typestates for Android classes. - Arjun Radhakrishna; Nicholas V. Lewchenko; Shawn Meier; Sergio Mover; Krishna Chaitanya Sripada; Damien Zufferey; Bor-Yuh Evan Chang; Pavol Cerný (ICSE, 2018)

Conflict-Aware Replicated Data Types. - Nicholas V. Lewchenko; Arjun Radhakrishna; Pavol Cerný (CoRR, 2018)

Synthesis and machine learning for heterogeneous extraction. - Arun Iyer; Manohar Jonnalagedda; Suresh Parthasarathy; Arjun Radhakrishna; Sriram K. Rajamani (PLDI, 2019)

Quantitative Programming by Examples. - Sumit Gulwani; Kunal Pathak; Arjun Radhakrishna; Ashish Tiwari 001; Abhishek Udupa (CoRR, 2019)

Sequential programming for replicated data stores. - Nicholas V. Lewchenko; Arjun Radhakrishna; Akash Gaonkar; Pavol Cerný (Proc. ACM Program. Lang., 2019)

On the fly synthesis of edit suggestions. - Anders Miltner; Sumit Gulwani; Vu Le 002; Alan Leung; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001; Abhishek Udupa (Proc. ACM Program. Lang., 2019)

ExTuNe: Explaining Tuple Non-conformance. - Anna Fariha; Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani (SIGMOD Conference, 2020)

Data Invariants: On Trust in Data-Driven Systems. - Anna Fariha; Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Alexandra Meliou (CoRR, 2020)

Information-theoretic User Interaction: Significant Inputs for Program Synthesis. - Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Daniel Perelman (CoRR, 2020)

Feedback-driven semi-supervised synthesis of program transformations. - Xiang Gao 012; Shraddha Barke; Arjun Radhakrishna; Gustavo Soares; Sumit Gulwani; Alan Leung; Nachiappan Nagappan; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2020)

Structure interpretation of text formats. - Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ivan Radicek; Mohammad Raza (Proc. ACM Program. Lang., 2020)

Learning Patterns in Configuration. - Ranjita Bhagwan; Sonu Mehta; Arjun Radhakrishna; Sahil Garg (ASE, 2021)

CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. - Anna Fariha; Ashish Tiwari 001; Alexandra Meliou; Arjun Radhakrishna; Sumit Gulwani (SIGMOD Conference, 2021)

Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. - Anna Fariha; Ashish Tiwari 001; Arjun Radhakrishna; Sumit Gulwani; Alexandra Meliou (SIGMOD Conference, 2021)

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2021)

APIfix: output-oriented program synthesis for combating breaking changes in libraries. - Xiang Gao 012; Arjun Radhakrishna; Gustavo Soares; Ridwan Shariffdeen; Sumit Gulwani; Abhik Roychoudhury (Proc. ACM Program. Lang., 2021)

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2021)

Landmarks and regions: a robust approach to data extraction. - Suresh Parthasarathy; Lincy Pattanaik; Anirudh Khatry; Arun Iyer; Arjun Radhakrishna; Sriram K. Rajamani; Mohammad Raza (PLDI, 2022)

AutoTSG: learning and synthesis for incident troubleshooting. - Manish Shetty; Chetan Bansal; Sai Pramod Upadhyayula; Arjun Radhakrishna; Anurag Gupta (ESEC/SIGSOFT FSE, 2022)

NL2Viz: natural language to visualization via constrained syntax-guided synthesis. - Zhengkai Wu; Vu Le 002; Ashish Tiwari 001; Sumit Gulwani; Arjun Radhakrishna; Ivan Radicek; Gustavo Soares; Xinyu Wang 006; Zhenwen Li; Tao Xie 001 (ESEC/SIGSOFT FSE, 2022)

Overwatch: learning patterns in code edit sequences. - Yuhao Zhang 005; Yasharth Bajpai; Priyanshu Gupta; Ameya Ketkar; Miltiadis Allamanis; Titus Barik; Sumit Gulwani; Arjun Radhakrishna; Mohammad Raza; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2022)

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; Aaron Yim (ICSE-SEIP, 2023)

Grace: Language Models Meet Code Edits. - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (ESEC/SIGSOFT FSE, 2023)

GrACE: Generation using Associated Code Edits. - Priyanshu Gupta; Avishree Khare; Yasharth Bajpai; Saikat Chakraborty; Sumit Gulwani; Aditya Kanade 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2023)

Trace-Guided Inductive Synthesis of Recursive Functional Programs. - Yongwei Yuan; Arjun Radhakrishna; Roopsha Samanta (Proc. ACM Program. Lang., 2023)

FlashFill++: Scaling Programming by Example by Cutting to the Chase. - José Cambronero; Sumit Gulwani; Vu Le 002; Daniel Perelman; Arjun Radhakrishna; Clint Simon; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2023)

Explainable Program Synthesis by Localizing Specifications. - Amirmohammad Nazari; Yifei Huang 007; Roopsha Samanta; Arjun Radhakrishna; Mukund Raghothaman (Proc. ACM Program. Lang., 2023)

RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. - Param Biyani; Yasharth Bajpai; Arjun Radhakrishna; Gustavo Soares; Sumit Gulwani (AIware, 2024)

MetaReflection: Learning Instructions for Language Agents using Past Reflections. - Priyanshu Gupta; Shashank Kirtania; Ananya Singha; Sumit Gulwani; Arjun Radhakrishna; Gustavo Soares; Sherry Shi (EMNLP, 2024)

Let's Fix this Together: Conversational Debugging with GitHub Copilot. - Yasharth Bajpai; Bhavya Chopra; Param Biyani; Cagri Aslan; Dustin Coleman; Sumit Gulwani; Chris Parnin; Arjun Radhakrishna; Gustavo Soares (VL/HCC, 2024)

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 (CoRR, 2024)

STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. - Naman Gupta; Shashank Kirtania; Priyanshu Gupta; Krishna K. Mehra; Sumit Gulwani; Arun Iyer; Suresh Parthasarathy; Arjun Radhakrishna; Sriram K. Rajamani; Gustavo Soares (CoRR, 2024)

TableTalk: Scaffolding Spreadsheet Development with a Language Agent. - Jenny T. Liang; Aayush Kumar; Yasharth Bajpai; Sumit Gulwani; Vu Le 002; Chris Parnin; Arjun Radhakrishna; Ashish Tiwari 001; Emerson R. Murphy-Hill; Gustavo Soares (CoRR, 2025)

DataVinci: Learning Syntactic and Semantic String Repairs. - Mukul Singh; José Cambronero; Sumit Gulwani; Vu Le 002; Carina Negreanu; Arjun Radhakrishna; Gust Verbruggen (Proc. ACM Manag. Data, 2025)

Ordered Semantically Diverse Sampling for Textual Data. - Ashish Tiwari 001; Mukul Singh; Ananya Singha; Arjun Radhakrishna (CoRR, 2025)

LLM-Guided Compositional Program Synthesis. - Ruhma Khan; Sumit Gulwani; Vu Le 002; Arjun Radhakrishna; Ashish Tiwari 001; Gust Verbruggen (CoRR, 2025)

TEN: Table Explicitization, Neurosymbolically. - Nikita Mehrotra; Aayush Kumar; Sumit Gulwani; Arjun Radhakrishna; Ashish Tiwari 001 (CoRR, 2025)