diff --git a/content/news.md b/content/news.md index 1a8fd31..220d6fe 100644 --- a/content/news.md +++ b/content/news.md @@ -1,5 +1,5 @@ + **08/2022** Our paper **Data-Driven Invariant Learning for Probabilistic - Programs** received a Distinguished Paper at **CAV 2022**! + Programs** received a Distinguished Paper Award at **CAV 2022**! + **08/2022** This fall, I am teaching [**Category Theory for Computer Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2022fa/)! + **07/2022** **Symbolic Execution for Randomized Programs** to