From 3acd1e13fe71f6cfb91e63c00a5169600a795d52 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Thu, 30 Jun 2022 21:56:58 -0400 Subject: [PATCH] Add PSE. --- content/news.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/content/news.md b/content/news.md index bb8f544..847e682 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **07/2022** **Symbolic Execution for Randomized PRograms** to + appear at **OOPSLA 2022**. + **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