Static Analysis Courses
ACM SIGPLAN via YouTube Inside the Scala Capture Checker
ACM SIGPLAN via YouTube Automatic Parallelism Management - POPL 2024
ACM SIGPLAN via YouTube Monotonicity and the Precision of Program Analysis
ACM SIGPLAN via YouTube Pipelines and Beyond: Graph Types for ADTs with Futures
ACM SIGPLAN via YouTube Under-approximation for Scalable Bug Detection
ACM SIGPLAN via YouTube Working with Peter O'Hearn in Academia and Industry
ACM SIGPLAN via YouTube Bi-abductive Adversarial Program Synthesis
ACM SIGPLAN via YouTube Is Peter Correct or Incorrect? - O'HearnFest Lecture
ACM SIGPLAN via YouTube Latte: Lightweight Aliasing Tracking for Java
ACM SIGPLAN via YouTube