Microsoft Research Lab – India
Projets
Établi:
MSR has a strong group of scientists working on algorithm design, analysis, and experimental evaluation, as well as researchers in related areas (e.g., coding theory), but no formal algorithms group. The Virtual Algorithms Center (VIRAL) brings these individuals together. The…
Établi:
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…
Établi:
The goal of the Physical Analytics project, or Phytics, is to perform analytics on the physical actions of users. Such analytics would be valuable in a variety of contexts where the design of a physical space is intertwined with how…
Établi:
Établi:
The CoCoNet project arises from the quest to have the best of both worlds, specifically, having the operational benefits of centralization along with the performance benefits of distribution.
Établi:
NEWS: The ACM SenSys 2008 paper on Nericell received both the ACM SIGMOBILE Test-of-Time Award and the ACM SenSys Test-of-Time Award in 2019. The Nericell project focuses on road and traffic monitoring using an ensemble of mobile smartphones carried by people…
Établi:
Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with testing.