SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science
SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science
批准号:
1762299
负责人:
Isil Dillig
金额:
$105.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-06-01 至 2024-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The goal of this project, named DataWizard, is to dramatically simplify the effort that is currently required for data analytics through the use of computer-aided programming. Specifically, this project aims to semi-automate data collection, querying, and wrangling tasks by automatically generating programs from informal specifications. As a result, the DataWizard project will allow domain scientists to focus on more interesting data analytics and visualization tasks, leaving the "grunt work" of data science to computer-aided programming tools. The project will also advance the state-of-the-art in automated program synthesis and natural language processing and apply these techniques to the burgeoning field of big data analytics. From a technical perspective, the goals of the DataWizard project are three-fold. First, this project develops novel programming-by-example and information extraction techniques to address challenges that arise in data collection, including consolidation of different data sources, transformations between hierarchical and relational data, and extraction of information from unstructured data sources. Second, this project explores new techniques for querying data using natural language descriptions. In particular, this project considers data extraction from relational and noSQL databases as well as semi-structured data sources, such as XML and JSON. Third, this project develops novel program synthesis methods for automating data wrangling, cleaning, and imputation tasks that commonly arise in data analytics. Overall, these techniques make it significantly easier for data scientists to gain insights from messy data.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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
DOI:
10.18653/v1/2020.findings-emnlp.54
发表时间:
2020-04
期刊:
ArXiv
影响因子:
--
作者:
[Yasumasa Onoe;Greg Durrett]
通讯作者:
Yasumasa Onoe;Greg Durrett
DOI:
10.1609/aaai.v34i05.6380
发表时间:
2019-09
期刊:
影响因子:
--
作者:
[Yasumasa Onoe;Greg Durrett]
通讯作者:
Yasumasa Onoe;Greg Durrett
DOI:
10.18653/v1/2021.acl-long.160
发表时间:
2021-01
期刊:
影响因子:
--
作者:
[Yasumasa Onoe;Michael Boratko;Greg Durrett]
通讯作者:
Yasumasa Onoe;Michael Boratko;Greg Durrett
FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations
-
批准号:2319471
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2023
-
负责人:Isil Dillig
-
依托单位:
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema Changes
-
批准号:2210831
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2022
-
负责人:Isil Dillig
-
依托单位:
Expeditions: Collaborative Research: Understanding the World Through Code
-
批准号:1918889
-
项目类别:Continuing Grant
-
资助金额:$77.68万
-
财政年份:2020
-
负责人:Isil Dillig
-
依托单位:
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning
-
批准号:1901376
-
项目类别:Standard Grant
-
资助金额:$49.47万
-
财政年份:2019
-
负责人:Isil Dillig
-
依托单位:
SaTC: CORE: Medium: Collaborative: Effective Formal Reasoning for Mobile Malware
-
批准号:1908304
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2019
-
负责人:Isil Dillig
-
依托单位:
I-Corps: An Interactive Query Interface
-
批准号:1831005
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2018
-
负责人:Isil Dillig
-
依托单位:
SHF: Small: Scalable Program Synthesis using Counterexample-Guided Abstraction Refinement
-
批准号:1811865
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2018
-
负责人:Isil Dillig
-
依托单位:
SHF:Small:Analysis, Repair, and Synthesis for k-Safety
-
批准号:1712067
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2017
-
负责人:Isil Dillig
-
依托单位:
CAREER: UNITY: Bridging the Gap Between Program Analyzers and Deductive Verifiers via Abductive Reasoning
-
批准号:1453386
-
项目类别:Continuing Grant
-
资助金额:$58.84万
-
财政年份:2015
-
负责人:Isil Dillig
-
依托单位:
海外基金