Formal Verification Courses
ACM SIGPLAN via YouTube Fair Operational Semantics - Theory for Expressing and Reasoning About Fairness Properties
ACM SIGPLAN via YouTube Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
ACM SIGPLAN via YouTube Merging Inductive Relations for Improved Program Specification
ACM SIGPLAN via YouTube Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
ACM SIGPLAN via YouTube CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
ACM SIGPLAN via YouTube VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating Above FF-A
ACM SIGPLAN via YouTube Putting Weak Memory in Order via a Promising Intermediate Representation
ACM SIGPLAN via YouTube Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
ACM SIGPLAN via YouTube Proving Capability Safety in the Presence of Indirect Sentries
ACM SIGPLAN via YouTube