diff --git a/content/news.md b/content/news.md index f7948cd..bb8f544 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to + appear at **CAV 2022**. + **02/2022** **P4BID: Information Flow Control in P4** to appear at **PLDI 2022**. + **01/2022** I will be co-chairing [**MFPS 38**](https://www.cs.cornell.edu/mfps-2022/)