Michael Pradel

Neural Software Analysis (CACM 2022)

Neural Software Analysis (CACM 2022)

Introducing the Doctoral Symposium at ESEC/FSE 2022

Introducing the Doctoral Symposium at ESEC/FSE 2022

Lecture "Concurrency (Part 3, Thread Safety)" of "Program Analysis"

Lecture "Concurrency (Part 4, Interleavings)" of "Program Analysis"

Lecture "Concurrency (Part 2, Data Races)" of "Program Analysis"

Lecture "Concurrency (Part 1, Introduction)" of "Program Analysis"

Lecture "Path Profiling (Part 2, Algorithm)" of "Program Analysis"

Lecture "Path Profiling (Part 3, Generalization)" of "Program Analysis"

Lecture "Path Profiling (Part 1, Introduction)" of "Program Analysis"

Lecture "Program Slicing (Part 4, Dynamic Slicing)" of "Program Analysis"

Lecture "Program Slicing (Part 2, Static Slicing)" of "Program Analysis"

Lecture "Program Slicing (Part 3, Thin Slicing)" of "Program Analysis"

Lecture "Program Slicing (Part 1, Introduction)" of "Program Analysis"

Lecture "Information Flow Analysis (Part 3, Analysis)" of "Program Analysis"

Lecture "Information Flow Analysis (Part 2, Policies)" of "Program Analysis"

Lecture "Information Flow Analysis (Part 1, Introduction)" of "Program Analysis"

Lecture "Symbolic and Concolic Testing (Part 3, Concolic)" of "Program Analysis"

Lecture "Symbolic and Concolic Testing (Part 2, Challenges)" of "Program Analysis"

Lecture "Symbolic and Concolic Testing (Part 4, Applications)" of "Program Analysis"

Lecture "Symbolic and Concolic Testing (Part 1, Symbolic)" of "Program Analysis"

Lecture "Random Testing and Fuzzing (Part 3, Greybox Fuzzing, AFL)" of "Program Analysis"

Lecture "Random Testing and Fuzzing (Part 2, Randoop)" of "Program Analysis"

Lecture "Random Testing and Fuzzing (Part 1, Introduction)" of "Program Analysis"

Lecture "Call Graph Analysis (Part 4, Spark)" of "Program Analysis"

Lecture "Call Graph Analysis (Part 3, VTA and DTA)" of "Program Analysis"

Lecture "Call Graph Analysis (Part 1, Introduction)" of "Program Analysis"

Lecture "Call Graph Analysis (Part 2, CHA and RTA)" of "Program Analysis"

Lecture "Data Flow Analysis (Part 3, More Examples)" of "Program Analysis"

Lecture "Data Flow Analysis (Part 1, Available Expressions)" of "Program Analysis"

Lecture "Data Flow Analysis (Part 4, Solving)" of "Program Analysis"