Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Group
Software-Hardware Co-design (SHARC)
The goal of our research is to make AI systems more efficient, reliable, and secure across all software and hardware layers. Our current projects span agentic AI operations, intelligent model serving, hardware introspection, and hardware…
Tool
TrainVerify
TrainVerify is a verification tool to ensure parallelization equivalence in distributed model training. It guarantees that the parallelized model is arithmetically equivalent to its original single-device version, thereby eliminating errors such as incorrect tensor transformations or faulty…
Event
OSDI 2025
Microsoft is a proud sponsor of the 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’25) (opens in new tab). It will take place on July 7–9, 2025, at the Sheraton Boston in…
