Add POPL accepts.

bibs/header.bib

@@ -174,6 +174,7 @@
 @STRING{popl15      = popl # ", Mumbai, India" }
 @STRING{popl16      = popl # ", Saint Petersburg, Florida" }
 @STRING{popl17      = popl # ", Paris, France" }
+@STRING{popl18      = popl # ", Los Angeles, California" }
 % ----
 @STRING{icfp        = "{ACM} {SIGPLAN} {I}nternational {C}onference on
                       {F}unctional {P}rogramming ({ICFP})" }

bibs/myrefs.bib

@@ -1,27 +1,4 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{AH17,
-  title = {Synthesizing Coupling Proofs of Differential Privacy},
-  author = {Albarghouthi, Aws and
-            Hsu, Justin},
-  year = 2017,
-  jh     = yes,
-  url    = {http://arxiv.org/abs/1709.05361},
-  note = {In submission.}
-}
-
-@unpublished{BEGHS16,
-  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   = 2017,
-  jh     = yes,
-  url    = {http://arxiv.org/abs/1708.02537},
-  note   = {In submission.}
-}
-
 @unpublished{BEGGHS16,
   title  = {Formal certification of randomized algorithms},
   author = {Barthe, Gilles and
@@ -79,6 +56,31 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{AH17,
+  title = {Synthesizing coupling proofs of differential privacy},
+  author = {Albarghouthi, Aws and
+            Hsu, Justin},
+  booktitle = popl18,
+  year = 2018,
+  jh     = yes,
+  url    = {http://arxiv.org/abs/1709.05361},
+  note = {To appear.}
+}
+
+@inproceedings{BEGHS16,
+  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},
+  booktitle = popl18,
+  year   = 2018,
+  jh     = yes,
+  url    = {http://arxiv.org/abs/1708.02537},
+  note   = {To appear.}
+}
+
 @inproceedings{BEHSS17,
   title  = {$\star$-Liftings for differential privacy},
   author = {Barthe, Gilles and
@@ -97,6 +99,7 @@
   jh     = yes,
   plclub    = yes,
   reviewed = yes,
+  acceptance = {137/459=0.29},
 }
 
 @inproceedings{BEGHS17,
@@ -187,8 +190,8 @@
   jh      = yes,
   plclub    = yes,
   reviewed = yes,
-  acceptance = {137/831=0.17},
   slides  = {http://justinh.su/files/slides/advanced.pdf},
+  acceptance = {137/831=0.17},
 }
 
 @inproceedings{privinfer,
@@ -263,6 +266,7 @@
   plclub    = yes,
   reviewed = yes,
   slides  = {http://justinh.su/files/slides/approx-couplings.pdf},
+  acceptance = {85/191=0.44}
 }
 
 @inproceedings{HMRRV16,
@@ -598,6 +602,102 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{icalp17-talk,
+  title = {$\star$-Liftings for Differential Privacy},
+  organization = icalp17,
+  year = 2017,
+  month = jul,
+  jh = yes,
+}
+
+@talk{lpar17-talk,
+  title = {Proving Uniformity and Independence by Self-Composition and Coupling},
+  organization = lpar17,
+  year = 2017,
+  month = may,
+  jh = yes,
+}
+
+@talk{nw17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Northwestern University},
+  year = 2017,
+  month = apr,
+  jh = yes,
+}
+
+@talk{mit17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Massachusetts Institute of Technology},
+  year = 2017,
+  month = apr,
+  jh = yes,
+}
+
+@talk{cmu17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Carnegie Mellon University},
+  year = 2017,
+  month = mar,
+  jh = yes,
+}
+
+@talk{dagstuhl17-talk,
+  title = {Differential Privacy and Incentive Properties},
+  organization = {Dagstuhl Seminar: Game Theory in {AI}, Logic, and Algorithms},
+  year = 2017,
+  month = mar,
+  jh = yes,
+}
+
+@talk{mpi17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Max Planck Institute for Software Systems},
+  year = 2017,
+  month = mar,
+  jh = yes,
+}
+
+@talk{eth17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {{ETH} Z\"urich},
+  year = 2017,
+  month = mar,
+  jh = yes,
+}
+
+@talk{yale17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Yale University},
+  year = 2017,
+  month = feb,
+  jh = yes,
+}
+
+@talk{nyu17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Courant Institute, New York University},
+  year = 2017,
+  month = feb,
+  jh = yes,
+}
+
+@talk{wisc17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {University of Wisconsin--Madison},
+  year = 2017,
+  month = feb,
+  jh = yes,
+}
+
+@talk{ist17-talk,
+  title = {Randomized Algorithms Meet Formal Verification},
+  organization = {Institute of Science and Technology Austria},
+  year = 2017,
+  month = jan,
+  jh = yes,
+}
+
 @talk{wine16-talk,
   title = {Computer-aided verification in mechanism design},
   organization = wine16,

content/news.md

@@ -1,5 +1,8 @@
-+ **09/2017** Our preprint **Synthesizing Coupling Proofs of Differential
++ **09/2017** **Synthesizing coupling proofs of differential privacy** and
-  Privacy** is now available.
+  **Proving expected sensitivity of probabilistic programs** will appear at
+  **POPL 2018**!
++ **09/2017** Our preprint **Synthesizing coupling proofs of differential
+  privacy** is now available.
 + **07/2017** Slides now available for **\*-Liftings for differential privacy**.
 + **07/2017** Our preprint **Proving expected sensitivity of probabilistic
   programs** is now available.