From bfa91221b42b4692b9dd857ca88e3f85117fc527 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 1 Nov 2017 15:45:02 +0000 Subject: [PATCH] Add thesis. --- bibs/myrefs.bib | 14 ++++++++++++++ content/biblio.md | 4 ++++ content/news.md | 2 ++ css/style.scss | 2 +- site.hs | 4 ++-- templates/bibitemtpl.html | 3 +++ 6 files changed, 26 insertions(+), 3 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index d5e6588..5277316 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -27,6 +27,20 @@ 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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{GGHRW14, author = {Gaboardi, Marco and diff --git a/content/biblio.md b/content/biblio.md index 4f449eb..363d673 100644 --- a/content/biblio.md +++ b/content/biblio.md @@ -2,6 +2,10 @@ \$draft\$ +## Thesis ## + +\$thesis\$ + ## Journals and Surveys ## \$journal\$ diff --git a/content/news.md b/content/news.md index 2f3e2f1..6c1e491 100644 --- a/content/news.md +++ b/content/news.md @@ -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 Differential Privacy** and **A Program Logic for Probabilistic Programs** are now available. diff --git a/css/style.scss b/css/style.scss index 4d33760..00777dc 100644 --- a/css/style.scss +++ b/css/style.scss @@ -196,7 +196,7 @@ body { }; } -#drafts, #conferences, #journals-and-surveys { +#drafts, #conferences, #journals-and-surveys, #thesis { padding: $text-pad; } diff --git a/site.hs b/site.hs index 7a001f8..d4e0bd9 100644 --- a/site.hs +++ b/site.hs @@ -15,8 +15,8 @@ config = defaultConfiguration bibHeaders :: [(String, [String])] bibHeaders = [ ("draft" , [ "-c", "$type='UNPUBLISHED'" ] ) , ("confs" , [ "-c", "$type='INPROCEEDINGS'" ] ) , - ("journal", [ "-c", "$type='ARTICLE'" ] ) - ] + ("journal", [ "-c", "$type='ARTICLE'" ] ) , + ("thesis", [ "-c", "$type='PHDTHESIS'" ] ) ] bibSources :: [String] bibSources = [ "bibs/header.bib" diff --git a/templates/bibitemtpl.html b/templates/bibitemtpl.html index 905fb7d..91df529 100644 --- a/templates/bibitemtpl.html +++ b/templates/bibitemtpl.html @@ -14,6 +14,9 @@ $endif$ $month$ $year$.
$endif$ + $if(school)$ + $school$.
+ $endif$ $if(url)$ [Paper] $endif$