Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Publication
BitFunnel: Revisiting Signatures for Search
Tool
Microsoft Static Driver Verifier Benchmarks
This repository contains a subset of the internal tests used by Microsoft’s Static Driver Verifier tool. These tests are generated from Window’s Device Drivers while checking for one of the various properties that WDM drivers…
Microsoft Research Blog
Creating intelligent water systems to unlock the potential of Smart Cities
By Satish Sangameswaran, Principal Program Manager, and Vani Mandava, Director, Data Science The newspaper headlines about “Bangalore’s looming water crisis” have been ominous, with one urban planning expert proclaiming that Bangalore will become “unlivable” in…
Microsoft Research Blog
Summer Institute unpacks the future of IoT
By John Roach, Writer, Microsoft Research Within the next 5 to 10 years, tens of billions of things will be connected to the internet. They’ll monitor rainfall in rain forests and engine performance in airplanes,…
