justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update bib and fix typo.

This commit is contained in:
Justin Hsu 2016-07-14 01:42:43 +02:00
parent e85f990f4c
commit a7e2975ef7
2 changed files with 40 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
bibs/header.bib
View File

@ -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"}

2
bibs/myrefs.bib
View File

@ -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},