justin-site/content/news.md

28 lines
1.6 KiB
Markdown
Raw Normal View History

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).
2020-08-24 23:32:10 +00:00
+ **04/2020** I received an **NSF CAREER** award for **Cara: Compositional Analysis
2020-05-01 21:15:43 +00:00
for Randomized Algorithms**!
2020-07-22 21:57:33 +00:00
+ **01/2020** I was happy to present a tutorial on probabilistic couplings at
**POPL 2020**. Slides are available
[here](https://justinh.su/files/slides/popl20-tutorial.pdf).
2020-01-16 01:01:43 +00:00
+ **01/2020** This spring, I'm teaching an undergraduate course **Introduction
to the Theory and Design of Programming Languages (CS 538)**, covering Haskell
and Rust. Follow along
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)!
+ **01/2020** **Hypothesis Testing Interpretations and Rényi Differential
2020-01-13 16:27:07 +00:00
Privacy** to appear at **AISTATS 2020**!
2020-01-01 14:52:17 +00:00
+ **01/2020** **Guarded Kleene Algebra with Tests** has been selected as a
**Distingiushed Paper** at **POPL 2020**.
2019-10-16 22:36:33 +00:00
+ **10/2019** **A Probabilistic Separation Logic**, **Guarded Kleene Algebra
with Tests**, and **Relational Proofs for Quantum Programs** to appear at
**POPL 2020**!
+ **10/2019** I am serving on the program committee of [**LAFI
2020**](https://popl19.sigplan.org/track/lafi-2020), colocated with POPL 2020.
Submit your best papers!