Arjun Radhakrishna

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants.
CoRR, 2024

2023
Explainable Program Synthesis by Localizing Specifications.
Proc. ACM Program. Lang., October, 2023

FlashFill++: Scaling Programming by Example by Cutting to the Chase.
Proc. ACM Program. Lang., January, 2023

Trace-Guided Inductive Synthesis of Recursive Functional Programs.
Proc. ACM Program. Lang., 2023

GrACE: Generation using Associated Code Edits.
CoRR, 2023

Grace: Language Models Meet Code Edits.
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.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022
Overwatch: learning patterns in code edit sequences.
Proc. ACM Program. Lang., 2022

NL2Viz: natural language to visualization via constrained syntax-guided synthesis.
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.
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.
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.
Proc. ACM Program. Lang., 2021

APIfix: output-oriented program synthesis for combating breaking changes in libraries.
Proc. ACM Program. Lang., 2021

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

Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Learning Patterns in Configuration.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
Structure interpretation of text formats.
Proc. ACM Program. Lang., 2020

Feedback-driven semi-supervised synthesis of program transformations.
Proc. ACM Program. Lang., 2020

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

Data Invariants: On Trust in Data-Driven Systems.
CoRR, 2020

ExTuNe: Explaining Tuple Non-conformance.
Proceedings of the 2020 International Conference on Management of Data, 2020

2019
On the fly synthesis of edit suggestions.
Proc. ACM Program. Lang., 2019

Sequential programming for replicated data stores.
Proc. ACM Program. Lang., 2019

Quantitative Programming by Examples.
CoRR, 2019

Synthesis and machine learning for heterogeneous extraction.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Conflict-Aware Replicated Data Types.
CoRR, 2018

DroidStar: callback typestates for Android classes.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods Syst. Des., 2017

Learning Asynchronous Typestates for Android Classes.
CoRR, 2017

Scaling Enumerative Program Synthesis via Divide and Conquer.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015
Optimizing Solution Quality in Synchronization Synthesis.
CoRR, 2015

Succinct Representation of Concurrent Trace Sets.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Segment Abstraction for Worst-Case Execution Time Analysis.
Proceedings of the Programming Languages and Systems, 2015

Synthesis Through Unification.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Interface simulation distances.
Theor. Comput. Sci., 2014

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

Regression-Free Synthesis for Concurrency.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

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

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Simulation distances.
Theor. Comput. Sci., 2012

Synthesis from incompatible specifications.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
Quantitative Synthesis for Concurrent Programs.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Gist: A Solver for Probabilistic Games.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Model Checking of Linearizability of Concurrent List Implementations.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Quantitative Simulation Games.
Proceedings of the Time for Verification, 2010


  Loading...