Update bib.

bibs/myrefs.bib

@@ -175,6 +175,8 @@
   eprint    = yes,
   volume    = {9450},
   pages     = {387--401},
+  publisher = springer,
+  series    = lncs,
   url       = {http://arxiv.org/abs/1509.03476},
 }
 
@@ -334,7 +336,6 @@
                Eisenberg, Richard A},
   booktitle = icfp13,
   url       = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf},
-  volume    = {13},
   year      = {2013},
   jh        = yes,
   docs      = yes
@@ -1440,13 +1441,6 @@ url       = {http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf}
   url       = {http://www.cs.cmu.edu/~ninamf/papers/ml_md_bbhm.pdf}
 }
 
-@techreport{CKRW14,
-  title  = {Privacy and Truthful Equilibrium Selection for Aggregative Games},
-  author = {Cummings, Rachel and Kearns, Michael and Roth, Aaron and Wu, Zhiwei Steven},
-  year   = {2014},
-  url    = {http://arxiv.org/abs/1407.7740}
-}
-
 @inproceedings{DD09,
   title     = {On the power of randomization in algorithmic mechanism design},
   author    = {Dobzinski, Shahar and Dughmi, Shaddin},
@@ -2373,7 +2367,6 @@ year           = {2014}
   pages       = {324--328},
   year        = {1996},
   url         = {http://dl.acm.org/citation.cfm?id=234740},
-  publisher   = {ACM}
 }
 
 @inproceedings{dwork2010pan,
@@ -2718,9 +2711,9 @@ verification conditions},
 year           = {2009},
 booktitle      = {Declarative Agent Languages and Technologies VI},
 volume         = {5397},
-series         = {LNCS},
+series         = lncs,
 title          = {Abstracting and Verifying Strategy-Proofness for Auction Mechanisms},
-publisher      = {Springer Berlin Heidelberg},
+publisher      = springer,
 author         = {Tadjouddine, Emmanuel M. and Guerin, Frank and Vasconcelos, Wamberto},
 pages          = {197-214},
 language       = {English}
@@ -2735,7 +2728,7 @@ language       = {English}
   year         = {2007},
   pages        = {288--297},
   publisher    = springer,
-  series       = {LNCS},
+  series       = lncs,
   volume       = {4696},
 }
 
@@ -3490,7 +3483,7 @@ year = 2015
 year={2014},
 booktitle=wine14,
 volume={8877},
-series={Lecture Notes in Computer Science},
+series=lncs,
 title={Sampling and Representation Complexity of Revenue Maximization},
 publisher=springer,
 author={Dughmi, Shaddin and Han, Li and Nisan, Noam},
@@ -3587,7 +3580,7 @@ year={1996},
 isbn={978-3-540-61310-7},
 booktitle=ipco06,
 volume={1084},
-series={Lecture Notes in Computer Science},
+series=lncs,
 title={Convexity and {S}teinitz's exchange property},
 url={http://dx.doi.org/10.1007/3-540-61310-2_20},
 publisher={Springer Berlin Heidelberg},
@@ -3924,9 +3917,9 @@ author = {Aleksandar Chakarov and Sriram Sankaranarayanan},
 title = {Expectation Invariants as Fixed Points of Probabilistic Programs},
 year = {2014},
 pages = {85--100},
-publisher = {Springer-Verlag},
+publisher = springer,
 booktitle = sas14,
-series = {Lecture Notes in Computer Science},
+series = lncs,
 volume = {8723},
 url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf}
 }
@@ -3936,10 +3929,10 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf}
                Michael Monerau},
   title     = {Probabilistic Abstract Interpretation},
   booktitle = esop12,
-  series    = {Lecture Notes in Computer Science},
+  series    = lncs,
   volume    = {7211},
   pages     = {169--193},
-  publisher = {Springer},
+  publisher = springer,
   year      = {2012},
   url       = {http://www.di.ens.fr/~cousot/publications.www/Cousot-Monerau-ESOP2012-extended.pdf}
 }
@@ -3954,7 +3947,7 @@ url = {https://www.cs.colorado.edu/~srirams/papers/sas14-expectations.pdf}
   booktitle=eucrypt06,
   pages={486--503},
   year={2006},
-  publisher={Springer}
+  publisher=springer
 }
 
 @unpublished{lyu2016understanding,
@@ -4138,4 +4131,3 @@ archivePrefix = "arXiv",
   bibsource = {dblp computer science bibliography,
     http://dblp.org}
 }
-