From c791a7a88da5bd3ee4b3151e41a96f7ee4404e33 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sun, 1 May 2022 10:21:41 -0400 Subject: [PATCH] News --- content/news.md | 2 ++ 1 file changed, 2 insertions(+) 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/)