Skip to content

Calendar (tentative)

All readings from the open-access book: Foundations of Probabilistic Programming.

Date Topic Presenter Reading Notes
8/26 Semantics of Probabilistic Programs Justin Ch. 1/2
8/31 Semantics of Probabilistic Programs Justin Ch. 1/2
8/31
SIGNUP: PRESENTATIONS/PROJECTS
9/2 Semantics of Probabilistic Programs Justin Ch. 1/2
9/7 Computable Distributions Justin Ch. 3
9/9 Computable Distributions
Reading: Synthetic topology of data types and classical spaces
Justin Ch. 3
9/14 Probabilistic λ-Calculi Karuna Ch. 4
9/16 Probabilistic λ-Calculi Justin Ch. 4
9/21 Probabilistic Couplings Wen-Ding Ch. 5
9/23 Probabilistic Couplings Justin Ch. 5
9/28 Expected Runtime Noam Ch. 6
9/30 Expected Runtime
Reading: A Pre-Expectation Calculus for Probabilistic Sensitivity
Justin Ch. 6
10/1
DUE: PROJECT MS1
10/5 Termination Analysis Jasper Ch. 7
10/7 Termination Analysis Justin Ch. 7
10/12
NO CLASS: FALL BREAK
10/14 Concentration of Measure Jacob Ch. 8
10/19 Bayesian Reasoning Keri Ch. 9
10/21 Bayesian Reasoning
Reading: A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
Justin Ch. 9
10/26 Quantitative Equational Reasoning Leon Ch. 10
10/28 Quantitative Equational Reasoning Justin Ch. 10
11/2 Probabilistic Abstract Interpretation
Reading: Static Program Analysis, Ch. 10
Justin Ch. 11
11/4 Probabilistic Abstract Interpretation Justin Ch. 11
11/5
DUE: PROJECT MS2
11/9 Quantitative Information Flow Luke Ch. 12
11/11 Quantitative Information Flow
Reading: Recent Developments in Quantitative Information Flow
Justin Ch. 12
11/16 Probabilistic Language for Testing Justin Ch. 13
11/18 Probabilistic Language for Testing Justin Ch. 13
11/23 Probabilistic Inference Justin Ch. 14
11/25
NO CLASS: THANKSGIVING
11/30 Programming Unreliable Hardware Qian Ch. 15
12/2 Programming Unreliable Hardware Justin Ch. 15
12/7 Course Wrapup Justin
12/17
PROJECT PRESENTATIONS
12/17
DUE: PROJECT REPORTS