justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update bib.

This commit is contained in:
Justin Hsu 2020-08-24 13:36:26 -05:00
parent 139d611d3f
commit 0800594cb6
1 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
bibs/myrefs.bib
View File

@ -5,6 +5,10 @@
Docherty, Simon and Docherty, Simon and
Hsu, Justin and Hsu, Justin and
Silva, Alexandra}, Silva, Alexandra},
url = {https://arxiv.org/abs/2008.09231},
eprint = {2008.09231},
archivePrefix = {arXiv},
primaryClass = {cs.LO},
year = 2020, year = 2020,
jh = yes, jh = yes,
} }
@ -28,7 +32,7 @@
Kaminski, Benjamin Lucien and Kaminski, Benjamin Lucien and
Katoen, Joost-Pieter and Katoen, Joost-Pieter and
Matheja, Christoph}, Matheja, Christoph},
year = 2019, year = 2020,
url = {https://arxiv.org/abs/1901.06540}, url = {https://arxiv.org/abs/1901.06540},
eprint = {1901.06540}, eprint = {1901.06540},
archivePrefix = {arXiv}, archivePrefix = {arXiv},
@ -1081,6 +1085,15 @@ inproceedings{HHRRW14,
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@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 = oct,
jh = yes,
}
@talk{owls-talk, @talk{owls-talk,
title = {A Probabilistic Separation Logic}, title = {A Probabilistic Separation Logic},
organization = {Online Worldwide Seminar on Logic and Semantics, Young Researcher {(OWLS-YR)}}, organization = {Online Worldwide Seminar on Logic and Semantics, Young Researcher {(OWLS-YR)}},
@ -1089,16 +1102,6 @@ inproceedings{HHRRW14,
jh = yes, 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, @talk{popl-tutorial-talk,
title = {Verifying Probabilistic Properties with Couplings}, title = {Verifying Probabilistic Properties with Couplings},
organization = "Tutorial at " # popl20, organization = "Tutorial at " # popl20,