Update publications.bib

publications/publications.bib

@@ -509,3 +509,38 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   Project                  = { concurrency, tada }
 }
 
+@inproceedings{DBLP:conf/aplas/RaadHVG16,
+  author    = {Azalea Raad and
+               Aquinas Hobor and
+               Jules Villard and
+               Philippa Gardner},
+  title     = {Verifying Concurrent Graph Algorithms},
+  booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
+               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+  pages     = {314--334},
+  year      = {2016},
+  crossref  = {DBLP:conf/aplas/2016},
+  url       = {http://dx.doi.org/10.1007/978-3-319-47958-3_17},
+  doi       = {10.1007/978-3-319-47958-3_17},
+  timestamp = {Mon, 10 Oct 2016 15:12:54 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aplas/RaadHVG16},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@inproceedings{DBLP:conf/aplas/RaadSG16,
+  author    = {Azalea Raad and
+               Jos{\'{e}} Fragoso Santos and
+               Philippa Gardner},
+  title     = {{DOM:} Specification and Client Reasoning},
+  booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
+               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+  pages     = {401--422},
+  year      = {2016},
+  crossref  = {DBLP:conf/aplas/2016},
+  url       = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},
+  doi       = {10.1007/978-3-319-47958-3_21},
+  timestamp = {Mon, 10 Oct 2016 15:12:54 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aplas/RaadSG16},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+