diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 8648a59..95388c9 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -44,6 +44,22 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{lmcs:5989, + TITLE = {Relational $\star$-Liftings for Differential Privacy}, + AUTHOR = {Barthe, Gilles and Espitau, Thomas and Hsu, Justin and Sato, Tetsuya and Strub, Pierre-Yves}, + URL = {https://lmcs.episciences.org/5989}, + DOI = {}, + JOURNAL = lmcs, + VOLUME = {15}, + NUMBER = {4}, + YEAR = {2019}, + MONTH = Dec, + jh = yes, + reviewed = yes, + slides = {https://justinh.su/files/slides/star-lifting.pdf}, + jhnote = "Previously published in " # icalp17 # ", 2017." +} + @article{GGHRW14, author = {Gaboardi, Marco and Gallego Arias, Emilio Jes{\'u}s and @@ -402,7 +418,7 @@ primaryClass = {cs.PL}, } -@inproceedings{BEHSS17, +inproceedings{BEHSS17, title = {$\star$-Liftings for Differential Privacy}, author = {Barthe, Gilles and Espitau, Thomas and @@ -972,12 +988,16 @@ inproceedings{HHRRW14, %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @incollection{fopps-chapter, titLe = {Probabilistic Couplings from Program Logics}, - author = {Barthe, Gilles and - Hsu, Justin}, - booktitle = {Foundations of Probabilistic Programming}, + author = {Hsu, Justin and + Barthe, Gilles}, + booktitle = {Foundations of Probabilistic Programming Languages}, + editor = {Barthe, Gilles and + Katoen, Joost-Pieter and + Silva, Alexandra}, jh = yes, reviewed = no, survey = yes, + publisher = cup, year = 2020, } @@ -3828,16 +3848,6 @@ pages = {197--214}, year = {2005}, } -@article{BLL, - title = {{Bounded linear logic}}, - author = {Girard, J.Y. and Scedrov, A. and Scott, P.}, - journal = tcs, - volume = {97}, - number = {1}, - pages = {1--66}, - year = {1992} -} - @inproceedings{WrightBaker93, title = {{Usage Analysis with Natural Reduction Types}}, author = {Wright, D.A. and Baker-Finch, C.A.}, @@ -6251,6 +6261,16 @@ url="https://dx.doi.org/10.1007/BFb0084215" publisher = elsevier } +@inproceedings{DBLP:conf/stoc/DeBakkerZ82, + author = {de Bakker, J. W. and + Zucker, Jeffrey I.}, + title = {Denotational Semantics of Concurrency}, + booktitle = stoc82, + pages = {153--158}, + year = {1982}, + url = {https://doi.acm.org/10.1145/800070.802188}, +} + @inproceedings{DBLP:conf/mfps/AmericaR87, author = {Pierre America and Jan J. M. M. Rutten}, @@ -7291,6 +7311,22 @@ url={https://doi.org/10.1007/3-540-48224-5_35} bibsource = {dblp computer science bibliography, https://dblp.org} } +@inproceedings{DBLP:conf/nips/SteinhardtKL17, + author = {Jacob Steinhardt and + Pang Wei Koh and + Percy S. Liang}, + title = {Certified Defenses for Data Poisoning Attacks}, + booktitle = nips17, + pages = {3520--3532}, + year = {2017}, + url = {http://papers.nips.cc/paper/6943-certified-defenses-for-data-poisoning-attacks}, + timestamp = {Mon, 27 Nov 2017 12:38:48 +0100}, + biburl = {https://dblp.org/rec/bib/conf/nips/SteinhardtKL17}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + + + @inproceedings{DBLP:journals/corr/SzegedyZSBEGF13, author = {Christian Szegedy and Wojciech Zaremba and @@ -7601,8 +7637,8 @@ url={https://doi.org/10.1007/3-540-48224-5_35} } @book{cramer2016politics, - title={The politics of resentment: Rural consciousness in Wisconsin and the rise of Scott Walker}, - author={Cramer, Katherine J}, + title={The Politics of Resentment: Rural Consciousness in Wisconsin and the Rise of {Scott Walker}}, + author={Cramer, Katherine J.}, year={2016}, publisher={University of Chicago Press} } @@ -7910,3 +7946,114 @@ note={Errata and Remarks maintained at: biburl = {https://dblp.org/rec/bib/conf/nips/SteinhardtKL17}, bibsource = {dblp computer science bibliography, https://dblp.org} } + +@book{goldstein2017janesville, + title={Janesville: An {American} Story}, + author={Goldstein, A.}, + isbn={9781501102288}, + lccn={2017019295}, + year={2017}, + publisher={Simon \& Schuster} +} + +@misc{uw-headcount, + title = {Headcount Enrollment by Wisconsin County of Origin}, + author = {The University of Wisconsin System}, + year = {2017--2018}, + url = {https://www.wisconsin.edu/education-reports-statistics/student-statistics/}, +} + +@unpublished{Darais:2018, + author = {David Darais and + Chang Liu and + Ian Sweet and + Michael Hicks}, + title = {A Language for Probabilistically Oblivious Computation}, + journal = {CoRR}, + volume = {abs/1711.09305}, + year = {2017}, + url = {http://arxiv.org/abs/1711.09305}, + archivePrefix = {arXiv}, + eprint = {1711.09305}, + timestamp = {Mon, 13 Aug 2018 16:47:25 +0200}, + biburl = {https://dblp.org/rec/bib/journals/corr/abs-1711-09305}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/cacm/GuSCKKWSC19, + author = {Ronghui Gu and + Zhong Shao and + Hao Chen and + Jieung Kim and + J{\'{e}}r{\'{e}}mie Koenig and + Xiongnan (Newman) Wu and + Vilhelm Sj{\"{o}}berg and + David Costanzo}, + title = {Building certified concurrent {OS} kernels}, + journal = cacm, + volume = {62}, + number = {10}, + pages = {89--99}, + year = {2019}, + url = {https://doi.org/10.1145/3356903}, + doi = {10.1145/3356903}, + timestamp = {Wed, 09 Oct 2019 15:30:36 +0200}, + biburl = {https://dblp.org/rec/bib/journals/cacm/GuSCKKWSC19}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/cacm/Leroy09, + author = {Xavier Leroy}, + title = {Formal verification of a realistic compiler}, + journal = cacm, + volume = {52}, + number = {7}, + pages = {107--115}, + year = {2009}, + url = {https://doi.org/10.1145/1538788.1538814}, + doi = {10.1145/1538788.1538814}, + timestamp = {Tue, 06 Nov 2018 12:51:38 +0100}, + biburl = {https://dblp.org/rec/bib/journals/cacm/Leroy09}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/cacm/BesseyBCCFHHKME10, + author = {Al Bessey and + Ken Block and + Benjamin Chelf and + Andy Chou and + Bryan Fulton and + Seth Hallem and + Charles{-}Henri Gros and + Asya Kamsky and + Scott McPeak and + Dawson R. Engler}, + title = {A few billion lines of code later: using static analysis to find bugs + in the real world}, + journal = cacm, + volume = {53}, + number = {2}, + pages = {66--75}, + year = {2010}, + url = {https://doi.org/10.1145/1646353.1646374}, + doi = {10.1145/1646353.1646374}, + timestamp = {Sun, 02 Jun 2019 20:48:59 +0200}, + biburl = {https://dblp.org/rec/bib/journals/cacm/BesseyBCCFHHKME10}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/cacm/MouraB11, + author = {Leonardo Mendon{\c{c}}a de Moura and + Nikolaj Bj{\o}rner}, + title = {Satisfiability modulo theories: introduction and applications}, + journal = cacm, + volume = {54}, + number = {9}, + pages = {69--77}, + year = {2011}, + url = {https://doi.org/10.1145/1995376.1995394}, + doi = {10.1145/1995376.1995394}, + timestamp = {Tue, 06 Nov 2018 12:51:39 +0100}, + biburl = {https://dblp.org/rec/bib/journals/cacm/MouraB11}, + bibsource = {dblp computer science bibliography, https://dblp.org} +}