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.