Fix bad preprints, add more publication infos.

publications/publications.bib

@@ -208,6 +208,7 @@ throughout the proof.}
   Author                   = {Philippa Gardner},
   Booktitle                = {Proceedings of the 2010 {EDBT/ICDT} Workshops, Lausanne, Switzerland, March 22-26, 2010},
   Year                     = {2010},
+  doi                      = {10.1145/1754239.1754261},
   
   Project                  = { web },
 
@@ -425,6 +426,8 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i
   Year                     = {2009},
   Number                   = {2},
   Volume                   = {5},
+  doi                      = {10.2168/LMCS-5(2:4)2009},
+  url                      = {https://arxiv.org/abs/0903.1032},
   
   Project                  = { concurrency },