From eebf1450040399575f191fc5aed16395276e7fdc Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Tue, 11 Apr 2023 13:30:11 -0400
Subject: [PATCH] DOI and arxiv.

---
 bibs/myrefs.bib | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index cfc6a90..a4960a7 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -119,6 +119,11 @@
   reviewed = yes,
   jh       = yes,
   jhsite = yes,
+  doi       = {10.1145/3591293},
+  url       = {https://arxiv.org/abs/2304.04642},
+  eprint    = {2304.04642},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
   note   = "Appeared at " # pldi23 # ".",
 }
 
@@ -1343,6 +1348,22 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{neu23-talk,
+  title = {Separation Logics for Probabilistic Programs},
+  organization = {{PRL} Seminar, Northeastern University},
+  year = 2023,
+  month = apr,
+  jh = yes,
+}
+
+@talk{harvard23-talk,
+  title = {Separation Logics for Probabilistic Programs},
+  organization = {Harvard {PL} Seminar},
+  year = 2023,
+  month = apr,
+  jh = yes,
+}
+
 @talk{nus22-talk,
   title = {Data-Driven Invariant Learning for Probabilistic Programs},
   organization = {{PLSE} Seminar, {NUS}},