From 1b2c03d0485be62ff7aa55c3a48768aef53e8962 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 16 Dec 2020 11:23:00 +0000
Subject: [PATCH] Update bibs.

---
 bibs/header.bib |  2 ++
 bibs/myrefs.bib | 64 +++++++++++++++++++++++++++++++++++++++++++++++--
 2 files changed, 64 insertions(+), 2 deletions(-)

diff --git a/bibs/header.bib b/bibs/header.bib
index ae2e7ce..3dd809b 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -558,6 +558,8 @@
 @STRING{fopara   =  {International Workshop on Foundational and Practical
                     Aspects of Resource Analysis (FOPARA)} # informal}
 @STRING{tpdp     = {Theory and Practice of Differential Privacy (TPDP)}}
+@STRING{cmcs     = {{IFIP} {WG} 1.3 International Workshop on Coalgebraic
+  Methods in Computer Science ({CMCS})}}
 
 % ----
 % meetings with proceedings:
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 6daebb2..da11a2b 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -119,6 +119,8 @@
   eprint = {1901.06540},
   archivePrefix = {arXiv},
   primaryClass  = {cs.LO},
+  doi       = {10.1145/3434333},
+  articleno = {52},
   month    = jan,
   journal  = pacmpl,
   volume   = {5},
@@ -158,6 +160,7 @@
   month    = jan,
   journal  = pacmpl,
   volume   = {4},
+  articleno = {55},
   number   = {POPL},
   jhnote   = "Appeared at " # popl20 # ".",
   reviewed  = yes,
@@ -182,6 +185,7 @@
   month    = jan,
   journal  = pacmpl,
   volume   = {4},
+  articleno = {61},
   number   = {POPL},
   jhnote   = "Appeared at " # popl20 # ", Distinguished Paper Award.",
   note     = "Distinguished Paper Award.",
@@ -206,6 +210,7 @@
   month    = jan,
   journal  = pacmpl,
   volume   = {4},
+  articleno = {21},
   number   = {POPL},
   jhnote   = "Appeared at " # popl20 # ".",
   reviewed  = yes,
@@ -313,6 +318,7 @@
   jh       = yes,
   journal  = pacmpl,
   volume   = {3},
+  articleno = {39},
   number   = {POPL},
   jhnote   = "Appeared at " # popl19 # ".",
   eprint    = {1810.12396},
@@ -336,6 +342,7 @@
   jh       = yes,
   journal  = pacmpl,
   volume   = {3},
+  articleno = {38},
   number   = {POPL},
   jhnote   = "Appeared at " # popl19 # ".",
   reviewed = yes,
@@ -1030,14 +1037,17 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@incollection{fopps-chapter,
+@inbook{fopps-chapter,
 	titLe      = {Probabilistic Couplings from Program Logics},
+  booktitle  = {Foundations of Probabilistic Programming Languages},
 	author     = {Hsu, Justin and
                Barthe, Gilles},
-  booktitle  = {Foundations of Probabilistic Programming Languages},
   editor     = {Barthe, Gilles and
                 Katoen, Joost-Pieter and
                 Silva, Alexandra},
+  pages      = {145--184},
+  DOI        = {10.1017/9781108770750.006},
+  url        = {https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/probabilistic-couplings-from-program-logics/4770E67B4DBCAABA74D06C30B802235A},
 	jh         = yes,
   reviewed   = no,
   survey     = yes,
@@ -1092,6 +1102,7 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+<<<<<<< HEAD
 @talk{cmcs-talk,
   title = {Tutorial on Probabilistic Couplings},
   organization = {Coalgebraic Methods in Computer Science (CMCS), co-located
@@ -1113,6 +1124,44 @@ inproceedings{HHRRW14,
   title = {A Probabilistic Separation Logic},
   organization = {PL Club, University of Pennsylvania},
   year = 2020,
+=======
+@talk{cornell20-talk,
+  title = {Formally Verifying Randomized Algorithms},
+  organization = {Fall 2020 CS Colloquium, Cornell University},
+  year = 2020,
+  month = nov,
+  jh = yes,
+}
+
+@talk{popv20-talk,
+  title = {A Probabilistic Separation Logic},
+  organization = {Principles of Programming and Verification Seminar, Boston University},
+  year = 2020,
+  month = nov,
+  jh = yes,
+}
+
+@talk{cmcs-talk,
+  title = {Tutorial on Probabilistic Couplings},
+  organization = {Coalgebraic Methods in Computer Science (CMCS), co-located with ETAPS 2020},
+  year = 2020,
+  month = oct,
+  jh = yes,
+}
+
+@talk{cmu20-talk,
+  title = {A Probabilistic Separation Logic},
+  organization = {Principles of Programming Seminar, Carnegie Mellon University},
+  year = 2020,
+  month = sep,
+  jh = yes,
+}
+
+@talk{penn20-talk,
+  title = {A Probabilistic Separation Logic},
+  organization = {PL Club, University of Pennsylvania},
+  year = 2020,
+>>>>>>> Update bibs.
   month = sep,
   jh = yes,
 }
@@ -8257,3 +8306,14 @@ note={Errata and Remarks maintained at:
   biburl    = {https://dblp.org/rec/conf/popl/0001NMR16.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }
+<<<<<<< HEAD
+=======
+
+@inproceedings{ding2018detecting,
+  title={Detecting violations of differential privacy},
+  author={Ding, Zeyu and Wang, Yuxin and Wang, Guanhong and Zhang, Danfeng and Kifer, Daniel},
+  booktitle=ccs18,
+  pages={475--489},
+  year={2018}
+}
+>>>>>>> Update bibs.