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

Upload slides for Ellora.

This commit is contained in:
Justin Hsu 2018-04-16 10:29:12 -04:00
parent aba62c73be
commit c175d31948
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bibs/myrefs.bib
View File

@ -137,10 +137,10 @@
reviewed = yes, reviewed = yes,
booktitle = esop18, booktitle = esop18,
url = {https://arxiv.org/abs/1803.05535}, url = {https://arxiv.org/abs/1803.05535},
note = "To appear.",
eprint = {1803.05535}, eprint = {1803.05535},
archivePrefix = {arXiv}, archivePrefix = {arXiv},
primaryClass = {cs.LO}, primaryClass = {cs.LO},
slides = {https://justinh.su/files/slides/ellora.pdf}
} }
@article{AH17, @article{AH17,

2
content/news.md
View File

@ -1,3 +1,5 @@
+ **04/2018** Slides now available for **An Assertion-Based Program Logic for
Probabilistic Programs**.
+ **04/2018** Our preprint **Constraint-Based Synthesis of Coupling Proofs** is + **04/2018** Our preprint **Constraint-Based Synthesis of Coupling Proofs** is
now available. now available.
+ **04/2018** **Constraint-Based Synthesis of Coupling Proofs** will appear at + **04/2018** **Constraint-Based Synthesis of Coupling Proofs** will appear at

BIN
files/slides/ellora.pdf Normal file
View File

Binary file not shown.