From 4ffef98583d25fb93e88cdacf5d965b734b1ac18 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Fri, 11 Sep 2015 20:25:42 +0300
Subject: [PATCH] Uniformize capitals in publication.

Website generate doesn't use a bst file, so need to handle capitals manually.
---
 bibs/myrefs.bib | 12 ++++++------
 content/news.md |  8 ++++----
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index b2a66ef..a670de4 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -14,7 +14,7 @@
 }
 
 @unpublished{BEGGHS15,
-  title = {Formal Certification of Randomized Algorithms},
+  title = {Formal certification of randomized algorithms},
   author = {Barthe, Gilles and
                Espitau, Thomas and
                Gaboardi, Marco and
@@ -57,8 +57,8 @@
 }
 
 @inproceedings{AHJ15,
-  title = {Online Assignment with Heterogeneous Tasks in Crowdsourcing
-    Markets},
+  title = {Online assignment with heterogeneous tasks in crowdsourcing
+    markets},
   author = {Assadi, Sepehr and Hsu, Justin and Jabbari, Shahin},
   year = {2015},
   booktitle = hcomp15,
@@ -70,7 +70,7 @@
 
 @inproceedings{HsuTaxes,
   author = {Justin Hsu},
-  title = {Death, Taxes, and Formal Verification (Abstract)},
+  title = {Death, taxes, and formal verification (Abstract)},
   year = {2015},
   booktitle = snapl15,
   jh = yes,
@@ -81,7 +81,7 @@
 @inproceedings{GHaccuracy,
   author = {Marco Gaboardi and
                Justin Hsu},
-  title = {A Theory {AB} Toolbox},
+  title = {A Theory {AB} toolbox},
   year = {2015},
   booktitle = snapl15,
   jh = yes,
@@ -208,7 +208,7 @@
 }
 
 @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
                Hsu, Justin and
                Eisenberg, Richard A},
diff --git a/content/news.md b/content/news.md
index ac1522c..e011c87 100644
--- a/content/news.md
+++ b/content/news.md
@@ -2,15 +2,15 @@
 to **SODA 2016**!
 + **09/2015** Our paper **Relational reasoning via probabilistic coupling**
 has been accepted to **LPAR 2015**!
-+ **08/2015** Our preprint **Online Assignment with Heterogeneous Tasks in
-Crowdsourcing Markets** is now available on `arXiv`.
++ **08/2015** Our preprint **Online assignment with heterogeneous tasks in
+crowdsourcing markets** is now available on `arXiv`.
 + **08/2015** I will be visiting the **Weizmann Institute** in Rehovot until
 early December.
 + **07/2015** Our preprint **Relational reasoning via probabilistic coupling**
 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.
-+ **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**!
 + **06/2015** I have been awarded the **Simons Graduate Fellowship in
 Theoretical Computer Science**.