Michigan Systems Laboratory
Faculty at the University of Michigan Computer Science & Engineering Division whose work spans distributed systems, operating systems, security, cyber physical systems, networking, databases, and software engineering.
News
Roya Ensafi named Morris Wellman Professor
Ensafi’s research focuses on Internet security and privacy, with the goal of creating techniques and systems to better protect users online.

Tool to analyze the security, privacy of VPNs wins first place for applied security… research in 2022
VPNalyzer has revealed a number of shortcomings in the design and implementation of popular virtual private networks. The paper earned first prize at New York University’s CSAW ’22 Applied…

Researchers cut down on AI’s carbon footprint with new optimization framework
Zeus automatically adapts the power usage of deep learning models to chase clean electricity sources throughout the day

Tools for “more humane coding
Assistant professor Cyrus Omar and PhD student David Moon describe their work to design more intuitive, interactive, and efficient coding environments that can help novices and professionals alike focus on the bigger picture without getting bogged down in bugfixing.
Making complex software more reliable
Assistant professor Manos Kapritsos, a researcher in CSE’s Systems Lab, studies how formal verification can be used to ensure even the most complex, distributed systems can be guaranteed correct without testing.