From 08a5bdd4888e157fc228950ac99975dfbe5ba09b Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 1 May 2022 10:20:45 -0400
Subject: [PATCH] CAV

---
 bibs/header.bib |  1 +
 bibs/myrefs.bib | 34 ++++++++++++++++++----------------
 2 files changed, 19 insertions(+), 16 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index c0306bc..3981c5b 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -758,6 +758,7 @@
 @STRING{cav17       = cav # ", Heidelberg, Germany" }
 @STRING{cav18       = cav # ", Oxford, England" }
 @STRING{cav20       = cav # ", Los Angeles, California" }
+@STRING{cav22       = cav # ", Haifa, Israel" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
                        Constraint Programming (CP)" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 5fc6062..bd7a6c9 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -22,22 +22,6 @@
   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},
-  url    = {https://arxiv.org/abs/2106.05421},
-  eprint = {2106.05421},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-  year   = 2022,
-  jh     = yes,
-  jhsite = yes,
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @phdthesis{JHThesis,
   title  = {Probabilistic Couplings for Probabilistic Reasoning},
@@ -123,6 +107,24 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{BPHR21,
+  title  = {Data-Driven Invariant Learning for Probabilistic Programs},
+  author = {Bao, Jialu and
+            Trivedi, Nitesh and
+            Pathak, Drashti and
+            Hsu, Justin and
+            Roy, Subhajit},
+  url    = {https://arxiv.org/abs/2106.05421},
+  eprint = {2106.05421},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  booktitle     = cav22,
+  year   = 2022,
+  jh     = yes,
+  jhsite = yes,
+  reviewed  = yes,
+}
+
 @inproceedings{GDH22,
   title  = {{P4BID}: Information Flow Control in {P4}},
   author = {Grewal, Karuna and