+ **11/2014** Our paper **Jointly private convex programming** has been uploaded to `arxiv`. + **9/2014** Our paper, **Higher-order refinement types for mechanism design and differential privacy**, has been accepted to POPL 2015!