Update.

bibs/header.bib

@@ -217,6 +217,7 @@
 @STRING{ccs15       = ccs # ", Boulder, Colorado" }
 @STRING{ccs16       = ccs # ", Vienna, Austria" }
 @STRING{ccs17       = ccs # ", Dallas, Texas" }
+@STRING{ccs18       = ccs # ", Toronto, Ontario" }
 
 @STRING{dbpl        = {Database Programming Languages (DBPL)}}
 @STRING{dbpl05      = dbpl}
@@ -423,6 +424,8 @@
 % ----
 @STRING{nips        = "{C}onference on {N}eural {I}nformation {P}rocessing
   {S}ystems ({NIPS})"}
+@STRING{neurips     = "{C}onference on {N}eural {I}nformation {P}rocessing
+  {S}ystems ({NeurIPS})"}
 @STRING{nips08      = nips # ", Vancouver, British Colombia" }
 @STRING{nips12      = nips # ", Lake Tahoe, California" }
 @STRING{nips13      = nips # ", Lake Tahoe, California" }
@@ -430,6 +433,7 @@
 @STRING{nips15      = nips # ", Montr{\'e}al, Qu{\'e}bec" }
 @STRING{nips16      = nips # ", Barcelona, Spain" }
 @STRING{nips17      = nips # ", Long Beach, California" }
+@STRING{nips18      = neurips # ", Montr{\'e}al, Qu{\'e}bec" }
 
 % ----
 @STRING{icml        = "{I}nternational {C}onference on {M}achine {L}earning (ICML)" }
@@ -444,7 +448,9 @@
 @STRING{sp          = "{IEEE} {S}ymposium on {S}ecurity and {P}rivacy (S\&P)"}
 @STRING{sp08        = sp # ", Oakland, California"}
 @STRING{sp09        = sp # ", Oakland, California"}
+@STRING{sp11        = sp # ", Berkeley, California"}
 @STRING{sp14        = sp # ", Oakland, California"}
+@STRING{sp15        = sp # ", San Jose, California"}
 
 @STRING{oakland     = sp}
 
@@ -496,6 +502,7 @@
   and {I}mplementation (NSDI)"}
 @STRING{nsdi10      = nsdi # ", San Jose, California"}
 @STRING{nsdi12      = nsdi # ", San Jose, California"}
+@STRING{nsdi19      = nsdi # ", Boston, Massachusetts"}
 
 % ----
 @STRING{eucrypt     = "{IACR} {I}nternational {C}onference on the {T}heory and

bibs/myrefs.bib

@@ -1,4 +1,25 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{BDHS20,
+  title  = {A Logic to Reason about Dependence and Independence},
+  author = {Bao, Jialu and
+            Docherty, Simon and
+            Hsu, Justin and
+            Silva, Alexandra},
+  year   = 2020,
+  jh     = yes,
+}
+
+@unpublished{ZBHYY20,
+  title  = {Quantum Separation Logic: Scalable Verification of Quantum Algorithms and Security Protocols},
+  author = {Zhou, Li and
+            Barthe, Gilles and
+            Hsu, Justin and
+            Ying, Minghsheng and
+            Yu, Nengkun},
+  year   = 2020,
+  jh     = yes,
+}
+
 @unpublished{ABHKKM19,
   title  = {A Pre-Expectation Calculus for Probabilistic Sensitivity},
   author = {Aguirre, Alejandro and
@@ -7,7 +28,7 @@
             Kaminski, Benjamin Lucien and
             Katoen, Joost-Pieter and
             Matheja, Christoph},
-  year   = 2019,
+  year   = 2020,
   url    = {https://arxiv.org/abs/1901.06540},
   eprint = {1901.06540},
   archivePrefix = {arXiv},
@@ -33,7 +54,7 @@
   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 = {},
+  DOI = {10.23638/LMCS-15(4:18)2019},
   JOURNAL = lmcs,
   VOLUME = {15},
   NUMBER = {4},
@@ -59,6 +80,7 @@
   number    = {2},
   pages     = {53--77},
   url       = {https://arxiv.org/abs/1402.1526},
+  doi       = {10.29012/jpc.v7i2.650},
   eprint    = {1402.1526},
   archivePrefix = {arXiv},
   primaryClass  = {cs.DS},
@@ -142,6 +164,7 @@
             Silva, Alexandra},
   year   = 2020,
   url    = {https://arxiv.org/abs/1907.05920},
+  doi    = {10.1145/3371129},
   eprint = {1907.05920},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
@@ -187,6 +210,7 @@
   booktitle = ijcai19,
   year   = 2019,
   url    = {https://arxiv.org/abs/1903.09860},
+  doi    = {10.24963/ijcai.2019/657},
   eprint = {1903.09860},
   archivePrefix = {arXiv},
   primaryClass  = {cs.LG},
@@ -204,6 +228,7 @@
   booktitle = lics19,
   year   = 2019,
   url    = {https://arxiv.org/abs/1807.05091},
+  doi    = {10.1109/LICS.2019.8785715},
   eprint = {1807.05091},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
@@ -222,6 +247,7 @@
   booktitle = lics19,
   year   = 2019,
   url    = {https://arxiv.org/abs/1710.09010},
+  doi    = {10.1109/LICS.2019.8785668},
   eprint = {1710.09010},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
@@ -282,6 +308,7 @@
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
   url      = {https://arxiv.org/abs/1810.12396},
+  doi      = {10.1145/3290352},
   reviewed = yes,
 }
 
@@ -302,6 +329,7 @@
   jhnote   = "Appeared at " # popl19 # ".",
   reviewed = yes,
   url      = {https://arxiv.org/abs/1807.06091},
+  doi      = {10.1145/3290351},
   eprint   = {1807.06091},
   archivePrefix = {arXiv},
   primaryClass  = {cs.LO},
@@ -318,6 +346,7 @@
   reviewed  = yes,
   booktitle = ictac18,
   url       = {https://arxiv.org/abs/1805.11550},
+  doi       = {10.1007/978-3-030-02508-3_25},
   eprint    = {1805.11550},
   archivePrefix = {arXiv},
   primaryClass  = {cs.FL},
@@ -333,6 +362,7 @@
   reviewed  = yes,
   booktitle = cav18,
   url       = {https://arxiv.org/abs/1804.04052},
+  doi       = {10.1007/978-3-319-96145-3_18},
   eprint    = {1804.04052},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
@@ -350,6 +380,7 @@
   jh       = yes,
   reviewed = yes,
   url      = {https://arxiv.org/abs/1802.06283},
+  doi      = {10.4230/LIPIcs.ICALP.2018.113},
   eprint   = {1802.06283},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
@@ -1050,6 +1081,32 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{owls-talk,
+  title = {A Probabilistic Separation Logic},
+  organization = {Online Worldwide Seminar on Logic and Semantics, Young Researcher {(OWLS-YR)}},
+  year = 2020,
+  month = jul,
+  jh = yes,
+}
+
+@talk{cmcs-talk,
+  title = {Tutorial on Probabilistic Couplings},
+  organization = {Coalgebraic Methods in Computer Science (CMCS), co-located
+                  with ETAPS 2020 in Dublin, Ireland},
+  year = 2020,
+  month = apr,
+  jh = yes,
+  note = {(Canceled due to COVID-19)}
+}
+
+@talk{popl-tutorial-talk,
+  title = {Verifying Probabilistic Properties with Couplings},
+  organization = "Tutorial at " # popl20,
+  year = 2020,
+  month = jan,
+  jh = yes,
+}
+
 @talk{google-fl-talk,
   title = {Data Poisoning against Differentially-Private Learners: Attacks and Defenses},
   organization = {Google Workshop on Federated Learning and Analytics},
@@ -1058,6 +1115,14 @@ inproceedings{HHRRW14,
   jh = yes,
 }
 
+@talk{barbados19-talk,
+  title = {Verifying Probabilistic Properties with Couplings},
+  organization = {Barbados Workshop on Logical Foundations for Data Science, Bellairs Research Institute},
+  year = 2019,
+  month = mar,
+  jh = yes,
+}
+
 @talk{ucsc-pig-talk,
   title = {Differentially-Private Optimal Power Flow},
   organization = {UCSC Privacy in Graphs Workshop},