Microsoft Research India

Microsoft Research Lab – India

News & features

An animation showing an example of a high-level language message format specified by EverParse. From the message, two arrows labeled “EverParse” point to a rectangle labeled “formal specification” and a rectangle labeled “low-level implementation,” respectively, inside a larger rectangle labeled “F* code.” The figure represents EverParse’s ability to automatically generate safe, correct, and fast F* parsing code. “Correctness” is defined as “Correctness: ​parse (serialize msg) = msg​” and “valid msg ==> serialize (parse msg) = msg​.” The F* logo appears with the description that F* is a type theory–based programming language and proof assistant that can prove theorems about programs​. From the “F* code” rectangle, arrows point from the “low-level implementation” rectangle and a rectangle labeled “verified libraries for combinators” to a rectangle labeled “Safe high-performance C code.”
Microsoft Research Blog

| Tahina Ramananandro, Aseem Rastogi, and Nikhil Swamy

EverParse (opens in new tab) is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of Project Everest (opens in new tab), a collaboration…

Sriram Rajamani - podcast photo
Microsoft Research India Podcast

   Episode 008 | April 20, 2021 Podcast: Research @Microsoft Research India: interdisciplinary and impactful. With Dr. Sriram Rajamani Microsoft Research India is constantly exploring how research can enable new technologies that positively impact the lives of people while…

A circular flow chart of the QL framework. At the top is a rectangle labeled “QL Scheduling Strategy” with the word “Agent” in parenthesis, representing that the strategy is mapped to an RL agent. From the rectangle, an arrow points around to a rectangle below it that contains a input state space. The rectangle is labeled “Program under test” with the word “Environment” in parenthesis, representing that the program is mapped to the unknown environment. The arrow is labeled “Next op,” and alongside it are the Softmax selection function and the value update formula.
Microsoft Research Blog

| Suvam Mukherjee

Many of our online activities, from receiving and sending emails to searching for information to streaming movies, are driven behind the scenes by cloud-based distributed architectures. Writing concurrent software—programs with multiple logical threads of execution—is of paramount importance to scale…

In the news | Microsoft Stories | India

Democratizing air pollution data so India can clear its cities of choking smog 

A majority of the world’s most polluted cities are in India. Air quality data that is accessible to citizens can help tackle the menace.

Awards | Indian Academy of Sciences

Manik Varma elected as Indian Academy of Sciences Fellow 

Manik Varma was elected as a Fellow (opens in new tab) of the Indian Academy of Sciences 2021.

In the news | The Times of India

Transport min opens automated driving test track in Aurangabad 

PATNA: State transport minister Sheela Kumari on Wednesday said that advanced training methods for efficient and transparent testing of candidates aspiring for a driving license would help to reduce road accidents in the state.

Microsoft Research India Podcast

One of Microsoft Research India’s goals is to help strengthen the research ecosystem and encourage young students to look at research as a career. But it is not always easy for students to understand what research is all about and…

Awards | ACM

Ranjita Bhagwan Chosen as Winner of ACM India Outstanding Contributions in Computing by a Woman (OCCW) 2020 Award 

The Association for Computing Machinery (ACM) India Council has named Dr. Ranjita Bhagwan as the recipient of the 2020 ACM India Outstanding Contributions in Computing by a Woman (OCCW) Award (opens in new tab). A selection committee comprising eminent international…

Sriram Rajamani awarded Distinguished Alumni 2020 College of Engineering, Guindy 

Sriram Rajamani, MSR India Lab Director, received the “Eminent Scientist” award from the Alumni Association of College of Engineering, Guindy (AACEG). Each year they select a number of alumni for the Distinguished Alumnus Award.  This year’s distinguished alumni have excelled…