From a7e2975ef762203cecfe849877a5a34bf91af422 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Thu, 14 Jul 2016 01:42:43 +0200 Subject: [PATCH] Update bib and fix typo. --- bibs/header.bib | 40 +++++++++++++++++++++++++++++++++++++++- bibs/myrefs.bib | 2 +- 2 files changed, 40 insertions(+), 2 deletions(-) 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},