CS 5414

CS 5414

Course information provided by the 2025-2026 Catalog.

Studies the abstractions and algorithms that constitute the foundations for implementing concurrent and distributed computing, with emphasis on supporting fault-tolerance. Topics vary to reflect advances in the field but typically include global state snapshots, causality and clocks (logical and physical), agreement and consensus, primary-backup and state-machine replication, quorums, and gossip. Students undertake a substantial software project to put these ideas into practice. Many students obtain additional project credit by co-registering in CS 4999 or CS 5999.


Prerequisites REF-FA25/Corequisites REF-FA25 CS 4410 or permission of instructor. Corequisites: None.

Last 4 terms offered (None)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 4 Credits Opt NoAud

  •  9307 CS 5414   LEC 001

    • MW
    • Aug 25 - Dec 8, 2025
    • Alvisi, L

  • Instruction Mode: In Person

  •  9308 CS 5414   DIS 201

    • F
    • Aug 25 - Dec 8, 2025
    • Alvisi, L

  • Instruction Mode: In Person