Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
视频
Microsoft Research India 2025 Highlights
Here are some highlights of the research and impact at Microsoft Research India in 2025, along with some glimpses of the lab milieu.
工具
Model-based Testing using LLMs
This repsitory contains the code for our paper Eywa: Automating Model-based Testing using LLMs. Our framework uses LLMs to automatically construct modular protocol models from natural-language specifications and applies symbolic execution and differential testing to…