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

Update.

This commit is contained in:
Justin Hsu 2019-03-30 11:53:25 -05:00
parent 7887950a65
commit 9da0264d40
2 changed files with 34 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
bibs/header.bib
View File

@ -261,6 +261,7 @@
@STRING{lics14 = lics # ", Vienna, Austria" } @STRING{lics14 = lics # ", Vienna, Austria" }
@STRING{lics16 = lics # ", New York, New York" } @STRING{lics16 = lics # ", New York, New York" }
@STRING{lics17 = lics # ", Reykjavik, Iceland" } @STRING{lics17 = lics # ", Reykjavik, Iceland" }
@STRING{lics19 = lics # ", Vancouver, British Columbia" }
% ---- % ----
@STRING{pldi = "{ACM SIGPLAN Conference on Programming Language Design @STRING{pldi = "{ACM SIGPLAN Conference on Programming Language Design
and Implementation (PLDI)}" } and Implementation (PLDI)}" }

62
bibs/myrefs.bib
View File

@ -30,35 +30,6 @@
jh = yes, jh = yes,
} }
@unpublished{ACGHK19,
title = {Probabilistic Relational Reasoning via Metrics},
author = {Azevedo de Amorim, Arthur and
Gaboardi, Marco and
Hsu, Justin and
Katsumata, {Shin-ya}},
year = 2019,
url = {https://arxiv.org/abs/1807.05091},
eprint = {1807.05091},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
jh = yes,
}
@unpublished{SBGHK17,
title = {Approximate Span Liftings},
author = {Sato, Tetsuya and
Barthe, Gilles and
Gaboradi, Marco and
Hsu, Justin and
Katsumata, {Shin-ya}},
year = {2018},
url = {https://arxiv.org/abs/1710.09010},
jh = yes,
eprint = {1710.09010},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@phdthesis{JHThesis, @phdthesis{JHThesis,
title = {Probabilistic Couplings for Probabilistic Reasoning}, title = {Probabilistic Couplings for Probabilistic Reasoning},
@ -123,6 +94,39 @@
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{ACGHK19,
title = {Probabilistic Relational Reasoning via Metrics},
author = {Azevedo de Amorim, Arthur and
Gaboardi, Marco and
Hsu, Justin and
Katsumata, {Shin-ya}},
booktitle = lics19,
year = 2019,
url = {https://arxiv.org/abs/1807.05091},
eprint = {1807.05091},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
jh = yes,
note = "To appear."
}
@inproceedings{SBGHK17,
title = {Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy},
author = {Sato, Tetsuya and
Barthe, Gilles and
Gaboradi, Marco and
Hsu, Justin and
Katsumata, {Shin-ya}},
booktitle = lics19,
year = 2019,
url = {https://arxiv.org/abs/1710.09010},
eprint = {1710.09010},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
jh = yes,
note = "To appear."
}
@inproceedings{SKFHKKS18, @inproceedings{SKFHKKS18,
title = {Scalable Verification of Probabilistic Network Programs}, title = {Scalable Verification of Probabilistic Network Programs},
author = {Smolka, Steffen and author = {Smolka, Steffen and