Manos Kapritsos

Assistant Professor
Computer Science & Engineering
University of Michigan, Ann Arbor
4824 Bob and Betty Beyster building

I am interested in increasing the reliability of Distributed Systems. Building reliable distributed systems means guarding against both hardware and software failures. My research spans fault-tolerant replication and formal verification of systems software.

In my most recent projects, I have demonstrated how formal verification can be applied to complex distributed systems; I have shown that the ACID paradigm is not fundamentally slow, but can be made to perform well if one separates the ACID guarantees from the mechanism that implements them; and I have shown how to rearchitect the 40-year-old idea of State Machine Replication to accommodate multithreaded execution.

These days, I mostly work on making formal verification practical by applying it to complex systems in new and interesting ways and by automating the process of proving the correctness of these systems.


News

  • September 2018: I was awarded an NSF grant to rethink fault-tolerant replication beyond the client-server model
  • February 2018: I was awarded the Google Faculty Award for 2017
  • August 2017: Our paper Vale: Verifying High-performance Cryptographics Assembly Code got the Distinguished Paper Award at USENIX Security 2017

Teaching

Fall 2018: EECS591 Distributed Systems
Past

Winter 2018: EECS591 Distributed Systems
Fall 2017: EECS482 Introduction to Operating Systems
Winter 2017: EECS591 Distributed Systems

Reviewing service

ATC 2019
NSDI 2019
OSDI 2018
ICDCS 2018
SOSP 2017
DSN 2017