Projects
Established:
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. Recognizing the twin trends of a rapid growth of cellular data services and the commoditization of WiFi WLAN technology, Cool-Tether proposes an architecture…
Established:
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.
Established:
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. 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…
Established:
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.