Arjun Radhakrishna

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 36

Top Topics

Interaction Patterns

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

SIGMOD Conference

Publications

Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. AIware (2024)
Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants. CoRR (2024)
Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
METAREFLECTION: Learning Instructions for Language Agents using Past Reflections. CoRR (2024)
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7 (POPL) (2023)
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE (2023)
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
GrACE: Generation using Associated Code Edits. CoRR (2023)
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
Trace-Guided Inductive Synthesis of Recursive Functional Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. ICSE-SEIP (2023)
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
Overwatch: Learning Patterns in Code Edit Sequences. CoRR (2022)
Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
AutoTSG: Learning and Synthesis for Incident Troubleshooting. CoRR (2022)
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
Landmarks and regions: a robust approach to data extraction. PLDI (2022)
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
Landmarks and Regions: A Robust Approach to Data Extraction. CoRR (2022)
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE (2022)
Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
AutoTSG: learning and synthesis for incident troubleshooting. ESEC/SIGSOFT FSE (2022)
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR (2021)
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference (2021)
Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference (2021)
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
Learning Patterns in Configuration. ASE (2021)
Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR (2020)
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Data Invariants: On Trust in Data-Driven Systems. CoRR (2020)
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference (2020)
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
Structure interpretation of text formats. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa
Quantitative Programming by Examples. CoRR (2019)
Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani
Synthesis and machine learning for heterogeneous extraction. PLDI (2019)
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
Sequential programming for replicated data stores. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný
Conflict-Aware Replicated Data Types. CoRR (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50 (2-3) (2017)
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS (1) (2017)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR (2015)
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
Succinct Representation of Concurrent Trace Sets. POPL (2015)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
Synthesis Through Unification. CAV (2) (2015)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
Synthesis through Unification. CoRR (2015)
Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
Optimizing Solution Quality in Synchronization Synthesis. CoRR (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) (2015)
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
Battery transition systems. POPL (2014)
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface simulation distances. Theor. Comput. Sci. 560 (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-Free Synthesis for Concurrency. CAV (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-free Synthesis for Concurrency. CoRR (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV (2013)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Quantitative abstraction refinement. POPL (2013)
Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
Synthesis from incompatible specifications. EMSOFT (2012)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Simulation distances. Theor. Comput. Sci. 413 (1) (2012)
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface Simulation Distances GandALF (2012)
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Quantitative Synthesis for Concurrent Programs CoRR (2011)
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Quantitative Synthesis for Concurrent Programs. CAV (2011)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Quantitative Simulation Games. Essays in Memory of Amir Pnueli (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
GIST: A Solver for Probabilistic Games CoRR (2010)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Simulation Distances. CONCUR (2010)
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
Model Checking of Linearizability of Concurrent List Implementations. CAV (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
Gist: A Solver for Probabilistic Games. CAV (2010)