Symbolic Execution Courses
ACM SIGPLAN via YouTube Symbolic Execution with Separating Decision Diagrams
ACM SIGPLAN via YouTube Owi: An Interpreter and Toolkit for WebAssembly in OCaml
ACM SIGPLAN via YouTube SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
ACM SIGPLAN via YouTube Quantitative Robustness for Vulnerability Assessment
ACM SIGPLAN via YouTube Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
ACM SIGPLAN via YouTube Obtaining Information Leakage Bounds via Approximate Model Counting
ACM SIGPLAN via YouTube Inference of Robust Reachability Constraints
ACM SIGPLAN via YouTube Sound Gradual Verification with Symbolic Execution
ACM SIGPLAN via YouTube Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable - OOPSLA 2023
ACM SIGPLAN via YouTube