Add page numbers and publishers.

bibs/header.bib

@@ -51,12 +51,15 @@
 @STRING{elsevier = "Elsevier" }
 @STRING{entcs    = "Electronic Notes in Theoretical Computer Science" }
 @STRING{lncs     = "Lecture Notes in Computer Science" }
+@STRING{lipics   = "Leibniz International Proceedings in Informatics" }
 @STRING{lnm      = "Lecture Notes in Mathematics" }
 @STRING{gtm      = "Graduate Texts in Mathematics" }
 @STRING{lfcs     = "Laboratory for Foundations of Computer Science,
                     University of Edinburgh" }
+@STRING{jmlr     = "Journal of Machine Learning Research"}
 @STRING{mp       = "MIT Press" }
 @STRING{mitpress = mp }
+@STRING{dagstuhl = "Schloss Dagstuhl--Leibniz Center for Informatics" }
 @STRING{informs  = "INFORMS" }
 %
 % Journals and magazines
@@ -97,7 +100,7 @@
 @STRING{jufks    = "{I}nternational {J}ournal of {U}ncertainty, {F}uzziness and
   {K}nowledge-{B}ased {S}ystems"}
 @STRING{toc      = "Theory of Computing"}
-@STRING{jmlr     = "Journal of Machine Learning Research"}
+@STRING{jmlrproc = "JMLR: Workshop and Conference Proceedings"}
 @STRING{jpc      = "Journal of Privacy and Confidentiality"}
 @STRING{mor      = "Mathematics of Operations Research"}
 %
@@ -504,7 +507,7 @@
 @STRING{fossacs   = {International Confernece on Foundations of Software Science and Computation Structures {(FoSSaCS)}}}
 @STRING{fsttcs    = {Foundations of Software Technology and Theoretical Computer
                     Science (FSTTCS)} }
-@STRING{hcomp     = {Conference on Human Computation \& Crowdsourcing (HCOMP)} }
+@STRING{hcomp     = {{AAAI} Conference on Human Computation and Crowdsourcing (HCOMP)} }
 @STRING{hoots     = {Workshop on Higher Order Operational Techniques in
                     Semantics (HOOTS)} }
 @STRING{icalp     = {International Colloquium on Automata, Languages and

bibs/myrefs.bib

@@ -22,9 +22,9 @@
   title     = {Dual Query: Practical private query release for high dimensional data},
 	journal   = jpc,
   year      = {2016},
-  reviewed  = yes,
   url       = {http://arxiv.org/abs/1402.1526},
   jh        = yes,
+  reviewed  = yes,
   poster    = {http://justinh.su/files/posters/dualquery.pdf},
   note      = "To appear. Previously published in " # icml14 # ", 2014."
 }
@@ -38,9 +38,9 @@
   title     = {Private matchings and allocations},
 	journal   = siamjc,
   year      = {2016},
-  reviewed  = yes,
   url       = {http://arxiv.org/abs/1311.2828},
   jh        = yes,
+  reviewed  = yes,
   poster    = {http://justinh.su/files/posters/matchings.pdf},
   note      = "To appear. Previously published in " # stoc14 # ", 2014."
 }
@@ -54,9 +54,9 @@
             Strub, {P}ierre-{Y}ves},
   booktitle = popl17,
   year   = 2017,
-  reviewed = yes,
-  jh     = yes,
   url    = {http://arxiv.org/abs/1607.03455},
+  jh     = yes,
+  reviewed = yes,
   note   = {To appear.}
 }
 
@@ -69,9 +69,9 @@
             Katsumata, {Shin-ya}},
   booktitle = popl17,
   year   = 2017,
-  reviewed = yes,
-  jh     = yes,
   url    = {http://justinh.su/files/papers/metric-sem.pdf},
+  jh     = yes,
+  reviewed = yes,
   note   = {To appear.}
 }
 
@@ -85,9 +85,9 @@
             Strub, Pierre-Yves},
   booktitle = wine16,
   year   = 2016,
-  reviewed = yes,
   url    = {http://arxiv.org/abs/1502.04052},
   jh     = yes,
+  reviewed = yes,
   note   = {To appear.}
 }
 
@@ -101,9 +101,9 @@
             Strub, {P}ierre-{Y}ves},
   booktitle = ccs16,
   year    = 2016,
-  reviewed = yes,
-  jh      = yes,
   url     = {https://arxiv.org/abs/1606.07143},
+  jh      = yes,
+  reviewed = yes,
   note   = {To appear.}
 }
 
@@ -118,9 +118,9 @@
             Strub, Pierre-Yves},
   booktitle = ccs16,
   year   = {2016},
-  reviewed = yes,
   url    = {https://arxiv.org/abs/1605.00283},
   jh     = yes,
+  reviewed = yes,
   note   = {To appear.}
 }
 @inproceedings{BEFFH16,
@@ -130,10 +130,14 @@
             Ferrer Fioriti, Luis Mar{\'i}a and
             Hsu, Justin},
   booktitle = cav16,
+  pages     = {43--61},
+  volume    = {9779},
+  series  = lncs,
   year    = 2016,
-  reviewed = yes,
+  publisher = springer,
-  jh      = yes,
   url     = {https://arxiv.org/abs/1605.02765},
+  jh      = yes,
+  reviewed = yes,
 }
 
 @inproceedings{BGGHS16b,
@@ -144,10 +148,14 @@
             Hsu, Justin and
             Strub, {P}ierre-{Y}ves},
   booktitle = icalp16,
+  pages     = {107:1--107:15},
+  volume    = {55},
+  series    = lipics,
   year    = 2016,
+  publisher = dagstuhl,
+  url     = {http://arxiv.org/abs/1602.05681},
   reviewed = yes,
   jh      = yes,
-  url     = {http://arxiv.org/abs/1602.05681}
 }
 
 @inproceedings{BGGHS16,
@@ -159,9 +167,9 @@
             Strub, {P}ierre-{Y}ves},
   booktitle = lics16,
   year    = 2016,
-  reviewed = yes,
   url     = {http://arxiv.org/abs/1601.05047},
   jh      = yes,
+  reviewed = yes,
   slides  = {http://justinh.su/files/slides/approx-couplings.pdf} 
 }
 
@@ -173,10 +181,11 @@
             Roth, Aaron and
             Vohra, Rakesh},
   booktitle = stoc16,
+  pages     = {440--453},
   year    = 2016,
-  reviewed = yes,
   url     = {http://arxiv.org/abs/1511.00925},
   jh      = yes,
+  reviewed = yes,
 }
 
 @inproceedings{HHRW16,
@@ -186,10 +195,11 @@
                Wu, Zhiwei Steven},
   title     = {Jointly private convex programming},
   booktitle = soda16,
+  pages     = {580--599},
   year      = {2016},
-  reviewed = yes,
   url       = {http://arxiv.org/abs/1411.0998},
   jh        = yes,
+  reviewed = yes,
   slides    = {http://justinh.su/files/slides/privdude.pdf},
 }
 
@@ -202,25 +212,26 @@
                Stefanesco, L{\'e}o and
                Strub, {P}ierre-{Y}ves},
   booktitle = lpar15,
+  pages     = {387--401},
+  volume    = {9450},
+  series    = lncs,
   year      = 2015,
+  publisher = springer,
   reviewed  = yes,
   jh        = yes,
   slides    = {http://justinh.su/files/slides/couplings.pdf},
-  volume    = {9450},
-  pages     = {387--401},
-  publisher = springer,
-  series    = lncs,
   url       = {http://arxiv.org/abs/1509.03476},
 }
 
 @inproceedings{AHJ15,
   title     = {Online assignment with heterogeneous tasks in crowdsourcing markets},
   author    = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin},
-  year      = {2015},
   booktitle = hcomp15,
-  reviewed  = yes,
+  pages     = {12--21},
+  year      = {2015},
   url       = {http://arxiv.org/abs/1508.03593},
   jh        = yes,
+  reviewed  = yes,
 }
 
 @inproceedings{GHaccuracy,
@@ -229,10 +240,14 @@
   title     = {A {Theory AB} toolbox},
   year      = {2015},
   booktitle = snapl15,
+  pages     = {129--139},
+  volume    = {32},
+  series    = lipics,
+  publisher = dagstuhl,
+  url       = {http://justinh.su/files/papers/theory-ab.pdf},
   jh        = yes,
   reviewed  = yes,
   slides    = {http://justinh.su/files/slides/theory-ab.pdf},
-  url       = {http://justinh.su/files/papers/theory-ab.pdf} 
 }
 
 @inproceedings{BGGHRS15,
@@ -245,6 +260,7 @@
                Roth, Aaron and
                Strub, Pierre-Yves},
   booktitle = popl15,
+  pages     = {55--68},
   year      = {2015},
   reviewed  = yes,
   url       = {http://arxiv.org/abs/1407.6845},
@@ -260,10 +276,12 @@
   title     = {Really natural linear indexed type-checking},
   booktitle = {Symposium on Implementation and Application of Functional
     Programming Languages (IFL), Boston, Massachusetts},
+  pages     = {5:1--5:12},
   year      = {2014},
-  reviewed  = yes,
+  publisher = acmpress,
   url       = {http://arxiv.org/abs/1503.04522},
   jh        = yes,
+  reviewed  = yes,
   slides    = {http://justinh.su/files/slides/dfuzz-tc.pdf},
 }
 
@@ -276,6 +294,7 @@
                Strub, Pierre-Yves},
   title     = {Proving differential privacy in {H}oare logic},
   booktitle = csf14,
+  pages     = {411--424},
   year      = {2014},
   reviewed  = yes,
   url       = {http://arxiv.org/abs/1407.2988},
@@ -292,6 +311,7 @@
                Roth, Aaron},
   title     = {Differential privacy: An economic method for choosing epsilon},
   booktitle = csf14,
+  pages     = {398--410},
   year      = 2014,
   reviewed  = yes,
   url       = {http://arxiv.org/abs/1402.3329},
@@ -306,14 +326,14 @@
                Ullman, Jonathan},
   title     = {Privately solving linear programs},
   booktitle = icalp14,
-  year      = {2014},
-  reviewed  = yes,
   pages     = {612--624},
+  volume    = 8572,
+  series    = lncs,
+  year      = {2014},
+  publisher = springer,
   url       = {http://arxiv.org/abs/1402.3631},
-  timestamp = {Fri, 31 Oct 2014 14:45:31 +0100},
-  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/HsuRRU14},
-  bibsource = {dblp computer science bibliography, http://dblp.org},
   jh        = yes,
+  reviewed  = yes,
   slides    = {http://justinh.su/files/slides/priv-lp.pdf},
 }
 
@@ -325,7 +345,11 @@ inproceedings{GGHRW14,
                Wu, Zhiwei Steven},
   title     = {Dual Query: Practical private query release for high dimensional data},
   booktitle = icml14,
+  pages     = {1170--1178},
+  volume    = {32},
+  series    = jmlrproc,
   year      = {2014},
+  publisher = jmlr,
   reviewed  = yes,
   url       = {http://arxiv.org/abs/1402.1526},
   jh        = yes,
@@ -353,13 +377,15 @@ inproceedings{HHRRW14,
 }
 
 @inproceedings{WHE13,
-  title     = {Towards dependently typed {H}askell: {S}ystem {FC} with kind equality},
+  title     = {{S}ystem {FC} with explicit kind equality},
   author    = {Weirich, Stephanie and
                Hsu, Justin and
                Eisenberg, Richard A.},
   booktitle = icfp13,
-  url       = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf},
+  pages     = {275--286},
   year      = {2013},
+  publisher = acmpress,
+  url       = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf},
   reviewed  = yes,
   jh        = yes,
 }
@@ -400,6 +426,8 @@ inproceedings{HHRRW14,
                Roth, Aaron},
   booktitle = icalp12,
   pages     = {461--472},
+  volume    = {7391},
+  series    = lncs,
   year      = {2012},
   reviewed  = yes,
   publisher = springer,