DPGen: Automated Program Synthesis for Differential Privacy

Mapping Intimacies ◽

10.1145/3460120.3484781 ◽

2021 ◽

Author(s):

Yuxin Wang ◽

Zeyu Ding ◽

Yingtai Xiao ◽

Daniel Kifer ◽

Danfeng Zhang

Keyword(s):

Differential Privacy ◽

Program Synthesis

Download Full-text

Proportional Differential Privacy (PDP): A new Approach for Differentially Private Histogram Release based on Buckets Densities

2020 9th IFIP International Conference on Performance Evaluation and Modeling in Wireless Networks (PEMWN) ◽

10.23919/pemwn50727.2020.9293079 ◽

2020 ◽

Author(s):

Mohammed AISSAOUI

Keyword(s):

Differential Privacy ◽

Download Full-text

Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning

10.21236/ada363524 ◽

1999 ◽

Author(s):

Ute Schmid

Keyword(s):

Program Synthesis

Download Full-text

Differential Privacy for Distributed Consensus with Partial Observations

2020 IEEE 16th International Conference on Control & Automation (ICCA) ◽

10.1109/icca51439.2020.9264381 ◽

2020 ◽

Author(s):

Ye Pu

Keyword(s):

Differential Privacy ◽

Distributed Consensus ◽

Partial Observations

Download Full-text

LightDP: towards automating differential privacy proofs

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009884 ◽

2017 ◽

Author(s):

Danfeng Zhang ◽

Daniel Kifer

Keyword(s):

Differential Privacy

Download Full-text

On Sparse Linear Regression in the Local Differential Privacy Model

IEEE Transactions on Information Theory ◽

10.1109/tit.2020.3040406 ◽

2020 ◽

pp. 1-1

Author(s):

Di Wang ◽

Jinhui Xu

Keyword(s):

Linear Regression ◽

Differential Privacy ◽

Download Full-text

Super-convergence and Differential Privacy: Training faster with better privacy guarantees

2021 55th Annual Conference on Information Sciences and Systems (CISS) ◽

10.1109/ciss50987.2021.9400274 ◽

2021 ◽

Author(s):

Osvald Frisk ◽

Friedrich Dormann ◽

Christian Marius Lillelund ◽

Christian Fischer Pedersen

Keyword(s):

Differential Privacy ◽

Super Convergence

Download Full-text

Accelerating search-based program synthesis using learned probabilistic models

ACM SIGPLAN Notices ◽

10.1145/3296979.3192410 ◽

2018 ◽

Vol 53 (4) ◽

pp. 436-449 ◽

Author(s):

Woosuk Lee ◽

Kihong Heo ◽

Rajeev Alur ◽

Mayur Naik

Keyword(s):

Probabilistic Models ◽

Program Synthesis

Download Full-text

Intermittently differential privacy in smart meters via rechargeable batteries

Electric Power Systems Research ◽

10.1016/j.epsr.2021.107410 ◽

2021 ◽

Vol 199 ◽

pp. 107410

Author(s):

Xing Liu ◽

Huiwei Wang ◽

Guo Chen ◽

Bo Zhou ◽

Aqeel ur Rehman

Keyword(s):

Differential Privacy ◽

Rechargeable Batteries ◽

Download Full-text

Reconciling enumerative and deductive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386027 ◽

2020 ◽

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Local Differential Privacy for Multi-Agent Distributed Optimal Power Flow

2020 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe) ◽

10.1109/isgt-europe47291.2020.9248851 ◽

2020 ◽

Author(s):

Roel Dobbe ◽

Ye Pu ◽

Jingge Zhu ◽

Kannan Ramchandran ◽

Claire Tomlin

Keyword(s):

Optimal Power Flow ◽

Differential Privacy ◽

Optimal Power ◽

Multi Agent ◽

Distributed Optimal Power Flow

Download Full-text