Update.

bibs/myrefs.bib

@@ -28,7 +28,7 @@
             Kaminski, Benjamin Lucien and
             Katoen, Joost-Pieter and
             Matheja, Christoph},
-  year   = 2020,
+  year   = 2019,
   url    = {https://arxiv.org/abs/1901.06540},
   eprint = {1901.06540},
   archivePrefix = {arXiv},
@@ -148,7 +148,7 @@
   journal  = pacmpl,
   volume   = {4},
   number   = {POPL},
-  jhnote   = "To appear at " # popl20 # ".",
+  jhnote   = "Appeared at " # popl20 # ".",
   reviewed  = yes,
   jh     = yes,
   acceptance = {68/257=0.28},
@@ -172,7 +172,7 @@
   journal  = pacmpl,
   volume   = {4},
   number   = {POPL},
-  jhnote   = "To appear at " # popl20 # ", Distinguished Paper Award.",
+  jhnote   = "Appeared at " # popl20 # ", Distinguished Paper Award.",
   note     = "Distinguished Paper Award.",
   reviewed  = yes,
   jh     = yes,
@@ -196,7 +196,7 @@
   journal  = pacmpl,
   volume   = {4},
   number   = {POPL},
-  jhnote   = "To appear at " # popl20 # ".",
+  jhnote   = "Appeared at " # popl20 # ".",
   reviewed  = yes,
   jh     = yes,
   acceptance = {68/257=0.28},