From 87d5bfbfabee8162de92d36e8c93b30d62fca7de Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Mon, 2 Jul 2018 14:19:12 -0400
Subject: [PATCH] Add dissertation award.

---
 bibs/myrefs.bib | 3 ++-
 content/news.md | 7 +++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index d0e91ce..f305259 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -56,7 +56,8 @@
   jh     = yes,
   eprint = {1710.09951},
   archivePrefix = {arXiv},
-  primaryClass  = {cs.LO}
+  primaryClass  = {cs.LO},
+  jhnote = "Selected for the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award"
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
diff --git a/content/news.md b/content/news.md
index 3484802..24b8d52 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,6 @@
++ **07/2018** I am honored to receive a ACM SIGPLAN [**John C. Reynolds Doctoral
+  Dissertation Award**](http://www.sigplan.org/Awards/Dissertation/) for my
+  dissertation **Probabilistic Couplings for Probabilistic Reasoning**!
 + **05/2018** Our preprint **Convex Language Semantics for Nondeterministic
   Probabilistic Automata** is now available.
 + **05/2018** I will be serving on the program committee of [**POPL
@@ -17,7 +20,3 @@
   2018**](http://lics.siglog.org/lics18/) in Oxford, England.
 + **01/2018** Slides now available for **Proving Expected Sensitivity of
   Probabilistic Programs**.
-+ **12/2017** **An Assertion-Based Program Logic for Probabilistic Programs**
-  will appear at **ESOP 2018**!
-+ **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
-  Reasoning** is now available.