Getting Started with DDlog October, 2020 Getting started with program analysis in Datalog by building a simple backwards symbolic execution engine in DDlog & Rust.
Incorrectness Logic by Example April, 2020 Understanding Incorrectness Logic for program analysis with lots of examples.
