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