Add dissertation award.

This commit is contained in:
Justin Hsu 2018-07-02 14:19:12 -04:00
parent 048cf20593
commit 87d5bfbfab
2 changed files with 5 additions and 5 deletions

View File

@ -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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

View File

@ -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.