Projects
Coyote provides developers a programming framework for confidently building reliable asynchronous software on the .NET platform.
Consider the following scenario: two hospitals, each having sensitive patient data, must compute statistical information about their joint data. Privacy regulations forbid them from sharing data in the clear with any entity. So, can they compute this information while keeping…
A platform to enable mingling between in-person (physical) and remote (virtual) users. As normalcy has returned after the COVID-19 pandemic, offices have reopened, and events have returned to a physical format. However, the convenience and cost savings of remote work…
Established:
Project Sankie infuses data-driven techniques into engineering processes, development environments, and software lifecycles of large services.
Established:
This project is at the intersection of programming languages and database systems. The goal of the project is to use programming languages techniques to analyze and optimize big-data queries. We show how program synthesis can be used to discover optimizations that…
Established:
Corral is a whole-program analysis tool for Boogie programs. Corral uses goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3. It is available open source on GitHub. Corral, by default, does a bounded search up to a recursion depth…
Established:
Towards efficient AI/ML deployment The AI Infrastructure team at Microsoft Research India works on cutting-edge systems optimizations for improving the efficiency of a variety of AI/ML workloads, including an emerging class of workloads, namely, serving large language models (LLMs). AI/ML models…
The emergence of IoT and Machine Learning (ML) has seen an increase in systems that deploy sensors to collect data and analyze the data using ML algorithms in the cloud. However, running the ML classifiers directly on the IoT device has…
Established:
Seabed is a project to provide analytics over encrypted Big Data. The challenge is to develop fast yet secure cryptographic techniques that support a suite of applications such as Business Intelligence tools and large-scale Machine Learning frameworks. Towards this, we…