SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
批准号:
1718220
负责人:
Marco Gaboardi
金额:
$22.45万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-08-01 至 2020-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
False discovery, or overfitting, occurs when an empirical researcher draws a conclusion based on a dataset that does not generalize to new data. Although there are many statistical methods for preventing false discovery, most are designed for static data analysis, where a dataset is used only once. However, modern data analysis is adaptive, and often the same datasets are reused for multiple studies by multiple researchers. Adaptivity has been identified by statisticians as one cause of non-reproducible research, and this project?s broader significance and importance will be to begin addressing this problem. Specifically, this project will build a prototype programming tool for preventing false discovery arising from adaptive data analysis. The intellectual merits are to incorporate and extend recent theoretical advances on this problem into a programming framework that allows researchers to analyze datasets adaptively with robust guarantees that overfitting will not occur.The project builds on a surprising recent connection between differential privacy and false discovery, a robust statistical guarantee that emerged recently to protect the privacy of sensitive data. This line of work shows that when data is analyzed in a differentially private way, then false discoveries cannot occur. Differential privacy is also programmable, and allows complex differentially private algorithms to be built from simple components, so it is an ideal programming framework for adaptive data analysis. This project is extending existing differentially private programming frameworks to adaptive data analysis. The PIs are also developing new algorithmic and programming languages tools for adaptive data analysis, and incorporating them into the first prototype system for this application.
期刊论文(14)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Relational cost analysis for functional-imperative programs
功能命令式程序的关系成本分析
DOI:
10.1145/3341696
发表时间:
2019
期刊:
Proceedings of the ACM on programming languages
影响因子:
--
作者:
[Qu, Weihao, Gaboardi, Marco, Garg, Deepak]
通讯作者:
Garg, Deepak
DOI:
--
发表时间:
2021-06
期刊:
ArXiv
影响因子:
--
作者:
[Gavin Brown;Marco Gaboardi;Adam D. Smith;Jonathan Ullman;Lydia Zakynthinou]
通讯作者:
Gavin Brown;Marco Gaboardi;Adam D. Smith;Jonathan Ullman;Lydia Zakynthinou
DOI:
--
发表时间:
2019-10
期刊:
影响因子:
--
作者:
[Yunus Esencayi;Marco Gaboardi;Shi Li;Di Wang]
通讯作者:
Yunus Esencayi;Marco Gaboardi;Shi Li;Di Wang
DOI:
--
发表时间:
2018-07
期刊:
ArXiv
影响因子:
--
作者:
[Borja Balle;G. Barthe;Marco Gaboardi]
通讯作者:
Borja Balle;G. Barthe;Marco Gaboardi
A Programming Language for Data Privacy with Accuracy Estimations
具有准确性估计的数据隐私编程语言
DOI:
10.1145/3452096
发表时间:
2021
期刊:
ACM Transactions on Programming Languages and Systems
影响因子:
1.3
作者:
[Lobo-Vesga, Elisabet, Russo, Alejandro, Gaboardi, Marco]
通讯作者:
Gaboardi, Marco
共 12 条
Collaborative Research: SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic
-
批准号:2314324
-
项目类别:Continuing Grant
-
资助金额:$31.86万
-
财政年份:2023
-
负责人:Marco Gaboardi
-
依托单位:
Collaborative Research: DASS: Co-design of law and computer science for privacy in sociotechnical software systems
-
批准号:2217679
-
项目类别:Standard Grant
-
资助金额:$24.97万
-
财政年份:2022
-
负责人:Marco Gaboardi
-
依托单位:
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
-
批准号:2040215
-
项目类别:Continuing Grant
-
资助金额:$9.57万
-
财政年份:2020
-
负责人:Marco Gaboardi
-
依托单位:
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
-
批准号:2040249
-
项目类别:Continuing Grant
-
资助金额:$48.83万
-
财政年份:2020
-
负责人:Marco Gaboardi
-
依托单位:
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
-
批准号:2040222
-
项目类别:Standard Grant
-
资助金额:$15.27万
-
财政年份:2020
-
负责人:Marco Gaboardi
-
依托单位:
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
-
批准号:1845803
-
项目类别:Continuing Grant
-
资助金额:$49.66万
-
财政年份:2019
-
负责人:Marco Gaboardi
-
依托单位:
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
-
批准号:1565365
-
项目类别:Continuing Grant
-
资助金额:$52.79万
-
财政年份:2016
-
负责人:Marco Gaboardi
-
依托单位:
PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference
-
批准号:EP/M022358/1
-
项目类别:Research Grant
-
资助金额:$11.72万
-
财政年份:2015
-
负责人:Marco Gaboardi
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: