49:08Lecture "CNNs (Part 1, Model)" of "Analyzing Software using Deep Learning"
A 49-minute video from Michael Pradel: “Lecture "CNNs (Part 1, Model)" of "Analyzing Software using Deep Learning"”.
Michael Pradel
1.47K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
49:08
29:49Lecture "CNNs (Part 2, AST Classification)" of "Analyzing Software using Deep Learning"
A 30-minute video from Michael Pradel: “Lecture "CNNs (Part 2, AST Classification)" of "Analyzing Software using Deep Learning"”.
17:32Lecture "Call Graph Analysis (Part 1, Introduction)" of "Program Analysis"
A 18-minute video from Michael Pradel: “Lecture "Call Graph Analysis (Part 1, Introduction)" of "Program Analysis"”.
9:20Lecture "Call Graph Analysis (Part 2, CHA and RTA)" of "Program Analysis"
A 9-minute video from Michael Pradel: “Lecture "Call Graph Analysis (Part 2, CHA and RTA)" of "Program Analysis"”.
23:01Lecture "Call Graph Analysis (Part 3, VTA and DTA)" of "Program Analysis"
A 23-minute video from Michael Pradel: “Lecture "Call Graph Analysis (Part 3, VTA and DTA)" of "Program Analysis"”.
26:32Lecture "Call Graph Analysis (Part 4, Spark)" of "Program Analysis"
A 27-minute video from Michael Pradel: “Lecture "Call Graph Analysis (Part 4, Spark)" of "Program Analysis"”.
41:55Lecture "Composite Types (Part 1, Records)" of "Programming Paradigms"
A 42-minute video from Michael Pradel: “Lecture "Composite Types (Part 1, Records)" of "Programming Paradigms"”.
24:02Lecture "Composite Types (Part 2, Arrays) of "Programming Paradigms"
A 24-minute video from Michael Pradel: “Lecture "Composite Types (Part 2, Arrays) of "Programming Paradigms"”.
30:18Lecture "Composite Types (Part 3, Pointers)" of "Programming Paradigms"
A 30-minute video from Michael Pradel: “Lecture "Composite Types (Part 3, Pointers)" of "Programming Paradigms"”.
27:12Lecture "Composite Types (Part 4, More Pointers)" of "Programming Paradigms"
A 27-minute video from Michael Pradel: “Lecture "Composite Types (Part 4, More Pointers)" of "Programming Paradigms"”.
19:06Lecture "Concurrency (Part 1, Introduction)" of "Program Analysis"
A 19-minute video from Michael Pradel: “Lecture "Concurrency (Part 1, Introduction)" of "Program Analysis"”.
18:55Lecture "Concurrency (Part 1, Introduction)" of "Programming Paradigms"
A 19-minute video from Michael Pradel: “Lecture "Concurrency (Part 1, Introduction)" of "Programming Paradigms"”.
16:41Lecture "Concurrency (Part 2, Data Races)" of "Program Analysis"
A 17-minute video from Michael Pradel: “Lecture "Concurrency (Part 2, Data Races)" of "Program Analysis"”.
45:03Lecture "Concurrency (Part 2, Fundamentals)" of "Programming Paradigms"
A 45-minute video from Michael Pradel: “Lecture "Concurrency (Part 2, Fundamentals)" of "Programming Paradigms"”.
39:31Lecture "Concurrency (Part 3, Implementing Synchronization)" of "Programming Paradigms"
A 40-minute video from Michael Pradel: “Lecture "Concurrency (Part 3, Implementing Synchronization)" of "Programming Paradigms"”.
23:22Lecture "Concurrency (Part 3, Thread Safety)" of "Program Analysis"
A 23-minute video from Michael Pradel: “Lecture "Concurrency (Part 3, Thread Safety)" of "Program Analysis"”.
14:01Lecture "Concurrency (Part 4, Interleavings)" of "Program Analysis"
A 14-minute video from Michael Pradel: “Lecture "Concurrency (Part 4, Interleavings)" of "Program Analysis"”.
23:30Lecture "Concurrency (Part 4, Language-level Constructs)" of "Programming Paradigms"
A 24-minute video from Michael Pradel: “Lecture "Concurrency (Part 4, Language-level Constructs)" of "Programming Paradigms"”.
44:22Lecture "Control Abstraction (Part 1, Calling Sequences)" of "Programming Paradigms"
A 44-minute video from Michael Pradel: “Lecture "Control Abstraction (Part 1, Calling Sequences)" of "Programming Paradigms"”.
11:01Lecture "Control Abstraction (Part 2, Parameter Passing)" of "Programming Paradigms"
A 11-minute video from Michael Pradel: “Lecture "Control Abstraction (Part 2, Parameter Passing)" of "Programming Paradigms"”.
28:51Lecture "Control Abstraction (Part 3, Exceptions)" of "Programming Paradigms"
A 29-minute video from Michael Pradel: “Lecture "Control Abstraction (Part 3, Exceptions)" of "Programming Paradigms"”.
18:39Lecture "Control Abstraction (Part 4, Coroutines)" of "Programming Paradigms"
A 19-minute video from Michael Pradel: “Lecture "Control Abstraction (Part 4, Coroutines)" of "Programming Paradigms"”.
17:36Lecture "Control Abstraction (Part 5, Events)" of "Programming Paradigms"
A 18-minute video from Michael Pradel: “Lecture "Control Abstraction (Part 5, Events)" of "Programming Paradigms"”.
40:48Lecture "Control Flow (Part 1, Expressions)" of "Programming Paradigms"
A 41-minute video from Michael Pradel: “Lecture "Control Flow (Part 1, Expressions)" of "Programming Paradigms"”.
25:42Lecture "Control Flow (Part 2, Structure)" of "Programming Paradigms"
A 26-minute video from Michael Pradel: “Lecture "Control Flow (Part 2, Structure)" of "Programming Paradigms"”.
31:57Lecture "Control Flow (Part 3, Selection)" of "Programming Paradigms"
A 32-minute video from Michael Pradel: “Lecture "Control Flow (Part 3, Selection)" of "Programming Paradigms"”.
26:07Lecture "Control Flow (Part 4, Iteration)" of "Programming Paradigms"
A 26-minute video from Michael Pradel: “Lecture "Control Flow (Part 4, Iteration)" of "Programming Paradigms"”.
14:28Lecture "Control Flow (Part 5, Recursion)" of "Programming Paradigms"
A 14-minute video from Michael Pradel: “Lecture "Control Flow (Part 5, Recursion)" of "Programming Paradigms"”.
23:52Lecture "Data Abstraction (Part 1, Encapsulation and Information Hiding)" of "Programming Paradigms"
A 24-minute video from Michael Pradel: “Lecture "Data Abstraction (Part 1, Encapsulation and Information Hiding)" of "Programming Paradigms"”.
23:21Lecture "Data Abstraction (Part 2, Inheritance)" of "Programming Paradigms"
A 23-minute video from Michael Pradel: “Lecture "Data Abstraction (Part 2, Inheritance)" of "Programming Paradigms"”.
19:03Lecture "Data Abstraction (Part 3, Initialization and Finalization)" of "Programming Paradigms"
A 19-minute video from Michael Pradel: “Lecture "Data Abstraction (Part 3, Initialization and Finalization)" of "Programming Paradigms"”.
40:42Lecture "Data Abstraction (Part 4, Dynamic Method Binding)" of "Programming Paradigms"
A 41-minute video from Michael Pradel: “Lecture "Data Abstraction (Part 4, Dynamic Method Binding)" of "Programming Paradigms"”.
11:54Lecture "Data Abstraction (Part 5, Mix-ins and Multiple Inheritance)" of "Programming Paradigms"
A 12-minute video from Michael Pradel: “Lecture "Data Abstraction (Part 5, Mix-ins and Multiple Inheritance)" of "Programming Paradigms"”.
37:23Lecture "Data Flow Analysis (Part 1, Available Expressions)" of "Program Analysis"
A 37-minute video from Michael Pradel: “Lecture "Data Flow Analysis (Part 1, Available Expressions)" of "Program Analysis"”.
13:10Lecture "Data Flow Analysis (Part 2, Basic Principles)" of "Program Analysis"
A 13-minute video from Michael Pradel: “Lecture "Data Flow Analysis (Part 2, Basic Principles)" of "Program Analysis"”.
51:20Lecture "Data Flow Analysis (Part 3, More Examples)" of "Program Analysis"
A 51-minute video from Michael Pradel: “Lecture "Data Flow Analysis (Part 3, More Examples)" of "Program Analysis"”.