POPL.

bibs/header.bib

@@ -179,6 +179,7 @@
 @STRING{popl17      = popl # ", Paris, France" }
 @STRING{popl18      = popl # ", Los Angeles, California" }
 @STRING{popl19      = popl # ", Lisbon, Portugal" }
+@STRING{popl20      = popl # ", New Orleans, Louisiana" }
 % ----
 @STRING{icfp        = "{ACM} {SIGPLAN} {I}nternational {C}onference on
                       {F}unctional {P}rogramming ({ICFP})" }

bibs/myrefs.bib

@@ -1,17 +1,4 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{BHL19,
-  title  = {A Probabilistic Separation Logic},
-  author = {Barthe, Gilles and
-            Hsu, Justin and
-            Liao, Kevin},
-  year   = 2019,
-  url    = {https://arxiv.org/abs/1907.10708},
-  eprint = {1907.10708},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-  jh     = yes,
-}
-
 @unpublished{BBGHS19,
   title  = {Hypothesis Testing Interpretations and {R}\'enyi Differential Privacy},
   author = {Balle, Borja and
@@ -27,22 +14,6 @@
   jh     = yes,
 }
 
-@unpublished{SFHKKS19,
-  title  = {Guarded {Kleene} {Algebra} with {Tests}: Verification of Uninterpreted Programs in Nearly Linear Time},
-  author = {Smolka, Steffen and
-            Foster, Nate and
-            Hsu, Justin and
-            Kapp\'e, Tobias and
-            Kozen, Dexter and
-            Silva, Alexandra},
-  year   = 2019,
-  url    = {https://arxiv.org/abs/1907.05920},
-  eprint = {1907.05920},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-  jh     = yes,
-}
-
 @unpublished{ABHKKM19,
   title  = {A Pre-Expectation Calculus for Probabilistic Sensitivity},
   author = {Aguirre, Alejandro and
@@ -58,22 +29,6 @@
   primaryClass  = {cs.LO},
   jh     = yes,
 }
-
-@unpublished{BHYYZ19,
-  title  = {Coupling Techniques for Reasoning about Quantum Programs},
-  author = {Barthe, Gilles and
-            Hsu, Justin and
-            Ying, Mingsheng and
-            Yu, Nengkun and
-            Zhou, Li},
-  year   = 2019,
-  url    = {https://arxiv.org/abs/1901.05184},
-  eprint = {1901.05184},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.LO},
-  jh     = yes,
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @phdthesis{JHThesis,
   title  = {Probabilistic Couplings for Probabilistic Reasoning},
@@ -138,6 +93,68 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@article{BHL19,
+  title  = {A Probabilistic Separation Logic},
+  author = {Barthe, Gilles and
+            Hsu, Justin and
+            Liao, Kevin},
+  year   = 2020,
+  url    = {https://arxiv.org/abs/1907.10708},
+  eprint = {1907.10708},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  month    = jan,
+  journal  = pacmpl,
+  volume   = {4},
+  number   = {POPL},
+  jhnote   = "To appear at " # popl20 # ".",
+  reviewed  = yes,
+  jh     = yes,
+}
+
+@article{SFHKKS19,
+  title  = {Guarded {Kleene} {Algebra} with {Tests}},
+  author = {Smolka, Steffen and
+            Foster, Nate and
+            Hsu, Justin and
+            Kapp\'e, Tobias and
+            Kozen, Dexter and
+            Silva, Alexandra},
+  year   = 2020,
+  url    = {https://arxiv.org/abs/1907.05920},
+  eprint = {1907.05920},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  month    = jan,
+  journal  = pacmpl,
+  volume   = {4},
+  number   = {POPL},
+  jhnote   = "To appear at " # popl20 # ".",
+  reviewed  = yes,
+  jh     = yes,
+}
+
+@article{BHYYZ19,
+  title  = {Relational Proofs for Quantum Programs},
+  author = {Barthe, Gilles and
+            Hsu, Justin and
+            Ying, Mingsheng and
+            Yu, Nengkun and
+            Zhou, Li},
+  year   = 2020,
+  url    = {https://arxiv.org/abs/1901.05184},
+  eprint = {1901.05184},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.LO},
+  month    = jan,
+  journal  = pacmpl,
+  volume   = {4},
+  number   = {POPL},
+  jhnote   = "To appear at " # popl20 # ".",
+  reviewed  = yes,
+  jh     = yes,
+}
+
 @inproceedings{MZH19,
   title  = {Data Poisoning against Differentially-Private Learners: Attacks and Defenses},
   author = {Ma, Yuzhe and
@@ -7256,22 +7273,6 @@ 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
@@ -7842,3 +7843,52 @@ note={Errata and Remarks maintained at:
  publisher = {University of Illinois at Urbana-Champaign},
  address = {Champaign, IL, USA},
 } 
+
+@inproceedings{DBLP:conf/iclr/PapernotSMRTE18,
+  author    = {Nicolas Papernot and
+               Shuang Song and
+               Ilya Mironov and
+               Ananth Raghunathan and
+               Kunal Talwar and
+               {\'{U}}lfar Erlingsson},
+  title     = {Scalable Private Learning with {PATE}},
+  booktitle = iclr18,
+  year      = {2018},
+  url       = {https://openreview.net/forum?id=rkZB1XbRZ},
+  timestamp = {Thu, 25 Jul 2019 16:33:00 +0200},
+  biburl    = {https://dblp.org/rec/bib/conf/iclr/PapernotSMRTE18},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}
+
+@inproceedings{DBLP:conf/ccs/AbadiCGMMT016,
+  author    = {Mart{\'{\i}}n Abadi and
+               Andy Chu and
+               Ian J. Goodfellow and
+               H. Brendan McMahan and
+               Ilya Mironov and
+               Kunal Talwar and
+               Li Zhang},
+  title     = {Deep Learning with Differential Privacy},
+  booktitle = ccs16,
+  pages     = {308--318},
+  year      = {2016},
+  url       = {https://doi.org/10.1145/2976749.2978318},
+  doi       = {10.1145/2976749.2978318},
+  timestamp = {Wed, 14 Nov 2018 10:54:58 +0100},
+  biburl    = {https://dblp.org/rec/bib/conf/ccs/AbadiCGMMT016},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}
+
+@inproceedings{DBLP:conf/nips/SteinhardtKL17,
+  author    = {Jacob Steinhardt and
+               Pang Wei Koh and
+               Percy Liang},
+  title     = {Certified Defenses for Data Poisoning Attacks},
+  booktitle = nips17,
+  pages     = {3517--3529},
+  year      = {2017},
+  url       = {http://papers.nips.cc/paper/6943-certified-defenses-for-data-poisoning-attacks},
+  timestamp = {Tue, 23 Jul 2019 16:55:15 +0200},
+  biburl    = {https://dblp.org/rec/bib/conf/nips/SteinhardtKL17},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}

content/about.md

@@ -50,7 +50,7 @@ differential privacy to optimization, machine learning, and mechanism design.
 - **Topics in Security and Privacy Technologies (CS 839)**: [F18](https://pages.cs.wisc.edu/~justhsu/teaching/f18/cs839/)
 
 ## Service ##
-- **2020** AAAI, CSF
+- **2020** AAAI, CSF, LAFI, WoLLIC, PLMW
 - **2019** POPL, PLMW, POST, CSF, DARS (co-chair)
 - **2018** LICS, WWW
 - **2017** FCS, TPDP, MFPS

content/news.md

@@ -1,4 +1,10 @@
-+ **09/2019** I am serving on the program committees of [**WoLLIC
++ **10/2019** **A Probabilistic Separation Logic**, **Guarded Kleene Algebra
+  with Tests**, and **Relational Proofs for Quantum Programs** to appear at
+  **POPL 2020**!
++ **10/2019** I am serving on the program committee of [**LAFI
+  2020**](https://popl19.sigplan.org/track/lafi-2020), colocated with POPL 2020.
+  Submit your best papers!
++ **09/2019** I am serving on the program committee of [**WoLLIC
   2020**](http://wollic.org/wollic2020/) in Lima, Peru. Submit your best
   papers!
 + **09/2019** This fall, I'm teaching a graduate seminar **Security and Privacy
@@ -15,7 +21,3 @@
   York. Submit your best papers!
 + **05/2019** **Data Poisoning against Differentially-Private Learners: Attacks
   and Defenses** to appear at **IJCAI 2019**!
-+ **03/2019** **Approximate Span Liftings** and **Probabilistic Relational
-  Reasoning via Metrics** to appear at **LICS 2019**!
-+ **02/2019** **Scalable Verification of Probabilistic Network Programs**
-  (conditionally) accepted to **PLDI 2019**!