Concurrency with FuturesExplores futures as a structured approach to concurrency, simplifying parallel tasks and input-output operations.
Efficient GPU Join OptimizationCovers efficient GPU-accelerated join optimization for complex queries, focusing on improving optimization times and heuristic plan quality.
Lattice AgreementExplains lattice agreement in distributed algorithms, focusing on processes agreeing on decisions despite failures.
Causal & Total Order BroadcastCovers exercises on reliable broadcast, uniform reliable broadcast, and total order broadcast in distributed algorithms.