Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy

Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song. Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Authors

Joseph P. Near

This author has not been identified. Look up 'Joseph P. Near' in Google

David Darais

This author has not been identified. Look up 'David Darais' in Google

Chike Abuah

This author has not been identified. Look up 'Chike Abuah' in Google

Tim Stevens

This author has not been identified. Look up 'Tim Stevens' in Google

Pranav Gaddamadugu

This author has not been identified. Look up 'Pranav Gaddamadugu' in Google

Lun Wang

This author has not been identified. Look up 'Lun Wang' in Google

Neel Somani

This author has not been identified. Look up 'Neel Somani' in Google

Mu Zhang

This author has not been identified. Look up 'Mu Zhang' in Google

Nikhil Sharma

This author has not been identified. Look up 'Nikhil Sharma' in Google

Alex Shan

This author has not been identified. Look up 'Alex Shan' in Google

Dawn Song

This author has not been identified. Look up 'Dawn Song' in Google