diff --git a/bibs/header.bib b/bibs/header.bib
index d88f69b..eb81b82 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -444,6 +444,7 @@
 @STRING{vldb12      = vldb # ", Istanbul, Turkey"}
 @STRING{vldb14      = vldb # ", Hangzhou, China"}
 @STRING{vldb17      = vldb # ", Munich, Germany"}
+@STRING{vldb18      = vldb # ", Rio de Janeiro, Brazil"}
 
 % ----
 @STRING{icc         = "{IEEE} {I}nternational {C}onference on {C}ommunications
@@ -458,6 +459,7 @@
 @STRING{sigmod10    = sigmod # ", Indianapolis, Indiana"}
 @STRING{sigmod12    = sigmod # ", Scottsdale, Arizona"}
 @STRING{sigmod14    = sigmod # ", Snowbird, Utah"}
+@STRING{sigmod17    = sigmod # ", Chicago, Illinois"}
 
 % ----
 @STRING{tamc        = "Theory and Applications of Models of Computation
@@ -842,6 +844,12 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{uai         = "Conference on Uncertainty in Artificial Intelligence ({UAI})"}
 @STRING{uai02       = uai # ", Edmonton, Alberta" }
+
+% ---
+@STRING{vstte      = "Working Conference on Verified Software: Theories, Tools
+  and Experiments ({VSTTE})" }
+@STRING{vstte13    = vstte # ", Menlo Park, California" }
+
 % ---
 @STRING{wosn12      = wosn # ", Helsinki, Finland" }
 
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 45fa9d3..1256c26 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -121,6 +121,10 @@
   volume   = {3},
   number   = {POPL},
   jhnote   = "To appear at " # popl19 # ".",
+  eprint    = {1810.12396},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  url      = {https://arxiv.org/abs/1810.12396},
   reviewed = yes,
 }
 
@@ -5109,7 +5113,7 @@ inproceedings{LarsenS89,
 }
 
 @inproceedings{mathsat,
-  title={The MathSAT5 SMT Solver.},
+  title={The {MathSAT5} {SMT} Solver.},
   author={Cimatti, Alessandro and Griggio, Alberto and Schaafsma, Bastiaan Joost and Sebastiani, Roberto},
   booktitle=tacas13,
   volume={7795},