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
H.V. Jagadish named Edgar F. Codd Distinguished University Professor of EECS
Professor Jagadish is being recognized for his work as one of the nation’s most visible and influential researchers in the interdisciplinary field of data science

Open source platform enables research on privacy-preserving machine learning
Virtual assortment of user devices provides a realistic training environment for distributed machine learning, protects privacy by learning where data lives.

CSE researchers present five papers at ISCA 2022
17 U-M researchers proposed a variety of techniques to speed up complex graph algorithms, encrypted cloud computing, memory-intensive matrix operations, and more.

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.