Lecture "Introduction (Part 2, Organization)" of "Program Analysis"
28:25
Lecture "Introduction (Part 3, Basics)" of "Program Analysis"
14:53
Lecture "Information Flow Analysis (Part 1, Introduction)" of "Program Analysis"
1:21:52
LEADERSHIP LAB: The Craft of Writing Effectively
22:59
The Dome Paradox: A Loophole in Newton's Laws
58:20
Think Fast, Talk Smart: Communication Techniques
28:11
Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"
16:41
Lecture "Concurrency (Part 2, Data Races)" of "Program Analysis"
27:36