Wording.
This commit is contained in:
parent
509680fcfb
commit
2e8cab1f15
|
@ -1,15 +1,15 @@
|
||||||
+ **02/2016** Our preprint **A program logic for union bounds** is now available
|
+ **02/2016** Our preprint **A program logic for union bounds** is now available
|
||||||
on `arXiv`.
|
on `arXiv`.
|
||||||
+ **01/2016** Our paper **Do prices coordinate markets?** has been accepted to
|
+ **01/2016** Our paper **Do prices coordinate markets?** will appear at **STOC
|
||||||
**STOC 2016**!
|
2016**!
|
||||||
+ **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
|
+ **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
|
||||||
decomposition** is now available.
|
decomposition** is now available.
|
||||||
+ **01/2016** Our preprint **Proving differential privacy via probabilistic
|
+ **01/2016** Our preprint **Proving differential privacy via probabilistic
|
||||||
couplings** is now available on `arXiv`.
|
couplings** is now available on `arXiv`.
|
||||||
+ **01/2016** Slides now available for **Jointly private convex programming**,
|
+ **01/2016** Slides now available for **Jointly private convex programming**
|
||||||
presented at **SODA 2016**.
|
from **SODA 2016**.
|
||||||
+ **11/2015** Slides now available for **Relational reasoning via probabilistic
|
+ **11/2015** Slides now available for **Relational reasoning via probabilistic
|
||||||
coupling**, presented at **LPAR 2015**.
|
coupling** from **LPAR 2015**.
|
||||||
+ **11/2015** I will be serving on the External Review Committee of **PLDI
|
+ **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
|
+ **11/2015** Our preprint **Do prices coordinate markets?** is now available on
|
||||||
|
|
Loading…
Reference in New Issue