Scholar
Arjun Radhakrishna
Google Scholar ID: 3fJqC1sAAAAJ
Microsoft
Citations & Impact
Citations
1,176
H-index
19
i10-index
32
Publications
20
Co-authors
0
Publications
Resume (English only)
Background
- Researcher in the PROSE team at Microsoft Research
- Research motivated by the question: “Can computers help me build better systems quicker?”
- Focuses on program synthesis and formal methods for programmers, students, and data scientists
- Recently exploring 'modeless synthesis', where specifications are inferred automatically without explicit user input
- Developed a system for automated refactoring and repetitive code edit suggestions, released as IntelliCode Suggestions in Visual Studio 2019
Co-authors