diff --git a/bibs/header.bib b/bibs/header.bib index 383a540..eb55305 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -59,6 +59,7 @@ @STRING{jmlr = "Journal of Machine Learning Research"} @STRING{mp = "MIT Press" } @STRING{mitpress = mp } +@STRING{now = "now publishers" } @STRING{dagstuhl = "Schloss Dagstuhl--Leibniz Center for Informatics" } @STRING{informs = "INFORMS" } % @@ -311,6 +312,7 @@ % ---- @STRING{stoc = "{ACM} {SIGACT} {S}ymposium on {T}heory of {C}omputing (STOC)"} @STRING{stoc87 = stoc # ", New York, New York"} +@STRING{stoc82 = stoc # ", San Francisco, California"} @STRING{stoc89 = stoc # ", Seattle, Washington"} @STRING{stoc97 = stoc # ", El Paso, Texas"} @STRING{stoc99 = stoc # ", Atlanta, Georgia"} @@ -386,6 +388,7 @@ @STRING{icml = "{I}nternational {C}onference on {M}achine {L}earning (ICML)" } @STRING{icml03 = icml # ", Washington, DC" } @STRING{icml14 = icml # ", Beijing, China" } +@STRING{icml16 = icml # ", New York, NY" } % ---- @STRING{sp = "{IEEE} {S}ymposium on {S}ecurity and {P}rivacy (S\&P)"} @@ -491,6 +494,7 @@ @STRING{concur = {International Conference on Concurrency Theory (CONCUR)} } @STRING{csl = {International Workshop on Computer Science Logic (CSL)} } @STRING{csfw = {IEEE Computer Security Foundations Workshop (CSFW)} } +@STRING{ct = {International Category Theory Conference (CT)} } @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 @@ -505,7 +509,7 @@ @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{fossacs = {International Conference on Foundations of Software Science and Computation Structures {(FoSSaCS)}}} @STRING{fsttcs = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)} } @STRING{hcomp = {{AAAI} Conference on Human Computation and Crowdsourcing (HCOMP)} } @@ -522,7 +526,7 @@ 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 +@STRING{mfps = {Conference on the Mathematical Foundations of Programming Semantics (MFPS)} } @STRING{osdi = {USENIX Symposium on Operating Systems Design and Implementation (OSDI)} } @@ -613,6 +617,8 @@ @STRING{csfw02 = csfw # ", Cape Breton, Nova Scotia" } @STRING{csfw04 = csfw # ", Pacific Grove, California" } % --- +@STRING{ct90 = ct # ", Como, Italy" } +% --- @STRING{ecoop90 = oopsla # "/" # ecoop # ", Ottawa, Ontario" } @STRING{ecoop97 = ecoop # ", Jyv{\"a}skyl{\"a}, Finland" } @STRING{ecoop99 = ecoop # ", Lisbon, Portugal" } @@ -651,6 +657,8 @@ % --- STRING{fse08 = fse # ", Atlanta, Georgia" } % --- +@STRING{fossacs09 = fossacs # ", York, England" } +@STRING{fossacs11 = fossacs # ", Saarbr{\"u}cken, Germany" } @STRING{fossacs15 = fossacs # ", London, England" } @STRING{fossacs16 = fossacs # ", Eindhoven, The Netherlands" } % --- @@ -680,6 +688,7 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } % --- @STRING{logfcs13 = logfcs # ", San Diego, California" } % --- +@STRING{mfps87 = mfps # ", New Orleans, Louisiana" } @STRING{mfps89 = mfps # ", New Orleans, Louisiana" } @STRING{mfps95 = mfps # ", New Orleans, Louisiana" } @STRING{mfps01 = mfps # ", Aarhus, Denmark" } @@ -737,7 +746,7 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{tlca93 = tlca # ", Utrecht, The Netherlands" } @STRING{tlca97 = tlca # ", Nancy, France" } @STRING{tlca99 = tlca # ", L'Aquila, Italy" } -@STRING{tlca01 = tlca # ", Krak{\'{o}}ow, Poland" } +@STRING{tlca01 = tlca # ", Krak{\'{o}}w, Poland" } @STRING{tlca03 = tlca # ", Valencia, Spain" } @STRING{tlca13 = tlca # ", Eindhoven, The Netherlands" } % --- diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 11df527..e1875cc 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,4 +1,16 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@unpublished{BEGHS16, + title = {Relational expectation properties by probabilistic coupling}, + author = {Barthe, Gilles and + Espitau, Thomas and + Gr{\'e}goire, Benjamin and + Hsu, Justin and + Strub, {P}ierre-{Y}ves}, + year = 2016, + jh = yes, + url = {http://justinh.su/files/papers/bounded.pdf}, +} + @unpublished{BEGGHS16, title = {Formal certification of randomized algorithms}, author = {Barthe, Gilles and @@ -2178,15 +2190,19 @@ year = {2014} } @inproceedings{DMNS06, - title = {Calibrating noise to sensitivity in private data analysis}, - author = {Cynthia Dwork and + author = {Cynthia Dwork and Frank McSherry and Kobbi Nissim and - Adam Smith}, - pages = {265--284}, - url = {http://dx.doi.org/10.1007/11681878_14}, - booktitle = tcc06, - year = {2006} + Adam D. Smith}, + title = {Calibrating Noise to Sensitivity in Private Data Analysis}, + booktitle = tcc06, + volume = 3876, + series = lncs, + pages = {265--284}, + year = {2006}, + url = {http://dx.doi.org/10.1007/11681878_14}, + doi = {10.1007/11681878_14}, + publisher = springer } @article{Tschantz201161, diff --git a/content/news.md b/content/news.md index 9a7d568..1b33095 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **11/2016** Our preprint **Relational expectation properties by probabilistic + coupling** is now available. + **10/2016** Slides now available for **Advanced probabilistic couplings for differential privacy**. + **10/2016** Our paper **Coupling proofs are probabilistic product programs** @@ -10,11 +12,3 @@ privacy** will appear at **CCS 2016**! + **07/2016** Our paper **Differentially private Bayesian programming** will appear at **CCS 2016**! -+ **07/2016** Our preprint **Coupling proofs are probabilistic product - programs** is now available. -+ **07/2016** Slides now available for **Proving differential privacy via - probabilistic couplings**. -+ **07/2016** An updated version of our preprint **Formal verification of - randomized algorithms** is now available. -+ **07/2016** Our preprint **A semantic account of metric preservation** is now - available. diff --git a/files/papers/bounded.pdf b/files/papers/bounded.pdf new file mode 100644 index 0000000..9394a33 Binary files /dev/null and b/files/papers/bounded.pdf differ diff --git a/files/papers/ellora.pdf b/files/papers/ellora.pdf index 69e7d9c..a19b96c 100644 Binary files a/files/papers/ellora.pdf and b/files/papers/ellora.pdf differ