From ff08f9562a1eed64596e35d741710445e42bf72f Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 1 Sep 2015 01:04:01 +0300 Subject: [PATCH] Shuffle bibliography, add a few missing strings. --- bibs/header.bib | 17 ++ bibs/myrefs.bib | 560 ++++++++++++++++++++++++------------------------ 2 files changed, 299 insertions(+), 278 deletions(-) diff --git a/bibs/header.bib b/bibs/header.bib index 823faa1..a037ac9 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -57,6 +57,7 @@ University of Edinburgh" } @STRING{mp = "MIT Press" } @STRING{mitpress = mp } +@STRING{informs = "INFORMS" } % % Journals and magazines % %%%%%%%%%%%%%%%%%%%%%% @@ -457,6 +458,7 @@ Software Components and Architectures (FESCA)} } @STRING{flops = {International Symposium on Functional and Logic Programming (FLOPS)} } +@STRING{fm = {International Symposium on Formal Methods (FM)} } @STRING{fmco = {International Symposia on Formal Methods for Components and Objects (FMCO)} } @STRING{fsttcs = {Foundations of Software Technology and Theoretical Computer @@ -469,6 +471,8 @@ @STRING{icse = {International Conference on Software Engineering (ICSE)} } @STRING{lfcompsci = {International Symposium on Logical Foundations of Computer Science (LFCS)} } +@STRING{lpar = {International Conference on Logic for Programming, + Artificial Intelligence and Reasoning (LPAR)} } @STRING{mfps = {Workshop on the Mathematical Foundations of Programming Semantics (MFPS)} } @STRING{osdi = {USENIX Symposium on Operating Systems Design and @@ -489,6 +493,7 @@ @STRING{tacas = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)} } @STRING{tapsoft = {Theory and Practice of Software Development (TAPSOFT)} } +@STRING{tfp = {Symposium on Trends in Functional Programming (TFP)} } @STRING{tic = {ACM SIGPLAN Workshop on Types in Compilation ({TIC})} } @STRING{tlca = {International Conference on Typed Lambda Calculi and Applications (TLCA)} } @@ -540,6 +545,7 @@ @STRING{csl01 = csl # ", Paris, France" } % --- @STRING{csfw02 = csfw # ", Cape Breton, Nova Scotia" } +@STRING{csfw04 = csfw # ", Pacific Grove, California" } % --- @STRING{ecoop90 = oopsla # "/" # ecoop # ", Ottawa, Ontario" } @STRING{ecoop97 = ecoop # ", Jyv{\"a}skyl{\"a}, Finland" } @@ -555,6 +561,7 @@ @STRING{esop00 = esop # ", Berlin, Germany" } @STRING{esop01 = esop # ", Genova, Italy" } @STRING{esop02 = esop # ", Grenoble, France" } +@STRING{esop07 = esop # ", Braga, Portugal" } @STRING{esop09 = esop # ", York, England" } @STRING{esop11 = esop # ", Saarbr{\"u}cken, Germany" } @STRING{esop13 = esop # ", Rome, Italy" } @@ -564,6 +571,9 @@ % --- @STRING{flops04 = flops # ", Nara, Japan" } % --- +@STRING{fm08 = fm # ", Turku, Finland" } +@STRING{fm11 = fm # ", Limerick, Ireland" } +% --- @STRING{fmco06 = fmco # ", Amsterdam, The Netherlands" } % --- @STRING{fsttcs93 = fsttcs # ", Bombay, India" } @@ -583,6 +593,9 @@ @STRING{icse14 = icse # ", Hyderabad, India" } % --- @STRING{lfcompsci94 = lfcompsci # ", St. Petersburg, Russia" } +@STRING{lfcompsci13 = lfcompsci # ", San Diego, California" } +% --- +@STRING{lpar15 = lpar # ", Suva, Fiji" } % --- @STRING{mfps89 = mfps # ", New Orleans, Louisiana" } @STRING{mfps95 = mfps # ", New Orleans, Louisiana" } @@ -607,6 +620,8 @@ @STRING{sas96 = sas # ", Aachen, Germany" } @STRING{sas97 = sas # ", Paris, France" } @STRING{sas01 = sas # ", Paris, France" } +@STRING{sas04 = sas # ", Verona, Italy" } +@STRING{sas05 = sas # ", London, England" } % --- @STRING{sosp93 = sosp # ", Asheville, North Carolina" } % --- @@ -618,6 +633,8 @@ @STRING{tapsoft93 = tapsoft # ", Orsay, France" } @STRING{tapsoft97 = tapsoft # ", Lille, France" } % --- +@STRING{tfp07 = tfp # ", New York, New York" } +% --- @STRING{tic97 = tic # ", Amsterdam, The Netherlands"} @STRING{tic98 = tic # ", Kyoto, Japan"} @STRING{tic00 = tic # ", Montr{\'e}al, Qu{\'e}bec" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index cd1502f..7df1293 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,3 +1,282 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@unpublished{HKM-verif15, + title = {Computer-aided verification in mechanism design}, + author = {Barthe, Gilles and + Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Hsu, Justin and + Roth, Aaron and + Strub, Pierre-Yves}, + year = {2015}, + url = {http://arxiv.org/abs/1502.04052}, + jh = yes, + eprint = yes +} + +@unpublished{HHRW15, + author = {Hsu, Justin and + Huang, Zhiyi and + Roth, Aaron and + Wu, Zhiwei Steven}, + title = {Jointly private convex programming}, + year = {2015}, + url = {http://arxiv.org/abs/1411.0998}, + jh = yes, + eprint = yes +} + +@unpublished{BEGGHS15, + title = {Formal Certification of Randomized Algorithms}, + author = {Barthe, Gilles and + Espitau, Thomas and + Gaboardi, Marco and + Gr{\'e}goire, Benjamin and + Hsu, Justin and + Strub, {P}ierre-{Y}ves}, + year = 2015, + jh = yes, + docs = yes +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{BEGHSS15, + title = {Relational reasoning via probabilistic coupling}, + author = {Barthe, Gilles and + Espitau, Thomas and + Gr{\'e}goire, Benjamin and + Hsu, Justin and + Stefanesco, L{\'e}o and + Strub, {P}ierre-{Y}ves}, + booktitle = lpar15, + year = 2015, + jh = yes, + docs = yes, + note = {To appear.} +} + +@inproceedings{AHJ15, + title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing + Markets}, + author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin}, + year = {2015}, + booktitle = hcomp15, + url = {http://arxiv.org/abs/1508.03593}, + jh = yes, + eprint = yes, + note = {To appear.} +} + +@inproceedings{HsuTaxes, + author = {Justin Hsu}, + title = {Death, Taxes, and Formal Verification (Abstract)}, + year = {2015}, + booktitle = snapl15, + jh = yes, + slides = yes, + docs = yes +} + +@inproceedings{GHaccuracy, + author = {Marco Gaboardi and + Justin Hsu}, + title = {A Theory {AB} Toolbox}, + year = {2015}, + booktitle = snapl15, + jh = yes, + slides = yes, + docs = yes +} + +@inproceedings{BGGHRS15, + title = {Higher-order approximate relational refinement types for + mechanism design and differential privacy}, + author = {Barthe, Gilles and + Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Hsu, Justin and + Roth, Aaron and + Strub, Pierre-Yves}, + booktitle = popl15, + year = {2015}, + url = {http://arxiv.org/abs/1407.6845}, + jh = yes, + slides = yes, + eprint = yes +} + +@inproceedings{AGGH14, + author = {de Amorim, Arthur Azevedo and + Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Hsu, Justin}, + title = {Really naturally linear indexed type-checking}, + booktitle = {Proceedings of Implementation of Functional Languages (IFL), Boston, Massachusetts}, + year = {2014}, + url = {http://arxiv.org/abs/1503.04522}, + jh = yes, + eprint = yes +} + +@inproceedings{BGGHKS14, + author = {Barthe, Gilles and + Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Hsu, Justin and + Kunz, C\'esar and + Strub, Pierre-Yves}, + title = {Proving differential privacy in {H}oare logic}, + booktitle = csf14, + year = {2014}, + url = {http://arxiv.org/abs/1407.2988}, + jh = yes, + eprint = yes +} + +@inproceedings{HGH14, + author = {Hsu, Justin and + Gaboardi, Marco and + Haeberlen, Andreas and + Khanna, Sanjeev and + Narayan, Arjun and + Pierce, Benjamin C and + Roth, Aaron}, + title = {Differential privacy: An economic method for choosing epsilon}, + booktitle = csf14, + year = 2014, + url = {http://arxiv.org/abs/1402.3329}, + jh = yes, + slides = yes, + eprint = yes +} + +@inproceedings{HRRU14, + author = {Hsu, Justin and + Roth, Aaron and + Roughgarden, Tim and + Ullman, Jonathan}, + title = {Privately solving linear programs}, + booktitle = icalp14, + year = {2014}, + pages = {612--624}, + url = {http://arxiv.org/abs/1402.3631}, + doi = {10.1007/978-3-662-43948-7_51}, + timestamp = {Fri, 31 Oct 2014 14:45:31 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/icalp/HsuRRU14}, + bibsource = {dblp computer science bibliography, http://dblp.org}, + jh = yes, + slides = yes, + eprint = yes +} + +@inproceedings{GGHRW14, + author = {Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Hsu, Justin and + Roth, Aaron and + Wu, Zhiwei Steven}, + title = {Dual Query: Practical private query release for high dimensional data}, + booktitle = icml14, + year = {2014}, + url = {http://arxiv.org/abs/1402.1526}, + jh = yes, + slides = yes, + poster = yes, + eprint = yes +} + +@inproceedings{HHRRW14, + author = {Hsu, Justin and + Huang, Zhiyi and + Roth, Aaron and + Roughgarden, Tim and + Wu, Zhiwei Steven}, + title = {Private matchings and allocations}, + booktitle = stoc14, + year = {2014}, + pages = {21--30}, + url = {http://arxiv.org/abs/1311.2828}, + doi = {10.1145/2591796.2591826}, + timestamp = {Wed, 22 Oct 2014 14:44:14 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/stoc/HsuHRRW14}, + bibsource = {dblp computer science bibliography, http://dblp.org}, + jh = yes, + poster = yes, + eprint = yes +} + +@inproceedings{WHE13, + title = {Towards dependently typed {H}askell: System {FC} with kind equality}, + author = {Weirich, Stephanie and + Hsu, Justin and + Eisenberg, Richard A}, + booktitle = icfp13, + url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, + volume = {13}, + year = {2013}, + jh = yes, + docs = yes +} + +@inproceedings{HRU13, + title = {Differential privacy for the analyst via private equilibrium computation}, + author = {Hsu, Justin and + Roth, Aaron and + Ullman, Jonathon}, + url = {http://arxiv.org/abs/1211.0877}, + booktitle = stoc13, + pages = {341--350}, + year = {2013}, + jh = yes, + slides = yes, + eprint = yes +} + +@inproceedings{GGHHP13, + title = {Automatic sensitivity analysis using linear dependent types}, + author = {Gaboardi, Marco and + Gallego Arias, Emilio Jes{\'u}s and + Haeberlen, Andreas and + Hsu, Justin and + Pierce, Benjamin C}, + url = {http://fopara2013.cs.unibo.it/paper_8.pdf}, + booktitle = fopara, + year = {2013}, + jh = yes +} + +@inproceedings{GHHNP13, + title = {Linear dependent types for differential privacy}, + author = {Gaboardi, Marco and + Haeberlen, Andreas and + Hsu, Justin and + Narayan, Arjun and + Pierce, Benjamin C}, + booktitle = popl13, + pages = {357--370}, + url = {http://dl.acm.org/citation.cfm?id=2429113}, + year = {2013}, + jh = yes, + docs = yes +} + +@inproceedings{HKR12, + title = {Distributed private heavy hitters}, + author = {Hsu, Justin and + Khanna, Sanjeev and + Roth, Aaron}, + booktitle = icalp12, + pages = {461--472}, + year = {2012}, + publisher = springer, + url = {http://arxiv.org/abs/1202.4910}, + note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now + fixed.}, + jh = yes, + slides = yes, + eprint = yes +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{job-matching, title = {Job Matching, Coalition Formation, and Gross Substitutes}, volume = {50}, @@ -99,20 +378,6 @@ year = {2013}, } -@inproceedings{HRU13, - title = {Differential privacy for the analyst via private equilibrium computation}, - author = {Hsu, Justin and - Roth, Aaron and - Ullman, Jonathon}, - url = {http://arxiv.org/abs/1211.0877}, - booktitle = stoc13, - pages = {341--350}, - year = {2013}, - jh = yes, - slides = yes, - eprint = yes -} - @inproceedings{HR10, title = {A multiplicative weights mechanism for privacy-preserving data analysis}, author = {Hardt, Moritz and Rothblum, Guy N.}, @@ -223,47 +488,6 @@ year = {2008}, } -@inproceedings{WHE13, - title = {Towards dependently typed {H}askell: System {FC} with kind equality}, - author = {Weirich, Stephanie and - Hsu, Justin and - Eisenberg, Richard A}, - booktitle = icfp13, - url = {http://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, - volume = {13}, - year = {2013}, - jh = yes, - docs = yes, -} - -@inproceedings{GGHHP13, - title = {Automatic sensitivity analysis using linear dependent types}, - author = {Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Haeberlen, Andreas and - Hsu, Justin and - Pierce, Benjamin C}, - url = {http://fopara2013.cs.unibo.it/paper_8.pdf}, - booktitle = fopara, - year = {2013}, - jh = yes, -} - -@inproceedings{GHHNP13, - title = {Linear dependent types for differential privacy}, - author = {Gaboardi, Marco and - Haeberlen, Andreas and - Hsu, Justin and - Narayan, Arjun and - Pierce, Benjamin C}, - booktitle = popl13, - pages = {357--370}, - url = {http://dl.acm.org/citation.cfm?id=2429113}, - year = {2013}, - jh = yes, - docs = yes, -} - @inproceedings{HLM12, title = {A Simple and Practical Algorithm for Differentially Private Data Release}, author = {Moritz Hardt and Katrina Ligett and Frank {McSherry}}, @@ -273,24 +497,6 @@ year = 2012 } -@inproceedings{HKR12, - title = {Distributed private heavy hitters}, - author = {Hsu, Justin and - Khanna, Sanjeev and - Roth, Aaron}, - booktitle = icalp12, - pages = {461--472}, - year = {2012}, - publisher = springer, - url = {http://arxiv.org/abs/1202.4910}, - note = {Thanks to Raef Bassily and Adam Smith for spotting an error, now - fixed.}, - jh = yes, - slides = yes, - eprint = yes -} - - @inproceedings{Ullman13, title = {Answering $n^{2+ o(1)}$ counting queries with differential privacy is hard}, @@ -449,23 +655,6 @@ year = {2011} } -@inproceedings{HGH14, - author = {Hsu, Justin and - Gaboardi, Marco and - Haeberlen, Andreas and - Khanna, Sanjeev and - Narayan, Arjun and - Pierce, Benjamin C and - Roth, Aaron}, - title = {Differential privacy: An economic method for choosing epsilon}, - booktitle = csf14, - year = 2014, - url = {http://arxiv.org/abs/1402.3329}, - jh = yes, - slides = yes, - eprint = yes -} - @inproceedings{certipriv, author = {Barthe, Gilles and K\"{o}pf, Boris and Olmedo, Federico and Zanella B{\'e}guelin, Santiago}, @@ -773,7 +962,7 @@ title = {A Stability-based Validation Procedure for Differentially Private Machine Learning}, author = {Chaudhuri, Kamalika and Vinterbo, Staal A.}, - booktitle = nips2013, + booktitle = nips13, pages = {2652--2660}, year = {2013}, url = {http://papers.nips.cc/paper/5014-a-stability-based-validation-procedure-for-differentially-private-machine-learning.pdf} @@ -1306,7 +1495,7 @@ year = {2014} Pedro R. D'Argenio and Tamara Rezk}, title = {Secure Information Flow by Self-Composition}, - booktitle = csf04, + booktitle = csfw04, year = {2004}, pages = {100--114}, url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.17}, @@ -1359,7 +1548,7 @@ year = {2014} C{\'e}sar Kunz}, title = {Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification}, - booktitle = lfcs13, + booktitle = lfcompsci13, year = {2013}, pages = {29--43}, url = {http://dx.doi.org/10.1007/978--3-642--35722--0_3}, @@ -1485,38 +1674,6 @@ year = {2014} {http://galois.com/wp-content/uploads/2014/07/pub_AT_SAGEHybridChecking.pdf} } -@inproceedings{GGHRW14, - author = {Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Hsu, Justin and - Roth, Aaron and - Wu, Zhiwei Steven}, - title = {Dual Query: Practical private query release for high dimensional data}, - booktitle = icml14, - year = {2014}, - url = {http://arxiv.org/abs/1402.1526}, - jh = yes, - slides = yes, - poster = yes, - eprint = yes -} - -@inproceedings{BGGHKS14, - author = {Barthe, Gilles and - Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Hsu, Justin and - Kunz, C\'esar and - Strub, Pierre-Yves}, - title = {Proving differential privacy in {H}oare logic}, - booktitle = csf14, - year = {2014}, - url = {http://arxiv.org/abs/1407.2988}, - jh = yes, - eprint = yes -} - - @inproceedings{EignerM13, author = {Fabienne Eigner and Matteo Maffei}, @@ -1713,26 +1870,6 @@ year = {2014} url={http://arxiv.org/abs/1111.5472} } -@inproceedings{HHRRW14, - author = {Hsu, Justin and - Huang, Zhiyi and - Roth, Aaron and - Roughgarden, Tim and - Wu, Zhiwei Steven}, - title = {Private matchings and allocations}, - booktitle = stoc14, - year = {2014}, - pages = {21--30}, - url = {http://arxiv.org/abs/1311.2828}, - doi = {10.1145/2591796.2591826}, - timestamp = {Wed, 22 Oct 2014 14:44:14 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/stoc/HsuHRRW14}, - bibsource = {dblp computer science bibliography, http://dblp.org}, - jh = yes, - poster = yes, - eprint = yes -} - @inproceedings{Xia13, title={Is privacy compatible with truthfulness?}, author={Xiao, David}, @@ -1742,23 +1879,6 @@ year = {2014} url={https://eprint.iacr.org/2011/005} } -@inproceedings{BGGHRS15, - title = {Higher-order approximate relational refinement types for - mechanism design and differential privacy}, - author = {Barthe, Gilles and - Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Hsu, Justin and - Roth, Aaron and - Strub, Pierre-Yves}, - booktitle = popl15, - year = {2015}, - url = {http://arxiv.org/abs/1407.6845}, - jh = yes, - slides = yes, - eprint = yes -} - @inproceedings{IOh01, title={{BI} as an assertion language for mutable data structures}, author={Ishtiaq, Samin S and O'Hearn, Peter W}, @@ -1943,25 +2063,6 @@ year = {2014} year = {2010} } -@inproceedings{HRRU14, - author = {Hsu, Justin and - Roth, Aaron and - Roughgarden, Tim and - Ullman, Jonathan}, - title = {Privately solving linear programs}, - booktitle = icalp14, - year = {2014}, - pages = {612--624}, - url = {http://arxiv.org/abs/1402.3631}, - doi = {10.1007/978-3-662-43948-7_51}, - timestamp = {Fri, 31 Oct 2014 14:45:31 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/icalp/HsuRRU14}, - bibsource = {dblp computer science bibliography, http://dblp.org}, - jh = yes, - slides = yes, - eprint = yes -} - @inproceedings{recommender, title = {Differentially private recommender systems: building privacy into the net}, author = {McSherry, Frank and Mironov, Ilya}, @@ -1987,19 +2088,6 @@ year = {2014} publisher = cup } -@inproceedings{AGGH14, - author = {de Amorim, Arthur Azevedo and - Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Hsu, Justin}, - title = {Really naturally linear indexed type-checking}, - booktitle = {Proceedings of Implementation of Functional Languages (IFL), Boston, Massachusetts}, - year = {2014}, - url = {http://arxiv.org/abs/1503.04522}, - jh = yes, - eprint = yes, -} - @article{LovaszLocal, title={Problems and results on 3-chromatic hypergraphs and some related questions}, @@ -2084,27 +2172,6 @@ year = {2014} url = {http://doi.acm.org/10.1145/2254064.2254086}, } -@inproceedings{GHaccuracy, - author = {Marco Gaboardi and - Justin Hsu}, - title = {A Theory {AB} Toolbox}, - year = {2015}, - booktitle = snapl15, - jh = yes, - slides = yes, - docs = yes -} - -@inproceedings{HsuTaxes, - author = {Justin Hsu}, - title = {Death, Taxes, and Formal Verification (Abstract)}, - year = {2015}, - booktitle = snapl15, - jh = yes, - slides = yes, - docs = yes -} - @InProceedings{Necula97, author = "G. C. Necula", title = "Proof-carrying code", @@ -2496,43 +2563,6 @@ language={English} publisher = {IOS press}, } -@unpublished{HHRW15, - author = {Hsu, Justin and - Huang, Zhiyi and - Roth, Aaron and - Wu, Zhiwei Steven}, - title = {Jointly private convex programming}, - year = {2015}, - url = {http://arxiv.org/abs/1411.0998}, - jh = yes, - eprint = yes -} - -@inproceedings{AHJ15, - title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing - Markets}, - author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin}, - year = {2015}, - booktitle = hcomp15, - url = {http://arxiv.org/abs/1508.03593}, - jh = yes, - eprint = yes -} - -@unpublished{HKM-verif15, - title = {Computer-aided verification in mechanism design}, - author = {Barthe, Gilles and - Gaboardi, Marco and - Gallego Arias, Emilio Jes{\'u}s and - Hsu, Justin and - Roth, Aaron and - Strub, Pierre-Yves}, - year = {2015}, - url = {http://arxiv.org/abs/1502.04052}, - jh = yes, - eprint = yes -} - @inproceedings{HPN11, title={Differential Privacy Under Fire}, author={Haeberlen, Andreas and @@ -2940,29 +2970,3 @@ year={2011} pages={159--169}, year={2008}, } - -@unpublished{BEGGHS15, - title = {Formal Certification of Randomized Algorithms}, - author = {Barthe, Gilles and - Espitau, Thomas and - Gaboardi, Marco and - Gr{\'e}goire, Benjamin and - Hsu, Justin and - Strub, {P}ierre-{Y}ves}, - year = 2015, - jh = yes, - docs = yes, -} - -@unpublished{BEGHSS15, - title = {Relational reasoning via probabilistic coupling}, - author = {Barthe, Gilles and - Espitau, Thomas and - Gr{\'e}goire, Benjamin and - Hsu, Justin and - Stefanesco, L{\'e}o and - Strub, {P}ierre-{Y}ves}, - year = 2015, - jh = yes, - docs = yes, -}