Update bibs.

bibs/myrefs.bib

@@ -96,15 +96,17 @@
   author   = {Albarghouthi, Aws and
               Hsu, Justin},
   year     = {2018},
-  month    = {},
+  month    = jan,
   jh       = yes,
   journal  = pacmpl,
-  volume   = {1},
+  volume   = {2},
   number   = {POPL},
   pages    = {XX},
+  articleno = {58},
   url      = {http://arxiv.org/abs/1709.05361},
   note     = "To appear at " # popl18,
   reviewed = yes,
+  doi      = {10.1145/3158146},
   eprint   = {1709.05361},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
@@ -118,12 +120,14 @@
               Hsu, Justin and
               Strub, {Pierre}-{Yves}},
   year     = {2018},
-  month    = {},
+  month    = jan,
   jh       = yes,
   journal  = pacmpl,
-  volume   = {1},
+  volume   = {2},
   number   = {POPL},
   pages    = {XX},
+  articleno = {57},
+  doi      = {10.1145/3158145},
   url      = {http://arxiv.org/abs/1708.02537},
   note     = "To appear at " # popl18,
   reviewed = yes,