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

Update.

This commit is contained in:
Justin Hsu 2018-10-09 16:15:43 -05:00
parent 0213d0460a
commit dd7cfb640b
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
content/news.md
View File

@ -1,3 +1,6 @@
+ **10/2018** I will give 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.
+ **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