NOTICE: This is a draft syllabus and is subject to change.
Incremental View Maintenance via Algebraic Derivatives of Queries
Computability of Derivatives and Conditional Probabilities
Beyond Standard AD & Inference: Discontinuities & Exact Observations
Purely Functional Reverse-Mode AD
Speeding Up Probabilistic Programs
Scheduling of Probabilistic Programs
Uncertainty Propagation
Higher-order Probabilistic Programs
Automatic Integration
Testing Probabilistic Programs
Recursive Probabilistic Models of Social Cognition
Verifying Randomized Programs