Author of the publication

A unifying type-theory for higher-order (amortized) cost analysis.

, , , and . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds., , and . CoRR, (2019)Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy., , , , and . LICS, page 1-14. IEEE, (2019)A Program Logic for Union Bounds., , , , and . ICALP, volume 55 of LIPIcs, page 107:1-107:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)Empirical Risk Minimization in Non-interactive Local Differential Privacy Revisited., , and . NeurIPS, page 973-982. (2018)Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences., , and . NeurIPS, page 6280-6290. (2018)Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy., , , , , and . POPL, page 55-68. ACM, (2015)Dual Query: Practical Private Query Release for High Dimensional Data., , , , and . J. Priv. Confidentiality, (2016)A Core Quantitative Coeffect Calculus., , , and . ESOP, volume 8410 of Lecture Notes in Computer Science, page 351-370. Springer, (2014)A Theory AB Toolbox., and . SNAPL, volume 32 of LIPIcs, page 129-139. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing., , , and . ICML, volume 48 of JMLR Workshop and Conference Proceedings, page 2111-2120. JMLR.org, (2016)