COMP 6231/DD (Fall 2024): DISTRIBUTED SYSTEM DESIGN