From 7003886d95a3173e6dc9341bc37feba0c7c6bd38 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 22 Nov 2016 15:48:25 +0000
Subject: [PATCH] Add new file

---
 _posts/2016-10-03-papers.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 _posts/2016-10-03-papers.md

diff --git a/_posts/2016-10-03-papers.md b/_posts/2016-10-03-papers.md
new file mode 100644
index 0000000..60b44dd
--- /dev/null
+++ b/_posts/2016-10-03-papers.md
@@ -0,0 +1,5 @@
+---
+title: Papers publised by Azalea Raad
+---
+Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, APLAS 2016: [Verifying Concurrent Graph Algorithms](http://psvg.doc.ic.ac.uk/publications/Raad2016Verifying.html)(with Aquinas Hobor, Jules Villard and Philippa Gardner) and [DOM: Specification and Client Reasoning](http://psvg.doc.ic.ac.uk/publications/Raad2016DOM.html) (with José Fragoso Santos and Philippa Gardner)
+These and other group papers can be found on our [publications page](http://psvg.doc.ic.ac.uk/publications/)
-- 
GitLab