diff --git a/publications.bib b/publications.bib
index aa3dc86a38d97ccfc39d8a271c45ae58627094ab..b2d7854f2df5b8430773b1d3cc7c45777ee9510a 100644
--- a/publications.bib
+++ b/publications.bib
@@ -614,5 +614,17 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
     
     Abstract                = {This thesis explores the challenges in abstract library specification, library refinement and reasoning about fine-grained concurrent programs.For abstract library specification, this thesis applies structural separation logic (SSL) to formally specify the behaviour of several libraries in an abstract, local and compositional manner. This thesis further generalises the theory of SSL to allow for library specifications that are language independent. Most notably, we specify a fragment of the Document Object Model (DOM) library. This result is compelling as it significantly improves upon existing DOM formalisms in that the specifications produced are local, compositional and language-independent. Concerning library refinement, this thesis explores two existing approaches to library refinement for separation logic, identifying their advantages and limitations in different settings. This thesis then introduces a hybrid approach to refinement, combining the strengths of both techniques for simple scalable library refinement. These ideas are then adapted to refinement for SSL by presenting a JavaScript implementation of the DOM fragment studied and establishing its correctness with respect to its specification using the hybrid refinement approach.As to concurrent reasoning, this thesis introduces concurrent local subjective logic (CoLoSL) for compositional reasoning about fine-grained concurrent programs. CoLoSL introduces subjective views, where each thread is verified with respect to a customised local view of the state, as well as the general composition and framing of interference relations, allowing for better proof reuse.}
     }
-    
+    }
+
+@InProceedings{Gardner2017Towards,
+  Title                    = {{Towards Logic-based Verification of JavaScript Programs}},
+  Author                   = {Jos{\'{e}} {Fragoso Santos} and Philippa Gardner and Petar Maksimović and Daiva Naudžiūnienė},
+  Booktitle                = {Proceedings of 26\textsuperscript{th} conference on Automated Deduction {(CADE 26)}},
+  Year                     = {2017},
+  Pages                    = {},
+  
+  Project                  = { web },
+
+  Abstract                 = {}
+}
 @Comment{jabref-meta: databaseType:bibtex;}