abstract pattern on dark purple background

Microsoft Research Lab – India

新闻与深度文章

Akshay_podcast

新闻报道 | Microsoft Research India Podcast

The Internet of Things has been around for a few years now and many businesses and organizations depend on data from these systems to make critical decisions. At the same time, it is also well recognized that this data- even…

IoTShow

新闻报道 | Internet of Things Show

Data is the new oil. Customers are increasingly using sensors to collect data and use that to make critical business decisions. The quality of data drives the quality of decision and outcomes. Verified Telemetry is a new capability offered as…

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.”
微软研究院博客

| Tahina Ramananandro, Aseem Rastogi, 和 Nikhil Swamy

EverParse 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, a collaboration between Microsoft Research labs in Redmond, Washington; India;…

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.
微软研究院博客

| 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…

新闻报道 | Microsoft Stories | India

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.

奖项 | Indian Academy of Sciences

Manik Varma was elected as a Fellow of the Indian Academy of Sciences 2021.

新闻报道 | The Times of India

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…