diff --git a/bibs/header.bib b/bibs/header.bib index b92402e..1e73cce 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -174,6 +174,7 @@ % ---- @STRING{icfp = "{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming ({ICFP})" } +@STRING{icfp17 = icfp # ", Oxford, England" } @STRING{icfp14 = icfp # ", Gothenburg, Sweden" } @STRING{icfp13 = icfp # ", Boston, Massachusetts" } @STRING{icfp12 = icfp # ", Copenhagen, Denmark" } @@ -268,6 +269,7 @@ @STRING{pldi02 = pldi # ", Berlin, Germany" } @STRING{pldi03 = pldi # ", San Diego, California" } @STRING{pldi08 = pldi # ", Tucson, Arizona" } +@STRING{pldi11 = pldi # ", San Jose, California" } @STRING{pldi12 = pldi # ", Beijing, China" } @STRING{pldi14 = pldi # ", Edinburgh, Scotland" } @STRING{pldi16 = pldi # ", Santa Barbara, California" } @@ -462,6 +464,7 @@ ({CSF})" } @STRING{csf07 = csf # ", Venice, Italy" } @STRING{csf08 = csf # ", Pittsburgh, Pennsylvania" } +@STRING{csf10 = csf # ", Edinburgh, Scotland" } @STRING{csf11 = csf # ", Domaine de l'Abbaye des Vaux de Cernay, France" } @STRING{csf13 = csf # ", New Orleans, Louisiana" } @STRING{csf14 = csf # ", Vienna, Austria" } @@ -492,6 +495,7 @@ @STRING{aplas = {Asian Symposium on Programming Languages and Systems (APLAS)} } @STRING{asplos = {International Conference on Architectural Support for Programming Langauages and Operating Systems (ASPLOS)} } +@STRING{calco = {Conference on Algebra and Coalgebra in Computer Science ({CALCO})}} @STRING{cav = {International Conference on Computer Aided Verification (CAV)} } @STRING{ceemas = {International Central and Eastern European Conference on Multi-Agent Systems} } @@ -586,6 +590,7 @@ @STRING{ascrypt15 = ascrypt # ", Auckland, New Zealand" } %---- @STRING{asplos14 = aplas # ", Salt Lake City, Utah" } +@STRING{asplos06 = aplas # ", San Jose, California" } %---- @STRING{ceemas07 = ceemas # ", Leipzig, Germany" } % --- @@ -596,9 +601,13 @@ % --- @STRING{concur07 = concur # ", Lisbon, Portugal" } % --- +@STRING{calco15 = concur # ", Nijmegen, The Netherlands" } +% --- @STRING{cav96 = cav # ", New Brunswick, New Jersey" } +@STRING{cav97 = cav # ", Haifa, Israel" } @STRING{cav02 = cav # ", Copenhagen, Denmark" } @STRING{cav03 = cav # ", Boulder, Colorado" } +@STRING{cav06 = cav # ", Seattle, Washington" } @STRING{cav07 = cav # ", Berlin, Germany" } @STRING{cav11 = cav # ", Snowbird, Utah" } @STRING{cav12 = cav # ", Berkeley, California" } @@ -658,6 +667,7 @@ % --- @STRING{fm08 = fm # ", Turku, Finland" } @STRING{fm11 = fm # ", Limerick, Ireland" } +@STRING{fm12 = fm # ", Paris, France" } % --- @STRING{fmco06 = fmco # ", Amsterdam, The Netherlands" } % --- @@ -740,8 +750,11 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{tacs94 = tacs # ", Sendai, Japan" } @STRING{tacs01 = tacs # ", Sendai, Japan" } % --- +@STRING{tacas98 = tacas # ", Lisbon, Portugal" } @STRING{tacas06 = tacas # ", Vienna, Austria" } @STRING{tacas08 = tacas # ", Budapest, Hungary" } +@STRING{tacas12 = tacas # ", Tallinn, Estonia" } +@STRING{tacas15 = tacas # ", London, England" } @STRING{tacas16 = tacas # ", Eindhoven, The Netherlands" } % --- @STRING{tapsoft93 = tapsoft # ", Orsay, France" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index f875852..c2c83aa 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,12 +1,12 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @unpublished{BEGHS16, - title = {Relational expectation properties by probabilistic coupling}, + title = {Proving expected sensitivity of probabilistic programs}, author = {Barthe, Gilles and Espitau, Thomas and Gr{\'e}goire, Benjamin and Hsu, Justin and Strub, {P}ierre-{Y}ves}, - year = 2016, + year = 2017, jh = yes, url = {http://justinh.su/files/papers/bounded.pdf}, } @@ -125,6 +125,7 @@ Cherigui, Ikram}, booktitle = popl17, year = 2017, + pages = {545--556}, url = {http://arxiv.org/abs/1702.00374}, jh = yes, plclub = yes, @@ -2635,18 +2636,6 @@ year = {2014} year = {2014}, url = {http://doi.acm.org/10.1145/2594291.2594294}, } -@inproceedings{DBLP:conf/pldi/CarbinKMR12, - author = {Michael Carbin and - Deokhwan Kim and - Sasa Misailovic and - Martin C Rinard}, - title = {Proving acceptability properties of relaxed nondeterministic approximate - programs}, - booktitle = pldi12, - pages = {169--180}, - year = {2012}, - url = {http://doi.acm.org/10.1145/2254064.2254086}, -} @article{alea, title = {Proofs of randomized algorithms in {C}oq}, @@ -4364,3 +4353,65 @@ archivePrefix = "arXiv", year = {2014}, url = {http://software.imdea.org/~federico/thesis.pdf} } + +@article{DBLP:journals/jct/AharoniBGPS11, + author = {Ron Aharoni and + Eli Berger and + Agelos Georgakopoulos and + Amitai Perlstein and + Philipp Spr{\"{u}}ssel}, + title = {The Max-Flow Min-Cut theorem for countable networks}, + journal = {J. Comb. Theory, Ser. {B}}, + volume = {101}, + number = {1}, + pages = {1--17}, + year = {2011}, + url = {http://dx.doi.org/10.1016/j.jctb.2010.08.002}, + doi = {10.1016/j.jctb.2010.08.002}, + timestamp = {Sat, 04 Dec 2010 15:33:06 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/jct/AharoniBGPS11}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{katsumata2015codensity, + title={Codensity Liftings of Monads}, + author={Katsumata, Shin-ya and Sato, Tetsuya}, + booktitle= calco15, + series = lipics, + year = 2015, + publisher = dagstuhl, + volume={35}, + year={2015}, +} + +@incollection{aldous1983random, + title={Random walks on finite groups and rapidly mixing Markov chains}, + author={Aldous, David}, + booktitle={S{\'e}minaire de Probabilit{\'e}s XVII 1981/82}, + pages={243--297}, + year={1983}, + publisher=springer +} + +@book {RudinPMA, + AUTHOR = {Rudin, Walter}, + TITLE = {Principles of mathematical analysis}, + EDITION = {Third}, + NOTE = {International Series in Pure and Applied Mathematics}, + PUBLISHER = {McGraw-Hill Book Co., New York-Auckland-D\"usseldorf}, + YEAR = {1976}, + PAGES = {x+342}, + MRCLASS = {26-02}, + MRNUMBER = {0385023}, +} + +@inproceedings{adafuzz, + title={A framework for adaptive differential privacy}, + author={Winograd-Cort, Daniel and + Haeberlen, Andreas and + Roth, Aaron and + Pierce, Benjamin C.}, + booktitle= icfp17, + year = 2017 +} + diff --git a/content/news.md b/content/news.md index 03e3d8f..443f220 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **07/2017** Our preprint **Proving expected sensitivity of probabilistic + programs** is now available. + **06/2017** I am on the program committee of [**TPDP 2017**](http://tpdp.cse.buffalo.edu/2017/), co-located with [**CCS**](https://www.sigsac.org/ccs/CCS2017/) in Dallas, Texas. Submit your @@ -6,17 +8,3 @@ self-composition and coupling**. + **05/2017** Our paper **\*-Liftings for differential privacy** will appear at **ICALP 2017**! -+ **03/2017** Our paper **Proving uniformity and independence by - self-composition and coupling** will appear at **LPAR 2017**! -+ **01/2017** Our preprint **Proving uniformity and independence by - self-composition and coupling** is now available. -+ **01/2017** Slides now available for **Coupling proofs are probabilistic - product programs**. -+ **01/2017** I am on the program committee of [**MFPS - 2017**](http://coalg.org/mfps-calco2017/), co-located with - [**CALCO**](http://coalg.org/mfps-calco2017/) in Ljubljana, Slovenia. - Submit your best papers! -+ **12/2016** Slides now available for **Computer-aided verification in - mechanism design**. -+ **11/2016** Our preprint **Relational expectation properties by probabilistic - coupling** is now available. diff --git a/files/papers/bounded.pdf b/files/papers/bounded.pdf index 9394a33..5c2d088 100644 Binary files a/files/papers/bounded.pdf and b/files/papers/bounded.pdf differ