Practical Program Analysis

Videos (10)

• 

  1 — PPA 6/10: Ingredients of Program Analysis
• 

  2 — PPA 8/10: Symbolic Execution
• 

  3 — PPA 9/10: Model Checking
• 

  4 — PPA 4/10: Formal Semantics
• 

  5 — PPA 5/10: Abstract Machines
• 

  6 — PPA 10/10: Code Analysis With Machine Learning
• 

  7 — PPA 7/10: Data Flow Analysis
• 

  8 — PPA 2/10: Syntax Analysis
• 

  9 — PPA 3/10: Contextual Analysis
• 

  10 — PPA 1/10: Formal Grammars