Program Analysis and Optimizations
By Stanford
Certificate or Program credits available
Addressing various questions around how we can reason about computational problems, this course focuses on common abstract-interpretation analysis patterns in applications.