Theoretical / proof-based
Program analysis · Graduate · CS / Programming
Topics
Static analysis foundations
- Operational semantics and trace semantics
- Lattice theory and fixed-point theorems
- Abstract interpretation framework
- Live variables, available expressions, reaching definitions
- Widening and narrowing for termination
Advanced analyses
- Interprocedural analysis and call graphs
- Pointer analysis: Andersen vs Steensgaard (intro)
- Type systems and soundness proofs
- Model checking and symbolic execution (intro)
- Verification of concurrent programs (intro)
Research topics
- Separation logic for heap reasoning (intro)
- SMT solvers in verification workflows
- Bug finding in production compilers
- Reading PLDI/POPL papers
- Course project: implement an analysis pass
Pricing calculator
Choose materials, tutoring, or both — or book a single session as needed. Customize your plan on the subscribe page.
$1,162 · Program analysis · 18 tutoring hrs
Study guides, worksheets, reviews, practice tests, and answer keys for 1 class. 18 tutoring hours (1 hr / week · semester). Bundle discount applied vs buying separately. Pay in full via Zelle.