CAV

2022-05-01 10:20:45 -04:00
parent 08deca1967
commit 08a5bdd488
2 changed files with 19 additions and 16 deletions
@@ -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