Static Analysis Courses
ACM SIGPLAN via YouTube Static Analysis of Memory Models for SMT Encodings
ACM SIGPLAN via YouTube A Grounded Conceptual Model for Ownership Types in Rust
ACM SIGPLAN via YouTube Adventure of a Lifetime: Extract Method Refactoring for Rust
ACM SIGPLAN via YouTube Hardware-Aware Static Optimization of Hyperdimensional Computations
ACM SIGPLAN via YouTube Historia: Refuting Callback Reachability with Message-History Logics
ACM SIGPLAN via YouTube How to Add Dialyzer to an Existing Elixir Project - Lightning Talk
ACM SIGPLAN via YouTube Towards Mailbox Typing for Erlang - Lightning Talk
ACM SIGPLAN via YouTube SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java
ACM SIGPLAN via YouTube Algorithmic Verification - Session Preview at POPL 2023
ACM SIGPLAN via YouTube