7 lines
388 B
Markdown
7 lines
388 B
Markdown
+ **01/2015** Our abstract **Death, Taxes, and Formal Verification** has been uploaded.
|
|
+ **01/2015** Our paper **A Theory AB Toolbox** has been uploaded.
|
|
+ **11/2014** Our paper **Jointly private convex programming** has been uploaded to
|
|
`arxiv`.
|
|
+ **09/2014** Our paper **Higher-order refinement types for mechanism design and
|
|
differential privacy** has been accepted to POPL 2015!
|