Update publications.bib

publications.bib

@@ -1671,6 +1671,27 @@ 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
+               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 },
+ 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
+traditional symbolic execution and compositional program reasoning
+based on separation logic. We apply our approach to JavaScript,
+providing support for full verification, whole-program symbolic
+testing, and automatic compositional testing based on bi-abduction.},
+
+} 
+
+
 
 @Comment{jabref-meta: databaseType:bibtex;}