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

Update title and link.

This commit is contained in:
Justin Hsu 2018-04-11 12:31:33 -04:00
parent 3799db6397
commit 96a0d99c0f
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
bibs/myrefs.bib
View File

@ -121,7 +121,7 @@
} }
@inproceedings{BEGGHS16, @inproceedings{BEGGHS16,
title = {A Program Logic for Probabilistic Programs}, title = {An Assertion-Based Program Logic for Probabilistic Programs},
author = {Barthe, Gilles and author = {Barthe, Gilles and
Espitau, Thomas and Espitau, Thomas and
Gaboardi, Marco and Gaboardi, Marco and
@ -132,8 +132,11 @@
jh = yes, jh = yes,
reviewed = yes, reviewed = yes,
booktitle = esop18, booktitle = esop18,
url = {https://justinh.su/files/papers/ellora.pdf}, url = {https://arxiv.org/abs/1803.05535},
note = "To appear.", note = "To appear.",
eprint = {1803.05535},
archivePrefix = {arXiv},
primaryClass = {cs.LO},
} }
@article{AH17, @article{AH17,

4
content/news.md
View File

@ -7,8 +7,8 @@
2018**](http://lics.siglog.org/lics18/) in Oxford, England. 2018**](http://lics.siglog.org/lics18/) in Oxford, England.
+ **01/2018** Slides now available for **Proving Expected Sensitivity of + **01/2018** Slides now available for **Proving Expected Sensitivity of
Probabilistic Programs**. Probabilistic Programs**.
+ **12/2017** **A Program Logic for Probabilistic Programs** will appear at + **12/2017** **An Assertion-Based Program Logic for Probabilistic Programs**
**ESOP 2018**! will appear at **ESOP 2018**!
+ **11/2017** My dissertation **Probabilistic Couplings for Probabilistic + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
Reasoning** is now available. Reasoning** is now available.
+ **10/2017** Our preprints **Reasoning about Divergences for Relaxations of + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of