Flood Risk in NiameyExplores flood risk in Niamey, Niger, and the importance of preventive measures.
Consensus: Timing AssumptionsExplores Consensus implementation using timing assumptions, Leader role, and minimal synchrony requirements in distributed systems.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Dataflow Analysis: OptimizationExplores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.