Update bibs.
This commit is contained in:
Justin Hsu
parent
fd1d2d8ecf
commit
1b2c03d048
|
|
@ -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:
|
||||
|
|
|
|||
|
|
@ -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.
|
||||
|
|
|
|||
Loading…
Reference in New Issue