Lecture "Introduction (Part 1, Motivation)" of "Program Analysis"
24:56
Lecture "Introduction (Part 2, Organization)" of "Program Analysis"
28:11
Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
1:23:03
CS162 Lecture 1: What is an Operating System?
19:05
Static Code Analysis: Scan All Your Code For Bugs | Synopsys
22:27
The Boolean Satisfiability Problem and Satisfiability Modulo Theories (SAT / SMT)
31:09
Lecture "Operational Semantics (Part 1, Preliminaries)" of "Program Analysis"
31:18
The Story of Shor's Algorithm, Straight From the Source | Peter Shor
34:10