diff --git a/bibs/header.bib b/bibs/header.bib index 8234305..36b85b4 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -309,6 +309,7 @@ @STRING{stoc13 = stoc # ", Palo Alto, California"} @STRING{stoc14 = stoc # ", New York, New York"} @STRING{stoc15 = stoc # ", Portland, Oregon"} +@STRING{stoc16 = stoc # ", Cambridge, Massachusetts"} % ---- @STRING{focs = "{IEEE} {S}ymposium on {F}oundations of {C}omputer {S}cience (FOCS)"} diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 40b1fbc..d55bb6e 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -22,19 +22,6 @@ eprint = yes, } -@unpublished{HMRRV16, - title = {Do prices coordinate markets?}, - author = {Hsu, Justin and - Morgenstern, Jamie and - Rogers, Ryan and - Roth, Aaron and - Vohra, Rakesh}, - year = 2015, - url = {http://arxiv.org/abs/1511.00925}, - jh = yes, - eprint = yes, -} - @unpublished{HKM-verif15, title = {Computer-aided verification in mechanism design}, author = {Barthe, Gilles and @@ -63,6 +50,21 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{HMRRV16, + title = {Do prices coordinate markets?}, + author = {Hsu, Justin and + Morgenstern, Jamie and + Rogers, Ryan and + Roth, Aaron and + Vohra, Rakesh}, + booktitle = stoc16, + year = 2016, + url = {http://arxiv.org/abs/1511.00925}, + jh = yes, + eprint = yes, + note = {To appear.} +} + @inproceedings{HHRW16, author = {Hsu, Justin and Huang, Zhiyi and diff --git a/content/news.md b/content/news.md index a60a6ee..7923928 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **01/2016** Our preprint **Do prices coordinate markets?** has been accepted + to **STOC 2016**! + **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's decomposition** is now available. + **01/2016** Our preprint **Proving differential privacy via probabilistic @@ -5,14 +7,14 @@ + **01/2016** Slides now available for **Jointly private convex programming**, presented at **SODA 2016**. + **11/2015** Slides now available for **Relational reasoning via probabilistic -coupling**, presented at **LPAR 2015**. + coupling**, presented at **LPAR 2015**. + **11/2015** I will be serving on the External Review Committee of **PLDI -2016**. + 2016**. + **11/2015** Our preprint **Do prices coordinate markets?** is now available on -`arXiv`. + `arXiv`. + **09/2015** Our preprint **Relational reasoning via probabilistic coupling** -is now available on `arXiv`. + is now available on `arXiv`. + **09/2015** Our paper **Jointly private convex programming** has been accepted -to **SODA 2016**! -+ **09/2015** Our paper **Relational reasoning via probabilistic coupling** -has been accepted to **LPAR 2015**! + to **SODA 2016**! ++ **09/2015** Our paper **Relational reasoning via probabilistic coupling** has + been accepted to **LPAR 2015**!