Stealth Announces New Result in Differential Privacy Language at OOPSLA ’19

As part of the PANTHEON project, team members David Darais (UVM), Joseph P. Near (UVM), and collaborators presented their findings on the develop of a new programming language to express differentially private computations in the Proceedings of the ACM on Programming Languages. In this work they present “Duet: an expressive higher-order language, linear type system and tool for automatically verifying differential privacy of general-purpose higher-order programs”. A link to the corresponding publication can be found here.