Update 2017-02-06-ESOP.md

_posts/2017-02-06-ESOP.md

@@ -14,6 +14,6 @@ Pedro Da Rocha Pinto, in collaboration with [Thomas Dinsdale-Young](http://cs.au
 [Kristoffer Just Andersen](http://pure.au.dk/portal/en/persons/id(5e842a19-8b76-487a-8082-06b6d6ff2545).html)
 and [Lars Birkedal](http://www.cs.au.dk/~birke/) from Aarhus University, has had a paper accepted at ESOP 2017, 
 entitled [Caper: Automatic Verification for Fine-grained Concurrency](https://psvg.doc.ic.ac.uk/publications/Dinsdale-Young2017Caper.html).
-This paper presents Caper, a prototype tool for automated reasoning about concurrent modules.
+This paper presents [Caper](https://github.com/caper-tool/caper), a prototype tool for automated reasoning about concurrent modules.
 Caper is based on symbolic execution, integrating reasoning about interference on shared resources.
 This enables Caper to verify the functional correctness of fine-grained concurrent modules.
\ No newline at end of file