justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

CMCS tutorial.

This commit is contained in:
Justin Hsu 2020-10-05 09:22:06 -05:00
parent 5909105764
commit 0af3898e45
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
content/news.md
View File

@ -1,3 +1,6 @@
+ **10/2020** I was happy to present a tutorial on probabilistic couplings at
[**CMCS 2020**](https://www.coalg.org/cmcs20/). Slides are available
[here](https://justinh.su/files/slides/cmcs20-tutorial.pdf).
+ **10/2020** **A Pre-Expectation Calculus for Probabilistic Sensitivity** to + **10/2020** **A Pre-Expectation Calculus for Probabilistic Sensitivity** to
appear at **POPL 2021**! appear at **POPL 2021**!
+ **09/2020** This fall, I'm teaching a graduate seminar on **Security and + **09/2020** This fall, I'm teaching a graduate seminar on **Security and
@ -10,8 +13,9 @@
[here](https://justinh.su/files/slides/owls-yr.pdf). [here](https://justinh.su/files/slides/owls-yr.pdf).
+ **04/2020** I received an **NSF CAREER** award for **Cara: Compositional Analysis + **04/2020** I received an **NSF CAREER** award for **Cara: Compositional Analysis
for Randomized Algorithms**! for Randomized Algorithms**!
+ **01/2020** I was happy to present a tutorial on probabilistic couplings at + **01/2020** I was happy to present a [tutorial on probabilistic
**POPL 2020**. Slides are available couplings](https://popl20.sigplan.org/details/POPL-2020-tutorialfest/6/-T6-Verifying-Probabilistic-Properties-with-Couplings)
at **POPL 2020**. Slides are available
[here](https://justinh.su/files/slides/popl20-tutorial.pdf). [here](https://justinh.su/files/slides/popl20-tutorial.pdf).
+ **01/2020** This spring, I'm teaching an undergraduate course **Introduction + **01/2020** This spring, I'm teaching an undergraduate course **Introduction
to the Theory and Design of Programming Languages (CS 538)**, covering Haskell to the Theory and Design of Programming Languages (CS 538)**, covering Haskell

BIN
files/slides/cmcs20-tutorial.pdf Normal file
View File

Binary file not shown.