Explores gossip efficiency in decentralized systems, covering protocols, interaction needs, and bandwidth optimization, along with search algorithms and optimizations.
Explores reliable broadcast algorithms, focusing on causal order and uniform reliability, with exercises on failure detector properties and memory optimization.
Explores translation inefficiencies, optimizations, hoisting functions, closure conversion, and dataflow analysis concepts like available expressions and live variables.
