Li Yu University of Notre Dame * Distributed systems are hard to use! An abstraction is a regular structure that can be efficiently scaled up to large problem sizes. We have…