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

Uniformize capitals in publication. 

Website generate doesn't use a bst file, so need to handle capitals manually.
This commit is contained in:
Justin Hsu 2015-09-11 20:25:42 +03:00
parent 52cdd93510
commit 4ffef98583
2 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
bibs/myrefs.bib
View File

@ -14,7 +14,7 @@
} }
@unpublished{BEGGHS15, @unpublished{BEGGHS15,
title = {Formal Certification of Randomized Algorithms}, title = {Formal certification of randomized algorithms},
author = {Barthe, Gilles and author = {Barthe, Gilles and
Espitau, Thomas and Espitau, Thomas and
Gaboardi, Marco and Gaboardi, Marco and
@ -57,8 +57,8 @@
} }
@inproceedings{AHJ15, @inproceedings{AHJ15,
title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing title = {Online assignment with heterogeneous tasks in crowdsourcing
Markets}, markets},
author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin}, author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin},
year = {2015}, year = {2015},
booktitle = hcomp15, booktitle = hcomp15,
@ -70,7 +70,7 @@
@inproceedings{HsuTaxes, @inproceedings{HsuTaxes,
author = {Justin Hsu}, author = {Justin Hsu},
title = {Death, Taxes, and Formal Verification (Abstract)}, title = {Death, taxes, and formal verification (Abstract)},
year = {2015}, year = {2015},
booktitle = snapl15, booktitle = snapl15,
jh = yes, jh = yes,
@ -81,7 +81,7 @@
@inproceedings{GHaccuracy, @inproceedings{GHaccuracy,
author = {Marco Gaboardi and author = {Marco Gaboardi and
Justin Hsu}, Justin Hsu},
title = {A Theory {AB} Toolbox}, title = {A Theory {AB} toolbox},
year = {2015}, year = {2015},
booktitle = snapl15, booktitle = snapl15,
jh = yes, jh = yes,
@ -208,7 +208,7 @@
} }
@inproceedings{WHE13, @inproceedings{WHE13,
title = {Towards dependently typed {H}askell: System {FC} with kind equality}, title = {Towards dependently typed {H}askell: {S}ystem {FC} with kind equality},
author = {Weirich, Stephanie and author = {Weirich, Stephanie and
Hsu, Justin and Hsu, Justin and
Eisenberg, Richard A}, Eisenberg, Richard A},

8
content/news.md
View File

@ -2,15 +2,15 @@
to **SODA 2016**! to **SODA 2016**!
+ **09/2015** Our paper **Relational reasoning via probabilistic coupling** + **09/2015** Our paper **Relational reasoning via probabilistic coupling**
has been accepted to **LPAR 2015**! has been accepted to **LPAR 2015**!
+ **08/2015** Our preprint **Online Assignment with Heterogeneous Tasks in + **08/2015** Our preprint **Online assignment with heterogeneous tasks in
Crowdsourcing Markets** is now available on `arXiv`. crowdsourcing markets** is now available on `arXiv`.
+ **08/2015** I will be visiting the **Weizmann Institute** in Rehovot until + **08/2015** I will be visiting the **Weizmann Institute** in Rehovot until
early December. early December.
+ **07/2015** Our preprint **Relational reasoning via probabilistic coupling** + **07/2015** Our preprint **Relational reasoning via probabilistic coupling**
is now available. is now available.
+ **07/2015** Our preprint **Formal Verification of Randomized Algorithms** is + **07/2015** Our preprint **Formal verification of randomized algorithms** is
now available. now available.
+ **06/2015** Our paper **Online Assignment with Heterogeneous Tasks in + **06/2015** Our paper **Online assignment with heterogeneous tasks in
Crowdsourcing Markets** has been accepted to **HCOMP 2015**! Crowdsourcing Markets** has been accepted to **HCOMP 2015**!
+ **06/2015** I have been awarded the **Simons Graduate Fellowship in + **06/2015** I have been awarded the **Simons Graduate Fellowship in
Theoretical Computer Science**. Theoretical Computer Science**.