Arjun Radhakrishna -

Registered user since Fri 23 Oct 2015

Name: Arjun Radhakrishna

Affiliation: Microsoft

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

Contributions

SPLASH 2019	Author 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 2019	Committee 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 2019	Author 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 2016	Committee Member in External Review Committee
POPL 2016	Author 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 2015	Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track