DOI and arxiv.

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}},