diff --git a/content/news.md b/content/news.md index 7afceac..42356c2 100644 --- a/content/news.md +++ b/content/news.md @@ -1,10 +1,10 @@ + **10/2018** I will be a co-chair of the **DARS 2019** workshop on Design and Analysis of Robust Systems, colocated with [**CAV 2019**](http://i-cav.org/2019/) in New York. -+ **10/2018** I will give an invited talk at the [**TPDP ++ **10/2018** I gave an invited talk at the [**TPDP 2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy, colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto. - [Slides](https://www.justinh.su/files/slides/tpdp.pdf) are now available. + [Slides](files/slides/tpdp18-invited.pdf) are now available. + **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification of Higher-Order Probabilistic Programs** will appear at **POPL 2019**! + **10/2018** I am helping organize the [**Programming Languages Mentoring diff --git a/files/slides/tpdp18-invited.pdf b/files/slides/tpdp18-invited.pdf new file mode 100644 index 0000000..4e46865 Binary files /dev/null and b/files/slides/tpdp18-invited.pdf differ