From 691dc1bbb989638d352cd48e447bb322a2c1b56e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 16 Feb 2017 10:17:57 +0000
Subject: [PATCH] Update 2016-12-15-Dolby.md

---
 _posts/2016-12-15-Dolby.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2016-12-15-Dolby.md b/_posts/2016-12-15-Dolby.md
index b931ab6..51f169c 100644
--- a/_posts/2016-12-15-Dolby.md
+++ b/_posts/2016-12-15-Dolby.md
@@ -6,7 +6,7 @@ title: Visit from Julian Dolby, IBM
 in New York visited the PSVG group for a week in December. Julian’s research focuses on static program analysis, 
 software testing and the semantic web and during his visit, Julian worked with José Fragoso and Petar Maksimovic 
 in a [symbolic analysis for JavaScript](https://psvg.doc.ic.ac.uk/research/javascript.html) 
-based on JSIL and Rosette with the end goal of having a bug-finding tool for JavaScript.
+based on JSIL and Rosette with the end goal of having a [bug-finding tool for JavaScript]((/images/posts/ CSR-Conference-poster-JavaScript.pdf).
 
 [ROSETTE]( https://github.com/juliandolby/rosette) is a solver-aided programming language 
 that extends Racket with language constructs for program synthesis, verification, and more.
\ No newline at end of file
-- 
GitLab