From 465ffa4ed0f32cf60e2ce45a986922f4adbc867a Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 25 May 2018 16:37:57 -0400 Subject: [PATCH] Update news. --- content/about.md | 10 ++++------ content/news.md | 13 ++++--------- 2 files changed, 8 insertions(+), 15 deletions(-) diff --git a/content/about.md b/content/about.md index ba70a6d..729809e 100644 --- a/content/about.md +++ b/content/about.md @@ -37,9 +37,7 @@ the algorithms side, I apply differential privacy to optimization, machine learning, and mechanism design. ## Service ## -- **LICS 2018** PC -- **WWW 2018** PC -- **FCS 2017** PC -- **TPDP 2017** PC -- **MFPS 2017** PC -- **PLDI 2016** ERC +- **2019** POPL +- **2018** LICS, WWW +- **2017** FCS, TPDP, MFPS +- **2016** PLDI (ERC) diff --git a/content/news.md b/content/news.md index 15b5d22..acccb8d 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,6 @@ ++ **05/2018** I will be serving on the program committee of [**POPL + 2019**](https://popl19.sigplan.org/) in Lisbon, Portugal. Submit your best + papers! + **04/2018** **Almost Sure Productivity** will appear at **ICALP 2018**! + **04/2018** Slides now available for **An Assertion-Based Program Logic for Probabilistic Programs**. @@ -8,7 +11,7 @@ + **03/2018** Our preprint **Probabilistic Program Equivalence for NetKAT** is now available. + **02/2018** Our preprint **Almost Sure Productivity** is now available. -+ **02/2018** I will be serving on the program committe of [**LICS ++ **02/2018** I will be serving on the program committee of [**LICS 2018**](http://lics.siglog.org/lics18/) in Oxford, England. + **01/2018** Slides now available for **Proving Expected Sensitivity of Probabilistic Programs**. @@ -16,11 +19,3 @@ will appear at **ESOP 2018**! + **11/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. -+ **09/2017** **Synthesizing Coupling Proofs of Differential Privacy** and - **Proving Expected Sensitivity of Probabilistic Programs** will appear at - **POPL 2018**! -+ **09/2017** Our preprint **Synthesizing Coupling Proofs of Differential - Privacy** is now available.