Bib.

bibs/myrefs.bib

@@ -7,22 +7,26 @@
   jhsite = yes,
 }
 
-@unpublished{AH22,
+@unpublished{AH23,
   title  = {Separated and Shared Effects in Higher-Order Languages},
   author = {Azevedo de Amorim, Pedro H. and Hsu, Justin},
-  year   = 2022,
+  year   = 2023,
+  url    = {https://arxiv.org/abs/2303.01616},
   jh     = yes,
   jhsite = yes,
+  eprint = {2303.01616},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
 }
 
-@unpublished{GBHSZ22,
+@unpublished{GBHSZ23,
   title  = {An abstract approach to conditional independence in {DIBI} models},
   author = {Gu, Tao and
             Bao, Jialu and
             Hsu, Justin and
             Silva, Alexandra and
             Zanasi, Fabio},
-  year   = 2022,
+  year   = 2023,
   jh     = yes,
   jhsite = yes,
 }
@@ -1333,6 +1337,22 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{nus22-talk,
+  title = {Data-Driven Invariant Learning for Probabilistic Programs},
+  organization = {{PLSE} Seminar, {NUS}},
+  year = 2022,
+  month = sep,
+  jh = yes,
+}
+
+@talk{aws22-talk,
+  title = {Composition, Verification, and Differential Privacy},
+  organization = {Privacy Engineering Team, Amazon Web Services},
+  year = 2022,
+  month = sep,
+  jh = yes,
+}
+
 @talk{popl21-talk,
   title = {A Pre-Expectation Calculus for Probabilistic Sensitivity},
   organization = pldi22,