From 0376df0244d37d3138ba04b58ce95cc320fbe9e8 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sun, 27 Oct 2019 22:58:51 -0500 Subject: [PATCH] Adjust readings for PL lectures. --- website/docs/schedule/lectures.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/website/docs/schedule/lectures.md b/website/docs/schedule/lectures.md index 6e3e99b..bf9bd82 100644 --- a/website/docs/schedule/lectures.md +++ b/website/docs/schedule/lectures.md @@ -33,9 +33,9 @@ 10/28 | Overview and basic notions | JH | --- | 10/30 | Probabilistic programming languages
**Reading:** [*Probabilistic Programming*](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/fose-icse2014.pdf) | Miru/Pierre | Nat/Geetika | 11/1 | Automata learning and interpretability
**Reading:** [*Model Learning*](https://m-cacm.acm.org/magazines/2017/2/212445-model-learning/fulltext)
**Reading:** [*Interpreting Finite Automata for Sequential Data*](https://arxiv.org/pdf/1611.07100) | Jack/Jack | Abhirav/Rajan | -11/4 | Programming languages for differential privacy
**Reading:** [*Programming Language Techniques for Differential Privacy*](https://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf) | JH | --- | -11/6 | Verifying neural networks
**Reading:** [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf)
**Reading:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | JH | --- | -11/8 | Verifying probabilistic programs
**Reading:** [*Advances and Challenges of Probabilistic Model Checking*](https://www.prismmodelchecker.org/papers/allerton10.pdf)
**Reading:** [*A Program Logic for Union Bounds*](https://arxiv.org/pdf/1602.05681) | JH | Miru | MS2 Due +11/4 | Programming languages for differential privacy
**Reading:** [*Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy*](https://www.cis.upenn.edu/~bcpierce/papers/dp.pdf)
**See also:** [*Programming Language Techniques for Differential Privacy*](https://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf) | JH | --- | +11/6 | Verifying neural networks
**Reading:** [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf)
**See also:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | JH | --- | +11/8 | Verifying probabilistic programs
**Reading:** [*A Program Logic for Union Bounds*](https://arxiv.org/pdf/1602.05681)
**See also:** [*Advances and Challenges of Probabilistic Model Checking*](https://www.prismmodelchecker.org/papers/allerton10.pdf) | JH | Miru | MS2 Due |

**No Lectures: Work on Projects**

| | | 12/11 | Project Presentations 1 | | Final Projects | 12/13 | Project Presentations 2
**TIME AND PLACE: TBD** | | |