From 9fd15b7a44aa4abc5288b6510778592ed78c7129 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 29 Nov 2016 17:53:07 +0000 Subject: [PATCH] Update 2016-10-03-papers.md --- _posts/2016-10-03-papers.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/_posts/2016-10-03-papers.md b/_posts/2016-10-03-papers.md index 60b44dd..5fd7432 100644 --- a/_posts/2016-10-03-papers.md +++ b/_posts/2016-10-03-papers.md @@ -1,5 +1,7 @@ --- 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) +Azalea Raad has had two papers published in Programming Languages and System: Proceedings of the 14th Asian Symposium, APLAS 2016. + +The papers are: [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