From fc8eb93856fec13a2a5ebb57aac393901ac33e61 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Tue, 1 Mar 2022 00:03:20 -0500
Subject: [PATCH] Update bib.

---
 bibs/header.bib |  2 ++
 bibs/myrefs.bib | 46 +++++++++++++++++++++++++++++++++++++++++++---
 2 files changed, 45 insertions(+), 3 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index 6537cc4..6cf8584 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -303,6 +303,7 @@
 @STRING{pldi18      = pldi # ", Philadelphia, Pennsylvania" }
 @STRING{pldi19      = pldi # ", Phoenix, Arizona" }
 @STRING{pldi21      = pldi }
+@STRING{pldi22      = pldi # ", San Diego, California" }
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
@@ -675,6 +676,7 @@
 @STRING{aplas05     = aplas # ", Tsukuba, Japan" }
 @STRING{aplas10     = aplas # ", Shanghai, China" }
 @STRING{aplas17     = aplas # ", Suzhou, China" }
+@STRING{aplas21     = aplas # ", Chicago, Illinois" }
 
 %----
 @STRING{ascrypt     = "International Conference on the Theory and
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index d742714..15ed198 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,18 +1,31 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{GBHSZ22,
+  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,
+  jh     = yes,
+  jhsite = yes,
+}
+
 @unpublished{SLHR21,
   title  = {Symbolic Execution for Randomized Programs},
   author = {Susag, Zachary and
             Lahiri, Sumit and
             Hsu, Justin and
             Roy, Subhajit},
-  year   = 2021,
+  year   = 2022,
   jh     = yes,
-  jhsite = no,
+  jhsite = yes,
 }
 
 @unpublished{BPHR21,
   title  = {Data-Driven Invariant Learning for Probabilistic Programs},
   author = {Bao, Jialu and
+            Trivedi, Nitesh and
             Pathak, Drashti and
             Hsu, Justin and
             Roy, Subhajit},
@@ -20,7 +33,7 @@
   eprint = {2106.05421},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
-  year   = 2021,
+  year   = 2022,
   jh     = yes,
   jhsite = yes,
 }
@@ -110,6 +123,17 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{GDH22,
+  title  = {{P4BID}: Information Flow Control in {P4}},
+  author = {Grewal, Karuna and
+            D'Antoni, Loris and
+            Hsu, Justin},
+  booktitle     = pldi22,
+  year   = 2022,
+  jh     = yes,
+  jhsite = yes,
+}
+
 @article{BGHT21,
   title  = {A Separation Logic for Negative Dependence},
   author = {Bao, Jialu and
@@ -1273,6 +1297,22 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{pldg21-talk,
+  title = {How to Read a {PL} Paper (while also doing other things too)},
+  organization = {PL Discussion Group Retreat, Cornell University},
+  year = 2021,
+  month = dec,
+  jh = yes,
+}
+
+@talk{aplas21-talk,
+  title = {A Probabilistic Separation Logic},
+  organization = aplas21,
+  year = 2021,
+  month = oct,
+  jh = yes,
+}
+
 @talk{ini21-talk,
   title = {Data-Driven Invariant Learning for Probabilistic Programs},
   organization = {Verified Software: From Theory to Practice {(VSOW03)}, Isaac