Add thesis.

This commit is contained in:
Justin Hsu 2017-11-01 15:45:02 +00:00
parent 73a0cb0909
commit bfa91221b4
6 changed files with 26 additions and 3 deletions

View File

@ -27,6 +27,20 @@
url = {http://justinh.su/files/papers/ellora.pdf}, url = {http://justinh.su/files/papers/ellora.pdf},
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@phdthesis{JHThesis,
title = {Probabilistic Couplings for Probabilistic Reasoning},
author = {Justin Hsu},
school = {University of Pennsylvania},
year = {2017},
url = {https://arxiv.org/abs/1710.09951},
jh = yes,
eprint = {1710.09951},
archivePrefix = {arXiv},
primaryClass = {cs.LO}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@article{GGHRW14, @article{GGHRW14,
author = {Gaboardi, Marco and author = {Gaboardi, Marco and

View File

@ -2,6 +2,10 @@
\$draft\$ \$draft\$
## Thesis ##
\$thesis\$
## Journals and Surveys ## ## Journals and Surveys ##
\$journal\$ \$journal\$

View File

@ -1,3 +1,5 @@
+ **10/2017** My dissertation **Probabilistic Couplings for Probabilistic
Reasoning** is now available.
+ **10/2017** Our preprints **Reasoning about Divergences for Relaxations of + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of
Differential Privacy** and **A Program Logic for Probabilistic Programs** are Differential Privacy** and **A Program Logic for Probabilistic Programs** are
now available. now available.

View File

@ -196,7 +196,7 @@ body {
}; };
} }
#drafts, #conferences, #journals-and-surveys { #drafts, #conferences, #journals-and-surveys, #thesis {
padding: $text-pad; padding: $text-pad;
} }

View File

@ -15,8 +15,8 @@ config = defaultConfiguration
bibHeaders :: [(String, [String])] bibHeaders :: [(String, [String])]
bibHeaders = [ ("draft" , [ "-c", "$type='UNPUBLISHED'" ] ) , bibHeaders = [ ("draft" , [ "-c", "$type='UNPUBLISHED'" ] ) ,
("confs" , [ "-c", "$type='INPROCEEDINGS'" ] ) , ("confs" , [ "-c", "$type='INPROCEEDINGS'" ] ) ,
("journal", [ "-c", "$type='ARTICLE'" ] ) ("journal", [ "-c", "$type='ARTICLE'" ] ) ,
] ("thesis", [ "-c", "$type='PHDTHESIS'" ] ) ]
bibSources :: [String] bibSources :: [String]
bibSources = [ "bibs/header.bib" bibSources = [ "bibs/header.bib"

View File

@ -14,6 +14,9 @@
$endif$ $endif$
$month$ $year$.</br> $month$ $year$.</br>
$endif$ $endif$
$if(school)$
$school$.</br>
$endif$
$if(url)$ $if(url)$
[<a href="$url$" onclick="trackLink('@$identifier$:link','$url$'); return false;">Paper</a>] [<a href="$url$" onclick="trackLink('@$identifier$:link','$url$'); return false;">Paper</a>]
$endif$ $endif$