Journal version.

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
+	author     = {Hsu, Justin and
-                Hsu, Justin},
+               Barthe, Gilles},
-  booktitle  = {Foundations of Probabilistic Programming},
+  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},
+  title={The Politics of Resentment: Rural Consciousness in Wisconsin and the Rise of {Scott Walker}},
-  author={Cramer, Katherine J},
+  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}
+}