Link Search Menu Expand Document
Last updated: Aug 17, 22 15:10 UTC | Permalink

Week 9 - Distributed Systems & Static Program Analysis

Learning Objectives:

In this week of the course, you will learn to:

  • Decide why would you want to build your system as a distributed system
  • Describe 5 key goals of distributed systems
  • Describe partitioning and replication as building blocks for distributed systems
  • Evaluate the trade-offs between consistency and availability in distributed systems
  • Answer the question: how does partitioning and replication help us satisfy requirements for distributed systems?
  • Explain good uses for static analyzers
  • List limitations of static analyzers and program verification

Important Dates:


Additional Readings:

© 2022 Jonathan Bell, Adeel Bhutta, Ferdinand Vesely and Mitch Wand. Released under the CC BY-SA license