• Sign in
  • Sign up
conf.researchr.org / Arjun Radhakrishna
  • * ICSE 2018 * profile
  • ESOP 2015 profile
  • ICFP 2019 profile
  • PLDI 2016 profile
  • PLDI 2019 profile
  • POPL 2016 profile
  • SPLASH 2019 profile
Arjun Radhakrishna

Registered user since Fri 23 Oct 2015

Name: Arjun Radhakrishna

Affiliation: Microsoft

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

Contributions

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

Share
xSat 14 Dec 14:21
using conf.researchr.org (v1.21.5)
Support page
Sign Up