Update publications.bib

publications.bib

@@ -621,10 +621,9 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   Author                   = {Jos{\'{e}} {Fragoso Santos} and Philippa Gardner and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e}},
   Booktitle                = {Proceedings of 26\textsuperscript{th} Conference on Automated Deduction {(CADE 26)}},
   Year                     = {2017},
-  Pages                    = {},
-  
+
   Project                  = { web },
 
-  Abstract                 = {}
+  Abstract                 = {In this position paper, we argue for what we believe is a correct pathway to achieving scalable symbolic verification of JavaScript based on separation logic. We highlight the difficulties imposed by the language, the current state-of-the-art in the literature, and the  sequence of steps that needs to be taken. We briefly describe \javert, our semi-automatic toolchain for JavaScript verification.}
 }
 @Comment{jabref-meta: databaseType:bibtex;}