What is Static Analysis? by Matt Might
1:27:23
Static Program Analysis (part 1/2) - Anders Møller - PLISS 2019
1:02:54
Introduction to Coq by Kimball Germane
34:45
Bug Hunting with Static Code Analysis - Nick Jones
1:27:46
CppCon 2014: Mike Acton "Data-Oriented Design and C++"
52:43
(fifth RacketCon): Matthias Felleisen — The Racket Manifesto
59:50
Leslie Lamport: Thinking Above the Code
59:04
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
1:00:38