Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema Changes

协作研究:SHF:核心:媒介:模式更改的程序综合

基本信息

项目摘要

Many programs interact with databases and make assumptions about the underlying data schema. In reality, however, the schema often needs to change (e.g., for performance reasons). As a result, both the underlying data and program code need to be updated to reflect this schema change. This poses significant challenges to developers and is considered to be a tedious and time-consuming aspect of program evolution. This project aims to simplify the schema modification process through the use of program synthesis. The goal of this proposal is to develop synthesis techniques to help developers with different aspects of changing data schemas. In particular, the project will develop new techniques for migrating data between different formats as well as techniques for updating the code that interacts with a modified schema. The project’s novelties are a suite of novel program synthesis techniques that can be used to automatically migrate the data to the desired format and modify any existing code to be consistent with the new schema. The project's impacts are to significantly reduce the manual software engineering effort involved in the schema modification process. The project is introducing undergraduate students from underrepresented groups to computer science research via research internships through programs at both institutions and mentoring workshops at formal methods and programming languages conferences.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
许多程序与数据库交互,并对底层数据模式做出假设。然而,在现实中,模式经常需要改变(例如,出于性能原因)。因此,底层数据和程序代码都需要更新,以反映这种模式变化。这给开发人员带来了巨大的挑战,并且被认为是程序演化的一个繁琐和耗时的方面。这个项目旨在通过使用程序合成来简化模式修改过程。该提案的目标是开发合成技术,以帮助开发人员处理更改数据模式的不同方面。特别是,该项目将开发用于在不同格式之间迁移数据的新技术,以及用于更新与修改后的模式交互的代码的技术。 该项目的新颖之处是一套新颖的程序合成技术,可用于自动将数据迁移到所需的格式,并修改任何现有的代码,使其与新的模式保持一致。该项目的影响是显着减少手动软件工程的工作涉及到模式修改过程。该项目通过在两个机构的研究实习项目以及在正式方法和编程语言会议上的指导研讨会,将来自代表性不足群体的本科生引入计算机科学研究。该奖项反映了NSF的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
SlabCity: Whole-Query Optimization using Program Synthesis
  • DOI:
    10.14778/3611479.3611515
  • 发表时间:
    2023-07
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Rui Dong;Jie Liu-;Yuxuan Zhu;Cong Yan;Barzan Mozafari;Xinyu Wang
  • 通讯作者:
    Rui Dong;Jie Liu-;Yuxuan Zhu;Cong Yan;Barzan Mozafari;Xinyu Wang
{{ 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 }}

Xinyu Wang其他文献

Reliable N-type Mg3.2Sb1.5Bi0.49Te0.01/304 stainless steel junction for thermoelectric applications
适用于热电应用的可靠 N 型 Mg3.2Sb1.5Bi0.49Te0.01/304 不锈钢结
  • DOI:
    10.1016/j.actamat.2020.07.058
  • 发表时间:
    2020-10
  • 期刊:
  • 影响因子:
    9.4
  • 作者:
    Li Yin;Chen Chen;Fan Zhang;Xiaofang Li;Fengxian Bai;Zongwei Zhang;Xinyu Wang;Jun Mao;Feng Cao;Xiaojia Chen;Jiehe Sui;Xingjun Liu;Qian Zhang
  • 通讯作者:
    Qian Zhang
Left-Dominant Arrhythmogenic Cardiomyopathy: A Rare and Frequently Misdiagnosed Cardiomyopathy Associated with Heart Failure
左侧显性致心律失常性心肌病:一种罕见且经常误诊的与心力衰竭相关的心肌病
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    C. Cui;Xinyu Wang;Shihua Zhao
  • 通讯作者:
    Shihua Zhao
Transportation Cost-Information Inequality for Stochastic Wave Equation
随机波方程的运输成本信息不等式
  • DOI:
    10.1007/s10440-019-00292-y
  • 发表时间:
    2019-10
  • 期刊:
  • 影响因子:
    1.6
  • 作者:
    Yumeng Li;Xinyu Wang
  • 通讯作者:
    Xinyu Wang
Thermal Boundary Resistance at Graphene-Pentacene Interface Explored by A Data-Intensive Approach
通过数据密集型方法探索石墨烯-并五苯界面的热边界电阻
  • DOI:
    10.1088/1361-6528/abe749
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    3.5
  • 作者:
    Xinyu Wang;Hongzhao Fan;Dan Han;Yang Hong;Jingchao Zhang
  • 通讯作者:
    Jingchao Zhang
Set-Aligning Fine-tuning Framework for Document-level Event Temporal Graph Generation
用于文档级事件时间图生成的集合对齐微调框架
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Igor Melnyk;Pierre L. Dognin;Payel Das;Qiang Ning;Sanjay Subramanian;Dan Roth;Ben Zhou;Zhili Feng;Haoruo Peng;Colin Raffel;Noam M. Shazeer;A. Roberts;K. Lee;Sharan Narang;Michael Matena;Yanqi;Wei Zhou;J. LiPeter;Liu;Xinyu Wang;Lin Gui;Yulan He. 2023;Document
  • 通讯作者:
    Document

Xinyu Wang的其他文献

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

{{ truncateString('Xinyu Wang', 18)}}的其他基金

CAREER: Interactive Program Synthesis for Web Automation
职业:Web 自动化的交互式程序综合
  • 批准号:
    2236233
  • 财政年份:
    2023
  • 资助金额:
    $ 45万
  • 项目类别:
    Continuing Grant
Collaborative Research: FMitF: Track I: Usable Synthesis-based End-User Programming with Rich Interaction Modalities
合作研究:FMitF:第一轨:具有丰富交互方式的可用的基于综合的最终用户编程
  • 批准号:
    2123654
  • 财政年份:
    2021
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Cell Research
  • 批准号:
    31224802
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research
  • 批准号:
    31024804
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research (细胞研究)
  • 批准号:
    30824808
  • 批准年份:
    2008
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
  • 批准号:
    10774081
  • 批准年份:
    2007
  • 资助金额:
    45.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331302
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331301
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
  • 批准号:
    2403134
  • 财政年份:
    2024
  • 资助金额:
    $ 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
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
  • 批准号:
    2402804
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
  • 批准号:
    2403408
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source Code
合作研究:SHF:媒介:实现源代码神经语言模型的可理解性和可解释性
  • 批准号:
    2423813
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
  • 批准号:
    2402806
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
  • 批准号:
    2403135
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
  • 批准号:
    2403409
  • 财政年份:
    2024
  • 资助金额:
    $ 45万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了