diff --git a/bibs/header.bib b/bibs/header.bib
index cc494a3..7005cb8 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -155,6 +155,7 @@
 @STRING{popl03      = popl # ", New Orleans, Louisiana" }
 @STRING{popl04      = popl # ", Venice, Italy" }
 @STRING{popl05      = popl # ", Long Beach, California" }
+@STRING{popl06      = popl # ", Charleston, South Carolina" }
 @STRING{popl08      = popl # ", San Francisco, California" }
 @STRING{popl09      = popl # ", Savannah, Georgia" }
 @STRING{popl10      = popl # ", Madrid, Spain" }
@@ -163,6 +164,7 @@
 @STRING{popl13      = popl # ", Rome, Italy" }
 @STRING{popl14      = popl # ", San Diego, California" }
 @STRING{popl15      = popl # ", Mumbai, India" }
+@STRING{popl16      = popl # ", Saint Petersburg, Florida" }
 % ----
 @STRING{icfp        = "{ACM} {SIGPLAN} {I}nternational {C}onference on
                       {F}unctional {P}rogramming ({ICFP})" }
@@ -183,7 +185,8 @@
 @STRING{icfp97      = icfp # ", Amsterdam, The Netherlands" }
 @STRING{icfp96      = icfp # ", Philadelphia, Pennsylvania" }
 % ----
-@STRING{itp         = "Interactive Theorem Proving"}
+@STRING{itp         = "Interactive Theorem Proving ({ITP})"}
+@STRING{itp11       = itp # ", Nijmegen, The Netherlands" }
 @STRING{itp13       = itp # ", Rennes, France" }
 % ----
 @STRING{oopsla      = "{ACM} {SIGPLAN} {C}onference on {O}bject {O}riented
@@ -213,6 +216,7 @@
 @STRING{oopsla90    = oopslapre96 # "/" # ecoop # ", Ottawa, Ontario" }
 @STRING{oopsla98    = oopsla # ", Vancouver, British Columbia" }
 @STRING{oopsla03    = oopsla # ", Anaheim, California" }
+@STRING{oopsla14    = oopsla # ", Portland, Oregon" }
 % ----
 @STRING{lics        = "{IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS})" }
 @STRING{lics86      = lics # ", Cambridge, Massachusetts" }
@@ -259,6 +263,7 @@
 @STRING{pldi08      = pldi # ", Tucson, Arizona" }
 @STRING{pldi12      = pldi # ", Beijing, China" }
 @STRING{pldi14      = pldi # ", Edinburgh, Scotland" }
+@STRING{pldi16      = pldi # ", Santa Barbara, California" }
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
@@ -321,6 +326,7 @@
 @STRING{focs        = "{IEEE} {S}ymposium on {F}oundations of {C}omputer {S}cience (FOCS)"}
 @STRING{focs79      = focs # ", San Juan, Puerto Rico"}
 @STRING{focs82      = focs # ", Chicago, Illinois"}
+@STRING{focs97      = focs # ", Miami Beach, Florida"}
 @STRING{focs05      = focs # ", Pittsburgh, Pennsylvania"}
 @STRING{focs07      = focs # ", Providence, Rhode Island"}
 @STRING{focs09      = focs # ", Atlanta, Georgia"}
@@ -438,10 +444,12 @@
 % ----
 @STRING{csf      = "{IEEE} {C}omputer {S}ecurity {F}oundations {S}ymposium
                    ({CSF})" }
+@STRING{csf07    = csf # ", Venice, Italy" }
 @STRING{csf08    = csf # ", Pittsburgh, Pennsylvania" }
 @STRING{csf11    = csf # ", Domaine de l'Abbaye des Vaux de Cernay, France" }
 @STRING{csf13    = csf # ", New Orleans, Louisiana" }
 @STRING{csf14    = csf # ", Vienna, Austria" }
+@STRING{csf15    = csf # ", Venice, Italy" }
 
 % ----
 @STRING{pepmpre12 = "{S}ymposium on {P}artial {E}valuation and
@@ -477,14 +485,20 @@
 @STRING{csl       = {International Workshop on Computer Science Logic (CSL)} }
 @STRING{csfw      = {IEEE Computer Security Foundations Workshop (CSFW)} }
 @STRING{ecoop     = {European Conference on Object-Oriented Programming (ECOOP)} }
+@STRING{esecfse   = {Joint Meeting of the European Software Engineering
+  Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software
+    Engineering (ESEC/FSE)} }
 @STRING{esop      = {European Symposium on Programming (ESOP)} }
+@STRING{esorics   = {European Symposium on Programming on Research in Computer Security (ESORICS)} }
 @STRING{fesca     = {International Workshop on Formal Engineering approaches to
                     Software Components and Architectures (FESCA)} }
 @STRING{flops     = {International Symposium on Functional and Logic Programming
                     (FLOPS)} }
+@STRING{fse       = {{ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering (FSE)}}
 @STRING{fm        = {International Symposium on Formal Methods (FM)} }
 @STRING{fmco      = {International Symposia on Formal Methods for Components and
                     Objects (FMCO)} }
+@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)} }
@@ -499,6 +513,8 @@
                     Science (LFCS)} }
 @STRING{lpar      = {International Conference on Logic for Programming,
                     Artificial Intelligence and Reasoning (LPAR)} }
+@STRING{logfcs    = {Symposium on the Logical Foundations of Computer Science
+  (LFCS)} }
 @STRING{mfps      = {Workshop on the Mathematical Foundations of Programming
                     Semantics (MFPS)} }
 @STRING{osdi      = {USENIX Symposium on Operating Systems Design and
@@ -507,6 +523,8 @@
                     Software Tools and Engineering (PASTE)} }
 @STRING{ppdp      = {ACM SIGPLAN International Conference on Principles and
                     Practice of Declarative Programming (PPDP)} }
+@STRING{ppopp     = {ACM SIGPLAN Symposium on Principles and Practice of
+  Parallel Programming (PPoPP)} }
 @STRING{randapx   = {Workshop on Approximation Algorithms for Combinatorial
                     Optimization Problems (APPROX) and Workshop on Randomization
                     and Computation (RANDOM)} }
@@ -514,6 +532,7 @@
                     Applications (RTA)} }
 @STRING{sas       = {International Symposium on Static Analysis (SAS)} }
 @STRING{sosp      = {ACM Symposium on Operating Systems Principles (SOSP)} }
+@STRING{sandp     = { {IEEE} Symposium on Security and Privacy (S\&P) }}
 @STRING{tacs      = {International Symposium on Theoretical Aspects of Computer
                     Software (TACS)} }
 @STRING{tacas     = {International Conference on Tools and Algorithms for the
@@ -595,6 +614,9 @@
 @STRING{ecoop03     = ecoop # ", Darmstadt, Germany" }
 @STRING{ecoop04     = ecoop # ", Oslo, Norway" }
 % ---
+@STRING{esecfse11   = esecfse # ", Szeged, Hungary" }
+@STRING{esecfse13   = esecfse # ", Saint Petersburg, Russia" }
+% ---
 @STRING{esop88      = esop # ", Nancy, France" }
 @STRING{esop92      = esop # ", Rennes, France" }
 @STRING{esop94      = esop # ", Edinburgh, Scotland" }
@@ -609,6 +631,8 @@
 @STRING{esop14      = esop # ", Grenoble, France" }
 @STRING{esop16      = esop # ", Eindhoven, The Netherlands" }
 % ---
+@STRING{esorics03   = esorics # ", Gj{\o}vic, Norway" }
+% ---
 @STRING{fesca14     = fesca # ", Grenoble, France" }
 % ---
 @STRING{flops04     = flops # ", Nara, Japan" }
@@ -618,6 +642,11 @@
 % ---
 @STRING{fmco06      = fmco # ", Amsterdam, The Netherlands" }
 % ---
+STRING{fse08        = fse # ", Atlanta, Georgia" }
+% ---
+@STRING{fossacs15   = fossacs # ", London, England" }
+@STRING{fossacs16   = fossacs # ", Eindhoven, The Netherlands" }
+% ---
 @STRING{fsttcs93    = fsttcs # ", Bombay, India" }
 @STRING{fsttcs04    = fsttcs # ", Chennai, India" }
 % ---
@@ -642,10 +671,13 @@
 % ---
 @STRING{lpar15      = lpar # ", Suva, Fiji" }
 % ---
+@STRING{logfcs13    = logfcs # ", San Diego, California" }
+% ---
 @STRING{mfps89      = mfps # ", New Orleans, Louisiana" }
 @STRING{mfps95      = mfps # ", New Orleans, Louisiana" }
 @STRING{mfps01      = mfps # ", Aarhus, Denmark" }
 @STRING{mfps14      = mfps # ", Ithaca, New York" }
+@STRING{mfps16      = mfps # ", Pittsburgh, Pennsylvania" }
 % ---
 @STRING{osdi96      = osdi # ", Seattle, Washington" }
 @STRING{osdi00      = osdi # ", San Diego, California" }
@@ -657,6 +689,8 @@
 @STRING{ppdp01      = ppdp # ", Firenze, Italy" }
 @STRING{ppdp12      = ppdp # ", Leuven, Belgium" }
 % ---
+@STRING{ppopp13     = ppopp # ", Shenzhen, China" }
+% ---
 @STRING{rta03       = rta # ", Valencia, Spain" }
 @STRING{rta05       = rta # ", Nara, Japan" }
 % ---
@@ -670,10 +704,13 @@
 @STRING{sas04       = sas # ", Verona, Italy" }
 @STRING{sas05       = sas # ", London, England" }
 @STRING{sas10       = sas # ", Perpignan, France" }
+@STRING{sas11       = sas # ", Venice, Italy" }
 @STRING{sas14       = sas # ", Munich, Germany" }
 % ---
 @STRING{sosp93      = sosp # ", Asheville, North Carolina" }
 % ---
+@STRING{sandp11     = sandp # ", Oakland, California" }
+% ---
 @STRING{tacs94      = tacs # ", Sendai, Japan" }
 @STRING{tacs01      = tacs # ", Sendai, Japan" }
 % ---
@@ -695,6 +732,7 @@
 @STRING{tlca99      = tlca # ", L'Aquila, Italy" }
 @STRING{tlca01      = tlca # ", Krak{\'{o}}ow, Poland" }
 @STRING{tlca03      = tlca # ", Valencia, Spain" }
+@STRING{tlca13      = tlca # ", Eindhoven, The Netherlands" }
 % ---
 @STRING{tldi03      = tldi # ", New Orleans, Louisiana"}
 @STRING{tldi12      = tldi # ", Philadelphia, Pennsylvania"}
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 1059c81..2c7ec9f 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -334,7 +334,7 @@
   title     = {Differential privacy for the analyst via private equilibrium computation},
   author    = {Hsu, Justin and
                Roth, Aaron and
-               Ullman, Jonathon},
+               Ullman, Jonathan},
   url       = {http://arxiv.org/abs/1211.0877},
   booktitle = stoc13,
   pages     = {341--350},