Calendar (tentative)

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

Date	Topic	Presenter	Reading
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	Differential Privacy	Justin
12/17	DUE: PROJECT REPORTS
12/17	PROJECT PRESENTATIONS 9-11 AM in Gates G01