Video
Microsoft Research India – who we are.
Employees from Microsoft Research India talk about their work, their aspirations to change the world and what makes MSR India such a great place to work in.
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Microsoft Research Blog
Research Focus: Week of September 11, 2023
In this issue: Efficient polyglot analytics on semantic data aids query performance; generative retrieval for conversational question answering improves dialogue-based interfaces; a new tool uses ML to address capacity degradation in lithium-ion batteries.
Microsoft Research Blog
FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs
This research paper was presented at the 28th ACM SIGPLAN International Conference on Functional Programming (opens in new tab) (ICFP), a premier forum for discussing design, implementations, principles, and uses of functional programming. Functional programming…
Event
SIGCOMM 2023
Microsoft is proud to be a sponsor of the 37th ACM Special Interest Group on Data Communication (SIGCOMM 2023). The conference will feature an engaging program of workshops, tutorials, keynote speeches, paper presentations, posters, demos,…
Tool
Global Static Analysis With CodeQL
Resource Leak Checker (RLC#) for C# code using CodeQL—RLC# is a lightweight and modular resource leak checker for C# code. It is inspired by Checker Framework’s resource leak checker (RLC) for Java. RLC# is developed…
Event
ICFP 2023
Microsoft is proud to be a sponsor of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) (opens in new tab). The conference will be held in Seattle, Washington from September 4-9, 2023.…
Publication