Formal Verification Courses
ACM SIGPLAN via YouTube Mechanizing Abstract Interpretation - Challenges and Applications
ACM SIGPLAN via YouTube Internalizing Indistinguishability with Dependent Types
ACM SIGPLAN via YouTube Calculational Design of Correctness and Incorrectness Transformational Program Logics by Abstract Interpretation
ACM SIGPLAN via YouTube Effectful Software Contracts - Design and Implementation
ACM SIGPLAN via YouTube Mechanizing Refinement Types
ACM SIGPLAN via YouTube In-Order Execution Nails Every Weak Memory Behavior
ACM SIGPLAN via YouTube Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs
ACM SIGPLAN via YouTube Lean Formalization of Extended Regular Expression Matching with Lookarounds
ACM SIGPLAN via YouTube UTC Time, Formally Verified - Presentation at CPP 2024
ACM SIGPLAN via YouTube