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

Update news.

This commit is contained in:
Justin Hsu 2020-07-22 16:57:33 -05:00
parent 44a16544ea
commit 263dcae25e
3 changed files with 1817 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
content/news.md
View File

@ -1,5 +1,13 @@
+ **07/2020** I was happy to give a talk at the [**Online Workshop on Logic and
Semantics: Young Researcher
(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).
+ **04/2020** I received an NSF CAREER award for **Cara: Compositional Analysis + **04/2020** I received an NSF CAREER award for **Cara: Compositional Analysis
for Randomized Algorithms**! for Randomized Algorithms**!
+ **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).
+ **01/2020** This spring, I'm teaching an undergraduate course **Introduction + **01/2020** This spring, I'm teaching an undergraduate course **Introduction
to the Theory and Design of Programming Languages (CS 538)**, covering Haskell to the Theory and Design of Programming Languages (CS 538)**, covering Haskell
and Rust. Follow along and Rust. Follow along

BIN
files/slides/owls-yr.pdf Normal file
View File

Binary file not shown.

1809
files/slides/popl20-tutorial.pdf Normal file
View File

File diff suppressed because it is too large Load Diff