Michael Pradel

1.43K subscribers

110 videos

View on YouTube

Latest Videos

Neural Software Analysis (CACM 2022)

Neural Software Analysis (CACM 2022)

Michael Pradel

1.1K views·4 years ago

Introducing the Doctoral Symposium at ESECFSE 2022

Introducing the Doctoral Symposium at ESECFSE 2022

Michael Pradel

318 views·4 years ago

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

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

Michael Pradel

528 views·5 years ago

Lecture Concurrency (Part 4, Interleavings) of Program Analysis

Lecture Concurrency (Part 4, Interleavings) of Program Analysis

Michael Pradel

514 views·5 years ago

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

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

Michael Pradel

431 views·5 years ago

Lecture Concurrency (Part 1, Introduction) of Program Analysis

Lecture Concurrency (Part 1, Introduction) of Program Analysis

Michael Pradel

676 views·5 years ago

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

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

Michael Pradel

705 views·5 years ago

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

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

Michael Pradel

390 views·5 years ago

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

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

Michael Pradel

788 views·5 years ago

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

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

Michael Pradel

7.1K views·5 years ago

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

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

Michael Pradel

5.8K views·5 years ago

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

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

Michael Pradel

1.8K views·5 years ago

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

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

Michael Pradel

7.4K views·5 years ago

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

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

Michael Pradel

1.0K views·5 years ago

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

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

Michael Pradel

944 views·5 years ago

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

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

Michael Pradel

1.4K views·5 years ago

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

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

Michael Pradel

2.9K views·5 years ago

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

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

Michael Pradel

2.7K views·5 years ago

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

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

Michael Pradel

1.2K views·5 years ago

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

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

Michael Pradel

8.3K views·5 years ago

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

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

Michael Pradel

1.3K views·5 years ago

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

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

Michael Pradel

1.5K views·5 years ago

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

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

Michael Pradel

1.2K views·5 years ago

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

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

Michael Pradel

1.4K views·5 years ago

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

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

Michael Pradel

1.4K views·5 years ago

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

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

Michael Pradel

6.6K views·5 years ago

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

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

Michael Pradel

1.9K views·5 years ago

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

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

Michael Pradel

4.1K views·5 years ago

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

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

Michael Pradel

11.0K views·5 years ago

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

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

Michael Pradel

2.9K views·5 years ago

Load More Videos

Michael Pradel - NatokHD | NatokHD