Arjun Radhakrishna

According to our database, Arjun Radhakrishna authored at least 46 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

2023

Explainable Program Synthesis by Localizing Specifications.

Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023

FlashFill++: Scaling Programming by Example by Cutting to the Chase.

José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari

Proc. ACM Program. Lang., January, 2023

Trace-Guided Inductive Synthesis of Recursive Functional Programs.

Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta

Proc. ACM Program. Lang., 2023

GrACE: Generation using Associated Code Edits.

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2023

Grace: Language Models Meet Code Edits.

Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Overwatch: learning patterns in code edit sequences.

Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2022

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

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

AutoTSG: learning and synthesis for incident troubleshooting.

Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Landmarks and regions: a robust approach to data extraction.

Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Proc. ACM Program. Lang., 2021

APIfix: output-oriented program synthesis for combating breaking changes in libraries.

Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury

Proc. ACM Program. Lang., 2021

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

CoRR, 2021

Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems.

Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning.

Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Learning Patterns in Configuration.

Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Structure interpretation of text formats.

Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza

Proc. ACM Program. Lang., 2020

Feedback-driven semi-supervised synthesis of program transformations.

Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

Proc. ACM Program. Lang., 2020

Information-theoretic User Interaction: Significant Inputs for Program Synthesis.

Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman

CoRR, 2020

Data Invariants: On Trust in Data-Driven Systems.

Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou

CoRR, 2020

ExTuNe: Explaining Tuple Non-conformance.

Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

On the fly synthesis of edit suggestions.

Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa

Proc. ACM Program. Lang., 2019

Sequential programming for replicated data stores.

Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný

Proc. ACM Program. Lang., 2019

Quantitative Programming by Examples.

Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa

CoRR, 2019

Synthesis and machine learning for heterogeneous extraction.

Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Conflict-Aware Replicated Data Types.

Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný

CoRR, 2018

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ý

Proceedings of the 40th International Conference on Software Engineering, 2018

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

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

Scaling Enumerative Program Synthesis via Divide and Conquer.

Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

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

Succinct Representation of Concurrent Trace Sets.

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Segment Abstraction for Worst-Case Execution Time Analysis.

Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr

Proceedings of the Programming Languages and Systems, 2015

Synthesis Through Unification.

Rajeev Alur, Pavol Cerný, Arjun Radhakrishna

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Interface simulation distances.

Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna

Theor. Comput. Sci., 2014

Battery transition systems.

Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Regression-Free Synthesis for Concurrency.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Quantitative abstraction refinement.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Simulation distances.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Theor. Comput. Sci., 2012

Synthesis from incompatible specifications.

Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Quantitative Synthesis for Concurrent Programs.

Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Gist: A Solver for Probabilistic Games.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Model Checking of Linearizability of Concurrent List Implementations.

Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Quantitative Simulation Games.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna

Proceedings of the Time for Verification, 2010