Covers persistence in computer science, focusing on magnetic disks and their performance characteristics, including seek time, rotational latency, and disk scheduling algorithms.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
