From 96ba1e3bbcb25dcd5b94ebbfb5e06af4b07502a7 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 4 Dec 2018 17:00:59 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/publications.bib b/publications.bib
index a5797de..5c37132 100644
--- a/publications.bib
+++ b/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;}
--
GitLab