On the public citation graph

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

https://doi.org/10.1145/3360598
0 signed · 74 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11681878_14openalex-snapshot
Calibrating Noise to Sensitivity in Private Data Analysis
inferredcites →https://doi.org/10.1007/11787006_1openalex-snapshot
Differential Privacy
inferredcites →https://doi.org/10.1007/978-3-642-39212-2_8openalex-snapshot
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
inferredcites →https://doi.org/10.1007/978-3-662-53641-4_24openalex-snapshot
Concentrated Differential Privacy: Simplifications, Extensions, and Lower Bounds
inferredcites →https://doi.org/10.1007/s11257-016-9177-7openalex-snapshot
A differential privacy framework for matrix factorization recommender systems
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/j.entcs.2016.09.043openalex-snapshot
Approximate Relational Hoare Logic for Continuous Random Samplings
inferredcites →https://doi.org/10.1109/csf.2016.32openalex-snapshot
A Methodology for Formalizing Model-Inversion Attacks
inferredcites →https://doi.org/10.1109/csf.2017.11openalex-snapshot
Rényi Differential Privacy
inferredcites →https://doi.org/10.1109/focs.2007.41openalex-snapshot
Towards Sharp Inapproximability For Any 2-CSP
inferredcites →https://doi.org/10.1109/focs.2007.66openalex-snapshot
Mechanism Design via Differential Privacy
inferredcites →https://doi.org/10.1109/focs.2014.56openalex-snapshot
Private Empirical Risk Minimization: Efficient Algorithms and Tight Error Bounds
inferredcites →https://doi.org/10.1109/globalsip.2013.6736861openalex-snapshot
Stochastic gradient descent with differentially private updates
inferredcites →https://doi.org/10.1109/icde.2008.4497436openalex-snapshot
Privacy: Theory meets Practice on the Map
inferredcites →https://doi.org/10.1109/lics.2019.8785668openalex-snapshot
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
inferredcites →https://doi.org/10.1109/sp.2017.41openalex-snapshot
Membership Inference Attacks Against Machine Learning Models
inferredcites →https://doi.org/10.1145/1352582.1352591openalex-snapshot
Contextual modal type theory
inferredcites →https://doi.org/10.1145/1536414.1536466openalex-snapshot
Differential privacy and robust statistics
inferredcites →https://doi.org/10.1145/1559845.1559850openalex-snapshot
Privacy integrated queries
inferredcites →https://doi.org/10.1145/1863543.1863568openalex-snapshot
Distance makes the types grow stronger
inferredcites →https://doi.org/10.1145/2213836.2213876openalex-snapshot
GUPT
inferredcites →https://doi.org/10.1145/2429069.2429113openalex-snapshot
Linear dependent types for differential privacy
inferredcites →https://doi.org/10.1145/2492061openalex-snapshot
Probabilistic Relational Reasoning for Differential Privacy
inferredcites →https://doi.org/10.1145/2746325.2746335openalex-snapshot
Really Natural Linear Indexed Type Checking
inferredcites →https://doi.org/10.1145/2810103.2813677openalex-snapshot
Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures
inferredcites →https://doi.org/10.1145/2893582.2893591openalex-snapshot
Programming language techniques for differential privacy
inferredcites →https://doi.org/10.1145/2933575.2934554openalex-snapshot
Proving Differential Privacy via Probabilistic Couplings
inferredcites →https://doi.org/10.1145/2976749.2978318openalex-snapshot
Deep Learning with Differential Privacy
inferredcites →https://doi.org/10.1145/2976749.2978371openalex-snapshot
Differentially Private Bayesian Programming
inferredcites →https://doi.org/10.1145/2976749.2978391openalex-snapshot
Advanced Probabilistic Couplings for Differential Privacy
inferredcites →https://doi.org/10.1145/3009837.3009884openalex-snapshot
LightDP: towards automating differential privacy proofs
inferredcites →https://doi.org/10.1145/3009837.3009890openalex-snapshot
A semantic account of metric preservation
inferredcites →https://doi.org/10.1145/3035918.3035940openalex-snapshot
Utility Cost of Formal Privacy for Releasing National Employer-Employee Statistics
inferredcites →https://doi.org/10.1145/3035918.3064047openalex-snapshot
Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics
inferredcites →https://doi.org/10.1145/3187009.3177733openalex-snapshot
Towards practical differential privacy for SQL queries
inferredcites →https://doi.org/10.1145/3188745.3188946openalex-snapshot
Composable and versatile privacy via truncated CDP
inferredcites →https://doi.org/10.1145/3341697openalex-snapshot
Fuzzi: a three-level logic for differential privacy
inferredcites →https://doi.org/10.14778/2732296.2732300openalex-snapshot
Calibrating data to sensitivity in private data analysis
inferredcites →https://doi.org/10.1561/0400000042openalex-snapshot
The Algorithmic Foundations of Differential Privacy
inferredcites →https://doi.org/10.1561/9781601988195openalex-snapshot
The Algorithmic Foundations of Differential Privacy
inferredcites →https://doi.org/10.48550/arxiv.1909.02481openalex-snapshot
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
inferredcites →https://doi.org/10.5555/1855711.1855731openalex-snapshot
Airavat: security and privacy for MapReduce
inferredcites →https://doi.org/10.5555/2387880.2387895openalex-snapshot
DJoin: differentially private join queries over distributed databases

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-65965-3_33openalex-snapshot
Interpretable Privacy with Optimizable Utility
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_8openalex-snapshot
Coupled Relational Symbolic Execution for Differential Privacy
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_17openalex-snapshot
Bunched Fuzz: Sensitivity for Vector Metrics
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00043openalex-snapshot
DDUO: General-Purpose Dynamic Analysis for Differential Privacy
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919653openalex-snapshot
The Complexity of Verifying Boolean Programs as Differentially Private
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00048openalex-snapshot
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00020openalex-snapshot
Session Types for the Concurrent Composition of Interactive Differential Privacy
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00021openalex-snapshot
Gradual Sensitivity Typing
inferred← citeshttps://doi.org/10.1109/eurosp48549.2020.00041openalex-snapshot
Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00051openalex-snapshot
Let's not Make a Fuzz about it
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00040openalex-snapshot
Trust and Verify: Formally Verified and Upgradable Trusted Functions
inferred← citeshttps://doi.org/10.1109/lics.2019.8785715openalex-snapshot
Probabilistic Relational Reasoning via Metrics
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00086openalex-snapshot
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3568160openalex-snapshot
On Estimating the Strength of Differentially Private Mechanisms in a Black-Box Setting
inferred← citeshttps://doi.org/10.1142/s0218194022500243openalex-snapshot
An Empirical Study on the Impact of Python Dynamic Typing on the Project Maintenance
inferred← citeshttps://doi.org/10.1145/3428233openalex-snapshot
Testing differential privacy with dual interpreters
inferred← citeshttps://doi.org/10.1145/3452096openalex-snapshot
A Programming Language for Data Privacy with Accuracy Estimations
inferred← citeshttps://doi.org/10.1145/3453483.3454050openalex-snapshot
Porcupine: a synthesizing compiler for vectorized homomorphic encryption
inferred← citeshttps://doi.org/10.1145/3458903.3458911openalex-snapshot
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing
inferred← citeshttps://doi.org/10.1145/3477132.3483585openalex-snapshot
Mycelium
inferred← citeshttps://doi.org/10.1145/3547643openalex-snapshot
Safe couplings: coupled refinement types
inferred← citeshttps://doi.org/10.1145/3563313openalex-snapshot
Solo: a lightweight static analysis for differential privacy
inferred← citeshttps://doi.org/10.1145/3589207openalex-snapshot
Contextual Linear Types for Differential Privacy
inferred← citeshttps://doi.org/10.1145/3653328openalex-snapshot
Gradual Differentially Private Programming
inferred← citeshttps://doi.org/10.1145/3689726openalex-snapshot
Sensitivity by Parametricity
inferred← citeshttps://doi.org/10.1145/3729294openalex-snapshot
Verified Foundations for Differential Privacy
inferred← citeshttps://doi.org/10.1145/3747507openalex-snapshot
Robust Dynamic Embedding for Gradual Typing
inferred← citeshttps://doi.org/10.1145/3779208.3785288openalex-snapshot
Auditing Differentially Private Interactive Database Systems
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d1bopenalex-snapshot
Coupled Relational Symbolic Execution for Differential Privacy
inferred← citeshttps://doi.org/10.48550/arxiv.2010.04126openalex-snapshot
Testing Differential Privacy with Dual Interpreters
inferred← citeshttps://doi.org/10.48550/arxiv.2010.10664openalex-snapshot
DuetSGX: Differential Privacy with Secure Hardware
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.