diff --git a/publications.bib b/publications.bib
index 5c37132ae41e90314e6ad775fa0ab9520ce43b57..d1bdb01306e6c8a7c13beac4755fc7a484cc2821 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1671,16 +1671,16 @@ generator for flow-sensitive analysis. We prove general consistency results betw
 only on simple language-dependent lemmas. We illustrate our ideas using a simple While language.},
 }
 
-@inproceedings{Gardner2018JaVerT,
- author = {Philippa Gardner},
- title = {JaVerT: JavaScript Verification and Testing Framework: Invited Talk},
-  booktitle = {Proceedings of the 20th International Symposium on Principles and
+@InProceedings{Gardner2018JaVerT,
+ author     = {Philippa Gardner},
+ title      = {JaVerT: JavaScript Verification and Testing Framework: Invited Talk},
+ booktitle  = {Proceedings of the 20th International Symposium on Principles and
                Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                Germany, September 03-05, 2018},
- pages = {1:1--1:4},
- month     = sep,
- year      = {2018},
- project   = { web },
+ pages      = {1:1--1:4},
+ month      = sep,
+ year       = {2018},
+ project    = { web },
  doi = {10.1145/3236950.3236974},
  abstract = {We present a novel, unified approach to the development of compositional
 symbolic execution tools, which bridges the gap between