SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis

SHF:小型:协作研究:自适应数据分析的编程工具

基本信息

  • 批准号:
    1718220
  • 负责人:
  • 金额:
    $ 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.
当实证研究人员基于未推广到新数据的数据集得出结论时,就会发生错误发现或过度拟合。 虽然有许多统计方法可以防止错误发现,但大多数都是针对静态数据分析而设计的,其中数据集只使用一次。 然而,现代数据分析是自适应的,并且通常相同的数据集被多个研究人员重复用于多个研究。 适应性已被统计学家确定为不可重复研究的原因之一,而这个项目?更广泛的意义和重要性将是开始解决这个问题。 具体而言,本项目将建立一个原型编程工具,用于防止自适应数据分析中出现的错误发现。 该项目的智力优势在于将该问题的最新理论进展纳入并扩展到一个编程框架中,该框架允许研究人员自适应地分析数据集,并保证不会发生过拟合。该项目建立在差分隐私和错误发现之间令人惊讶的最新联系之上,这是一种最近出现的强大的统计保证,用于保护敏感数据的隐私。这一系列的工作表明,当数据以不同的私密方式进行分析时,就不会出现错误的发现。差分隐私也是可编程的,并且允许从简单的组件构建复杂的差分隐私算法,因此它是自适应数据分析的理想编程框架。 该项目正在将现有的差异化私人编程框架扩展到适应性数据分析。 PI还在开发用于自适应数据分析的新算法和编程语言工具,并将其纳入该应用程序的第一个原型系统。

项目成果

期刊论文数量(14)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Relational cost analysis for functional-imperative programs
功能命令式程序的关系成本分析
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation
  • DOI:
  • 发表时间:
    2021-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Gavin Brown;Marco Gaboardi;Adam D. Smith;Jonathan Ullman;Lydia Zakynthinou
  • 通讯作者:
    Gavin Brown;Marco Gaboardi;Adam D. Smith;Jonathan Ullman;Lydia Zakynthinou
Facility Location Problem in Differential Privacy Model Revisited
  • DOI:
  • 发表时间:
    2019-10
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yunus Esencayi;Marco Gaboardi;Shi Li;Di Wang
  • 通讯作者:
    Yunus Esencayi;Marco Gaboardi;Shi Li;Di Wang
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
  • DOI:
  • 发表时间:
    2018-07
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Borja Balle;G. Barthe;Marco Gaboardi
  • 通讯作者:
    Borja Balle;G. Barthe;Marco Gaboardi
A Programming Language for Data Privacy with Accuracy Estimations
具有准确性估计的数据隐私编程语言
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Marco Gaboardi其他文献

A Core Quantitative Coeffect Calculus
核心定量协效应微积分
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aloïs Brunel;Marco Gaboardi;Damiano Mazza;Steve Zdancewic
  • 通讯作者:
    Steve Zdancewic
A Program Logic for Union Bounds
联合界限的程序逻辑
  • DOI:
    10.4230/lipics.icalp.2016.107
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    G. Barthe;Marco Gaboardi;B. Grégoire;Justin Hsu;Pierre
  • 通讯作者:
    Pierre
From light logics to type assignments: a case study
从轻逻辑到类型分配:案例研究
  • DOI:
    10.1093/jigpal/jzp019
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi;S. D. Rocca
  • 通讯作者:
    S. D. Rocca
A An Implicit Characterization of PSPACE
A PSPACE 的隐式表征
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi
  • 通讯作者:
    Marco Gaboardi
Categorical Models for a Semantically Linear Lambda-calculus
语义线性 Lambda 演算的分类模型
  • DOI:
    10.4204/eptcs.22.1
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi;M. Piccolo
  • 通讯作者:
    M. Piccolo

Marco Gaboardi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Marco Gaboardi', 18)}}的其他基金

Collaborative Research: SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic
协作研究:SaTC:核心:小型:分离逻辑中的机械化密码推理
  • 批准号:
    2314324
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Continuing Grant
Collaborative Research: DASS: Co-design of law and computer science for privacy in sociotechnical software systems
合作研究:DASS:社会技术软件系统中隐私保护的法律和计算机科学的共同设计
  • 批准号:
    2217679
  • 财政年份:
    2022
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
TWC:大型:协作:分布式敏感数据计算
  • 批准号:
    2040215
  • 财政年份:
    2020
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Continuing Grant
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
职业:FormalDP:经过正式验证、私密、准确、高效的数据分析
  • 批准号:
    2040249
  • 财政年份:
    2020
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Continuing Grant
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF:小型:协作研究:自适应数据分析的编程工具
  • 批准号:
    2040222
  • 财政年份:
    2020
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
职业:FormalDP:经过正式验证、私密、准确、高效的数据分析
  • 批准号:
    1845803
  • 财政年份:
    2019
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Continuing Grant
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
TWC:大型:协作:分布式敏感数据计算
  • 批准号:
    1565365
  • 财政年份:
    2016
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Continuing Grant
PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference
PrivInfer - 用于差异隐私的编程语言:调节和推理
  • 批准号:
    EP/M022358/1
  • 财政年份:
    2015
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Research Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331302
  • 财政年份:
    2024
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331301
  • 财政年份:
    2024
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
  • 批准号:
    2412357
  • 财政年份:
    2024
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Quasi Weightless Neural Networks for Energy-Efficient Machine Learning on the Edge
合作研究:SHF:小型:用于边缘节能机器学习的准失重神经网络
  • 批准号:
    2326895
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Enabling Efficient 3D Perception: An Architecture-Algorithm Co-Design Approach
协作研究:SHF:小型:实现高效的 3D 感知:架构-算法协同设计方法
  • 批准号:
    2334624
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Technical Debt Management in Dynamic and Distributed Systems
合作研究:SHF:小型:动态和分布式系统中的技术债务管理
  • 批准号:
    2232720
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Sub-millisecond Topological Feature Extractor for High-Rate Machine Learning
合作研究:SHF:小型:用于高速机器学习的亚毫秒拓扑特征提取器
  • 批准号:
    2234921
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Reimagining Communication Bottlenecks in GNN Acceleration through Collaborative Locality Enhancement and Compression Co-Design
协作研究:SHF:小型:通过协作局部性增强和压缩协同设计重新想象 GNN 加速中的通信瓶颈
  • 批准号:
    2326494
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Quasi Weightless Neural Networks for Energy-Efficient Machine Learning on the Edge
合作研究:SHF:小型:用于边缘节能机器学习的准失重神经网络
  • 批准号:
    2326894
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Sub-millisecond Topological Feature Extractor for High-Rate Machine Learning
合作研究:SHF:小型:用于高速机器学习的亚毫秒拓扑特征提取器
  • 批准号:
    2234920
  • 财政年份:
    2023
  • 资助金额:
    $ 22.45万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了