Introduces the fundamentals of database management systems, covering relational model, storage options, data integrity, queries, and data manipulation languages.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Covers the adaptation of analytics systems to modern hardware and data challenges, focusing on efficiency and scalability through innovative approaches and hybrid systems.
