diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 0ed8e0f..24e6dd8 100644 --- a/bibs/myrefs.bib +++ b/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,