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

Update news.

This commit is contained in:
Justin Hsu 2022-07-15 13:00:33 -04:00
parent 3acd1e13fe
commit a830711390
1 changed files with 1 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
content/news.md
View File

@ -1,4 +1,4 @@
+ **07/2022** **Symbolic Execution for Randomized PRograms** to
+ **07/2022** **Symbolic Execution for Randomized Programs** to
appear at **OOPSLA 2022**.
+ **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to
appear at **CAV 2022**.
@ -21,12 +21,3 @@
Slides and lecture recordings are [available
online](https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php).
Thanks to the organizers, and thanks to all the enthusiastic students!
+ **04/2021** I'm happy to serve on the PC of [**MFPS
XXXVII**](https://easychair.org/cfp/MFPS37), which will take place online
along with [**CALCO 2021**](https://easychair.org/cfp/CALCO2021). Submit your
best papers!
+ **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum
Interpretation of Bunched Logic & Quantum Separation Logic** to appear at
**LICS 2021**.
+ **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has
been selected as a **Distingiushed Paper** at **POPL 2021**!