Explores parallel and distributed databases, covering architectures, query optimization, data storage, and distributed transactions.
Covers the syntax and usage of conditional queries, including joins and filtering data.
Introduces the fundamentals of handling data, emphasizing the importance of Pandas and data modeling for effective analysis.
Covers efficient GPU-accelerated join optimization for complex queries, focusing on improving optimization times and heuristic plan quality.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
