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
Study explores drug use in programming jobs, tension between policy and reality
The first qualitative study on the use of psychoactive substances while on the job at software companies revealed a range of motivations, company policies, and workplace stigmas.

Barzan Mozafari receives the EuroSys Test-of-Time award
Prof. Mozafari has been recognized for the sustained impact of BlinkDB, the first massively parallel approximate query engine.

Optimization could cut the carbon footprint of AI training by up to 75%
Deep learning models that power giants like TikTok and Amazon, as well as tools like ChatGPT, could save energy without new hardware or infrastructure.

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.