default search action
Arjun Radhakrishna
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c30]Param Biyani
, Yasharth Bajpai
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. AIware 2024 - [c29]Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi:
MetaReflection: Learning Instructions for Language Agents using Past Reflections. EMNLP 2024: 8369-8385 - [c28]Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Dustin Coleman, Sumit Gulwani, Chris Parnin, Arjun Radhakrishna, Gustavo Soares:
Let's Fix this Together: Conversational Debugging with GitHub Copilot. VL/HCC 2024: 1-12 - [i18]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 abs/2402.06229 (2024) - [i17]Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares:
METAREFLECTION: Learning Instructions for Language Agents using Past Reflections. CoRR abs/2405.13009 (2024) - 2023
- [j13]Amirmohammad Nazari
Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7(OOPSLA2): 2171-2195 (2023) - [j12]Yongwei Yuan
Trace-Guided Inductive Synthesis of Recursive Functional Programs. Proc. ACM Program. Lang. 7(PLDI): 860-883 (2023) - [j11]José Cambronero
FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7(POPL): 952-981 (2023) - [c27]Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. ICSE-SEIP 2023: 185-195 - [c26]Priyanshu Gupta
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE 2023: 1483-1495 - [i16]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna
GrACE: Generation using Associated Code Edits. CoRR abs/2305.14129 (2023) - 2022
- [j10]Yuhao Zhang
Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. 6(OOPSLA2): 395-423 (2022) - [c25]Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry
Landmarks and regions: a robust approach to data extraction. PLDI 2022: 993-1009 - [c24]Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE 2022: 972-983 - [c23]Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna
AutoTSG: learning and synthesis for incident troubleshooting. ESEC/SIGSOFT FSE 2022: 1477-1488 - [i15]Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna
Landmarks and Regions: A Robust Approach to Data Extraction. CoRR abs/2204.05021 (2022) - [i14]Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna
AutoTSG: Learning and Synthesis for Incident Troubleshooting. CoRR abs/2205.13457 (2022) - [i13]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna
Overwatch: Learning Patterns in Code Edit Sequences. CoRR abs/2207.12456 (2022) - 2021
- [j9]Xiang Gao, Arjun Radhakrishna
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j8]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [c22]Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna
Learning Patterns in Configuration. ASE 2021: 817-828 - [c21]Anna Fariha
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference 2021: 499-512 - [c20]Anna Fariha
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference 2021: 2706-2710 - [i12]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 abs/2109.02445 (2021) - 2020
- [j7]Sumit Gulwani, Vu Le, Arjun Radhakrishna
Structure interpretation of text formats. Proc. ACM Program. Lang. 4(OOPSLA): 212:1-212:29 (2020) - [j6]Xiang Gao, Shraddha Barke
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4(OOPSLA): 219:1-219:30 (2020) - [c19]Anna Fariha
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference 2020: 2741-2744 - [i11]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Data Invariants: On Trust in Data-Driven Systems. CoRR abs/2003.01289 (2020) - [i10]Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020)
2010 – 2019
- 2019
- [j5]Nicholas V. Lewchenko, Arjun Radhakrishna
Sequential programming for replicated data stores. Proc. ACM Program. Lang. 3(ICFP): 106:1-106:28 (2019) - [j4]Anders Miltner
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3(OOPSLA): 143:1-143:29 (2019) - [c18]Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna
Synthesis and machine learning for heterogeneous extraction. PLDI 2019: 301-315 - [i9]Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa:
Quantitative Programming by Examples. CoRR abs/1909.05964 (2019) - 2018
- [c17]Arjun Radhakrishna
DroidStar: callback typestates for Android classes. ICSE 2018: 1160-1170 - [i8]Nicholas V. Lewchenko, Arjun Radhakrishna, Pavol Cerný:
Conflict-Aware Replicated Data Types. CoRR abs/1802.08733 (2018) - 2017
- [j3]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50(2-3): 97-139 (2017) - [c16]Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa:
Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS (1) 2017: 319-336 - [i7]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 abs/1701.07842 (2017) - 2015
- [c15]Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis Through Unification. CAV (2) 2015: 163-179 - [c14]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: 180-197 - [c13]Pavol Cerný, Thomas A. Henzinger, Laura Kovács
Segment Abstraction for Worst-Case Execution Time Analysis. ESOP 2015: 105-131 - [c12]Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna
Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444 - [i6]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 abs/1505.04533 (2015) - [i5]Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis through Unification. CoRR abs/1505.05868 (2015) - [i4]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
Optimizing Solution Quality in Synchronization Synthesis. CoRR abs/1511.07163 (2015) - 2014
- [j2]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014) - [c11]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-Free Synthesis for Concurrency. CAV 2014: 568-584 - [c10]Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
Battery transition systems. POPL 2014: 595-606 - [i3]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-free Synthesis for Concurrency. CoRR abs/1407.3681 (2014) - 2013
- [c9]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV 2013: 951-967 - [c8]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Quantitative abstraction refinement. POPL 2013: 115-128 - 2012
- [j1]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012) - [c7]Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna
Synthesis from incompatible specifications. EMSOFT 2012: 53-62 - [c6]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
Interface Simulation Distances. GandALF 2012: 29-42 - 2011
- [c5]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259 - [i2]Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011) - 2010
- [c4]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60 - [c3]Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur:
Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479 - [c2]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna:
Gist: A Solver for Probabilistic Games. CAV 2010: 665-669 - [c1]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna:
Simulation Distances. CONCUR 2010: 253-268 - [i1]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna:
GIST: A Solver for Probabilistic Games. CoRR abs/1004.2367 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: