On the public citation graph

Synthesizing differentially private programs

https://doi.org/10.1145/3341698
0 signed · 50 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/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-28914-9_19openalex-snapshot
Iterative Constructions and Private Data Release
inferredcites →https://doi.org/10.1016/s0898-1221(96)90463-0openalex-snapshot
Advances in neural information processing systems 7
inferredcites →https://doi.org/10.1109/ase.2013.6693082openalex-snapshot
Automatically synthesizing SQL queries from input-output examples
inferredcites →https://doi.org/10.1109/focs.2007.41openalex-snapshot
Towards Sharp Inapproximability For Any 2-CSP
inferredcites →https://doi.org/10.1145/1375581.1375602openalex-snapshot
Liquid types
inferredcites →https://doi.org/10.1145/1559845.1559850openalex-snapshot
Privacy integrated queries
inferredcites →https://doi.org/10.1145/2240236.2240260openalex-snapshot
Spreadsheet data manipulation using examples
inferredcites →https://doi.org/10.1145/2429069.2429113openalex-snapshot
Linear dependent types for differential privacy
inferredcites →https://doi.org/10.1145/2594291.2594333openalex-snapshot
FlashExtract
inferredcites →https://doi.org/10.1145/2737924.2737977openalex-snapshot
Synthesizing data structure transformations from input-output examples
inferredcites →https://doi.org/10.1145/2737924.2738007openalex-snapshot
Type-and-example-directed program synthesis
inferredcites →https://doi.org/10.1145/2746325.2746335openalex-snapshot
Really Natural Linear Indexed Type Checking
inferredcites →https://doi.org/10.1145/2783258.2783311openalex-snapshot
Certifying and Removing Disparate Impact
inferredcites →https://doi.org/10.1145/2814270.2814310openalex-snapshot
FlashMeta: a framework for inductive program synthesis
inferredcites →https://doi.org/10.1145/2837614.2837629openalex-snapshot
Example-directed synthesis: a type-theoretic interpretation
inferredcites →https://doi.org/10.1145/2908080.2908093openalex-snapshot
Program synthesis from polymorphic refinement types
inferredcites →https://doi.org/10.1145/2908080.2908102openalex-snapshot
MapReduce program synthesis
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/3062341.3062351openalex-snapshot
Component-based synthesis of table consolidation and transformation tasks from examples
inferredcites →https://doi.org/10.1145/3062341.3062365openalex-snapshot
Synthesizing highly expressive SQL queries from input-output examples
inferredcites →https://doi.org/10.1145/3133886openalex-snapshot
Synthesis of data completion scripts using finite tree automata
inferredcites →https://doi.org/10.1145/3133887openalex-snapshot
SQLizer: query synthesis from natural language
inferredcites →https://doi.org/10.1145/3133956.3134097openalex-snapshot
Use Privacy in Data-Driven Systems
inferredcites →https://doi.org/10.1145/3158089openalex-snapshot
Synthesizing bijective lenses
inferredcites →https://doi.org/10.1145/3158146openalex-snapshot
Synthesizing coupling proofs of differential privacy
inferredcites →https://doi.org/10.1145/3187009.3177733openalex-snapshot
Towards practical differential privacy for SQL queries
inferredcites →https://doi.org/10.1145/3290352openalex-snapshot
Trace abstraction modulo probability
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.1602.05681openalex-snapshot
A program logic for union bounds
inferredcites →https://doi.org/10.48550/arxiv.1709.05361openalex-snapshot
Synthesizing Coupling Proofs of Differential Privacy
inferredcites →https://doi.org/10.5555/1855711.1855731openalex-snapshot
Airavat: security and privacy for MapReduce
inferredcites →https://doi.org/10.5555/1855741.1855742openalex-snapshot
DryadLINQ: a system for general-purpose distributed data-parallel computing using a high-level language
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-44914-8_6openalex-snapshot
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
inferred← citeshttps://doi.org/10.1007/978-3-030-68446-4_8openalex-snapshot
Resourceful Program Synthesis from Graded Linear Types
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_4openalex-snapshot
Program Synthesis from Graded Types
inferred← citeshttps://doi.org/10.1073/pnas.2220558120openalex-snapshot
An in-depth examination of requirements for disclosure risk assessment
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/reacs67479.2025.11413390openalex-snapshot
The Alchemy of Assurance: Foundational Logics in Security and Privacy
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00060openalex-snapshot
Learning Differentially Private Mechanisms
inferred← citeshttps://doi.org/10.1145/3460120.3484781openalex-snapshot
DPGen: Automated Program Synthesis for Differential Privacy
inferred← citeshttps://doi.org/10.29007/37lfopenalex-snapshot
Parameter Synthesis for Probabilistic Hyperproperties
inferred← citeshttps://doi.org/10.3390/electronics10050589openalex-snapshot
Scalable, High-Performance, and Generalized Subtree Data Anonymization Approach for Apache Spark
inferred← citeshttps://doi.org/10.48550/arxiv.2001.10723openalex-snapshot
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
inferred← citeshttps://doi.org/10.7759/s44389-025-05516-xopenalex-snapshot
The Role of Interactive Program Synthesis in the Future of Software Development
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.