justin-site/content/news.md

32 lines
1.9 KiB
Markdown
Raw Normal View History

2021-07-10 22:36:18 +00:00
+ **07/2021** I'm happy to serve on the PC of **POPL 2022** and **PLDI 2022**.
Submit your best papers!
2021-07-10 22:35:42 +00:00
+ **06/2021** I gave four lectures at this year's (virtual) [Oregon PL Summer
School](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php).
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!
2021-04-01 22:14:17 +00:00
+ **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!
2021-04-01 22:09:59 +00:00
+ **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum
Interpretation of Bunched Logic & Quantum Separation Logic** to appear at
**LICS 2021**.
2021-01-04 13:07:02 +00:00
+ **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has
been selected as a **Distingiushed Paper** at **POPL 2021**!
+ **12/2020** **Learning Differentially Private Mechanisms** to appear at **S&P
2021**.
2020-10-05 14:22:06 +00:00
+ **10/2020** I was happy to present a tutorial on probabilistic couplings at
[**CMCS 2020**](https://www.coalg.org/cmcs20/). Slides are available
[here](https://justinh.su/files/slides/cmcs20-tutorial.pdf).
2020-10-05 00:07:12 +00:00
+ **10/2020** **A Pre-Expectation Calculus for Probabilistic Sensitivity** to
2021-01-04 13:07:02 +00:00
appear at **POPL 2021**.
2020-08-24 23:32:10 +00:00
+ **09/2020** This fall, I'm teaching a graduate seminar on **Security and
Privacy in Data Science (CS 763)**. Follow along
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs763/)!
2020-07-22 21:58:51 +00:00
+ **07/2020** I was happy to give a talk at the [**Online Worldwide Seminar on
Logic and Semantics: Young Researcher
2020-07-22 21:57:33 +00:00
(OWLS-YR)**](https://www.cs.bham.ac.uk/~vicaryjo/owls/) on probabilistic
separation logic. Slides are available
[here](https://justinh.su/files/slides/owls-yr.pdf).