student-marco.md

layout	student
sidebar	true
title	Programming Language Techniques for Differential Privacy
author	Marco Vassena
room	EL41
date	2017/05/10
time	10:00-12:00
abstract	...
intropapers	title url The Algorithmic Foundations of Differential Privacy (Chapter 1-2) http://www.cis.upenn.edu/~aaroth/Papers/privacybook.pdf
advancedpapers	title url Distance Makes the Types Grow Stronger (ICFP2010) http://dl.acm.org/citation.cfm?id=1863568 title url Differentially Private Bayesian Programming (CCS16) http://dl.acm.org/citation.cfm?id=2978371 title url optional Linear dependent types for differential privacy (POPL'13) http://dl.acm.org/citation.cfm?id=2429113 true title url optional Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (POPL'15) http://dl.acm.org/citation.cfm?id=2677000 true