Author

Arjun Radhakrishna

Observed names: Radhakrishna, A., Radhakrishna, Arjun

Observed institutions: Microsoft (United States), Institute of Science and Technology Austria, University of Pennsylvania

ORCID: 0000-0002-5559-5932

Observed ORCID: 0000-0002-5559-5932

OpenAlex ID: A5000188805

Scaling Enumerative Program Synthesis via Divide and Conquer

2017 · Rajeev Alur, Arjun Radhakrishna, et al. · Lecture notes in computer science · 143

Quantitative Synthesis for Concurrent Programs

2011 · Pavol Černý, Krishnendu Chatterjee, et al. · Lecture notes in computer science · 79

PDF

Quantitative Synthesis for Concurrent Programs

2011 · Cerny, Pavol, Chatterjee, Krishnendu, et al. · arXiv (Cornell University) · 55

PDF

Synthesis Through Unification

2015 · Rajeev Alur, Pavol Černý, et al. · Lecture notes in computer science · 53

PDF

Model Checking of Linearizability of Concurrent List Implementations

2010 · Pavol Černý, Arjun Radhakrishna, et al. · Lecture notes in computer science · 53

PDF

Simulation distances

2011 · Pavol Černý, Thomas A. Henzinger, et al. · Theoretical Computer Science · 51

PDF

On the fly synthesis of edit suggestions

2019 · Anders Miltner, Sumit Gulwani, et al. · Proceedings of the ACM on Programming Languages · 48

PDF

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations

2013 · Pavol Černý, Thomas A. Henzinger, et al. · Lecture notes in computer science · 36

PDF

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

2021 · Kia Rahmani, Mohammad Raza, et al. · Proceedings of the ACM on Programming Languages · 33

PDF

Simulation Distances

2010 · Pavol Černý, Thomas A. Henzinger, et al. · Lecture notes in computer science · 33

Gist: A Solver for Probabilistic Games

2010 · Krishnendu Chatterjee, Thomas A. Henzinger, et al. · Lecture notes in computer science · 32

PDF

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

2023 · José Cambronero, Sumit Gulwani, et al. · Proceedings of the ACM on Programming Languages · 27

PDF

Quantitative abstraction refinement

2013 · Pavol Cerny, Thomas A. Henzinger, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 27

Succinct Representation of Concurrent Trace Sets

2014 · Ashutosh Gupta, Thomas A. Henzinger, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 25

PDF

Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode’s User Experience

2023 · Priyan Vaithilingam, Elena L. Glassman, et al. · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 24

Segment Abstraction for Worst-Case Execution Time Analysis

2015 · Pavol Černý, Thomas A. Henzinger, et al. · Lecture notes in computer science · 20

Let’s Fix this Together: Conversational Debugging with GitHub Copilot

2024 · Yasharth Bajpai, Bhavya Chopra, et al. · IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) · 18

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

2021 · Xiang Gao, Arjun Radhakrishna, et al. · Proceedings of the ACM on Programming Languages · 18

PDF

Conformance Constraint Discovery

2021 · Anna Fariha, Ashish Tiwari, et al. · ACM SIGMOD International Conference on Management of Data (SIGMOD) · 18

PDF

4 Regression-free Synthesis for Concurrency∗

2014 · Thomas A. Henzinger, Arjun Radhakrishna, et al. · 18

Trace-Guided Inductive Synthesis of Recursive Functional Programs

2023 · Yongwei Yuan, Arjun Radhakrishna, et al. · Proceedings of the ACM on Programming Languages · 17

PDF

Feedback-driven semi-supervised synthesis of program transformations

2020 · Xiang Gao, Shraddha Barke, et al. · Proceedings of the ACM on Programming Languages · 17

PDF

Synthesis and machine learning for heterogeneous extraction

2019 · Arun Iyer, Manohar Jonnalagedda, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 17

Grace: Language Models Meet Code Edits

2023 · Priyanshu Gupta, Avishree Khare, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 15

PDF

Overwatch: learning patterns in code edit sequences

2022 · Yuhao Zhang, Yasharth Bajpai, et al. · Proceedings of the ACM on Programming Languages · 15

PDF

Works count: 89

Citation count: 1,112

H-index: 18

I10-index: 35