Fix the bib.

publications/publications.bib

@@ -511,13 +511,8 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 
 @inproceedings{Raad2016Verifying,
   Title     = {Verifying Concurrent Graph Algorithms},
-  Author    = {Azalea Raad and
-               Aquinas Hobor and
-               Jules Villard and
-               Philippa Gardner},
-
-  Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
-               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+  Author    = {Azalea Raad and Aquinas Hobor and Jules Villard and Philippa Gardner},
+  Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
   Year      = {2016},
   Pages     = {314--334},
   url       = {http://dx.doi.org/10.1007/978-3-319-47958-3_17},
@@ -528,13 +523,9 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 }
 
 @inproceedings{Raad2016DOM,
- Title     = {{DOM:} Specification and Client Reasoning},
- Author    = {Azalea Raad and
-               Jos{\'{e}} Fragoso Santos and
-               Philippa Gardner},
- 
-  Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
-               2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
+  Title     = {{DOM:} Specification and Client Reasoning},
+  Author    = {Azalea Raad and Jos{\'{e}} Fragoso Santos and Philippa Gardner},
+  Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
   Year      = {2016},
   Pages     = {401--422},
   url       = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},