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

Link to TPDP slides.

This commit is contained in:
Justin Hsu 2018-10-15 14:56:27 -05:00
parent f12c64bb20
commit a8037883f9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
content/news.md
View File

@ -4,6 +4,7 @@
+ **10/2018** I will give an invited talk at the [**TPDP + **10/2018** I will give an invited talk at the [**TPDP
2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy, 2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy,
colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto. colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto.
[Slides](https://www.justinh.su/files/slides/tpdp.pdf) are now available.
+ **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification + **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification
of Higher-Order Probabilistic Programs** will appear at **POPL 2019**! of Higher-Order Probabilistic Programs** will appear at **POPL 2019**!
+ **10/2018** I am helping organize the [**Programming Languages Mentoring + **10/2018** I am helping organize the [**Programming Languages Mentoring