Dataflow Analysis: OptimizationExplores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.
Optimizing Recursive QueriesExplores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.
Optimization and SimulationExplores optimization techniques like Metropolis-Hastings and Simulated Annealing through Markov chains and stationary distributions.