Arjun Radhakrishna

Registered user since Fri 23 Oct 2015

Name: Arjun Radhakrishna

Affiliation: Microsoft

Personal website: https://arjunradhakrishna.github.io

Contributions

POPL 2021Committee Member in Program Committee within the Research Papers-track
SPLASH 2020Author of Structure Interpretation of Text Formats within the OOPSLA-track
Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track
PLDI 2020Presenter of BluePencil: Automating repetitive code edits without examples within the Sponsors-track
SPLASH 2019Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track
Author of On the Fly Synthesis of Edit Suggestions within the Posters-track
Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track
PLDI 2019Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track
ICFP 2019Author of Sequential Programming for Replicated Data Stores within the Research Papers-track
* ICSE 2018 *Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track
PLDI 2016Committee Member in External Review Committee
POPL 2016Author of T7: Trace-based Synchronization Synthesis for Concurrent Programs within the Tutorials-track
Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
ESOP 2015Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track