diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index ff05928..b7aa152 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -77,6 +77,7 @@ booktitle = popl17, year = 2017, url = {http://arxiv.org/abs/1607.03455}, + slides = {http://justinh.su/files/slides/products.pdf}, jh = yes, plclub = yes, reviewed = yes, diff --git a/content/news.md b/content/news.md index 05ff3c3..2ccaac1 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,7 @@ ++ **01/2017** Our preprint **Proving uniformity and independence by + self-composition and coupling** is now available. ++ **01/2017** Slides now available for **Coupling proofs are probabilistic + product programs**. + **01/2017** I am on the program committee of [**MFPS 2017**](http://coalg.org/mfps-calco2017/), co-located with [**CALCO**](http://coalg.org/mfps-calco2017/) in Ljubljana, Slovenia. diff --git a/files/slides/products.pdf b/files/slides/products.pdf new file mode 100644 index 0000000..28008f9 Binary files /dev/null and b/files/slides/products.pdf differ