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

Update link.

This commit is contained in:
Justin Hsu 2017-02-01 21:25:02 -05:00
parent 0f51788caf
commit f65381494a
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
bibs/myrefs.bib
View File

@ -93,6 +93,7 @@
jh = yes, jh = yes,
plclub = yes, plclub = yes,
reviewed = yes, reviewed = yes,
acceptance = {64/282=0.22},
} }
@inproceedings{ACGHK16, @inproceedings{ACGHK16,
@ -104,10 +105,11 @@
Cherigui, Ikram}, Cherigui, Ikram},
booktitle = popl17, booktitle = popl17,
year = 2017, year = 2017,
url = {http://justinh.su/files/papers/metric-sem.pdf}, url = {http://arxiv.org/abs/1702.00374},
jh = yes, jh = yes,
plclub = yes, plclub = yes,
reviewed = yes, reviewed = yes,
acceptance = {64/282=0.22},
} }
@inproceedings{HKM-verif16, @inproceedings{HKM-verif16,
@ -3371,7 +3373,7 @@ year = {2011}
} }
@article{HartogVink02, @article{HartogVink02,
title = {Verifying probabilistic programs using a Hoare like logic}, title = {Verifying probabilistic programs using a {H}oare like logic},
author = {den Hartog, J I and de Vink, Erik P}, author = {den Hartog, J I and de Vink, Erik P},
journal = {International Journal of Foundations of Computer Science}, journal = {International Journal of Foundations of Computer Science},
volume = {13}, volume = {13},
@ -3395,7 +3397,7 @@ year = {2011}
@misc{RandZdancewic15, @misc{RandZdancewic15,
author = {Rand, Robert and Zdancewic, Steve}, author = {Rand, Robert and Zdancewic, Steve},
title = {A Formally Verified Probabilistic Hoare Logic with Non-Termination}, title = {A Formally Verified Probabilistic {H}oare Logic with Non-Termination},
year = 2015 year = 2015
} }
@ -4257,7 +4259,7 @@ archivePrefix = "arXiv",
} }
@inproceedings{sousa2016cartesian, @inproceedings{sousa2016cartesian,
title={Cartesian hoare logic for verifying k-safety properties}, title={Cartesian {H}oare logic for verifying $k$-safety properties},
author={Sousa, Marcelo and Dillig, Isil}, author={Sousa, Marcelo and Dillig, Isil},
booktitle=pldi16, booktitle=pldi16,
pages={57--69}, pages={57--69},
@ -4301,7 +4303,7 @@ archivePrefix = "arXiv",
@article{DBLP:journals/rsa/Jerrum95, @article{DBLP:journals/rsa/Jerrum95,
author = {Mark Jerrum}, author = {Mark Jerrum},
title = {A Very Simple Algorithm for Estimating the Number of title = {A Very Simple Algorithm for Estimating the Number of
k-Colorings of a Low-Degree Graph}, $k$-Colorings of a Low-Degree Graph},
journal = {Random Struct. Algorithms}, journal = {Random Struct. Algorithms},
volume = {7}, volume = {7},
number = {2}, number = {2},