FMitF: Track II: Programming by Demonstration for the Browser with Applications in Data Science
FMitF: Track II: Programming by Demonstration for the Browser with Applications in Data Science
批准号:
1918027
负责人:
Rastislav Bodik
金额:
$9.89万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2020-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Future work will revolve around consuming data, deriving insights, and making data-informed decisions. While data analysis and machine learning can be significantly automated, an irreducibly human part of the data-driven future is data collection and curation. Currently, data collection is done either by experienced engineers or through manual data collection. Programming by Demonstration (PBD) has recently allowed non-experts to author automatic web-scraping programs, which collect data efficiently and reliably. This project will extend a previously developed system for browser-based PBD and evaluate it in a large-scale deployment. The scale will be large both in terms of users and the size of data that will be collected. The system development part of the project will focus on two parts: (1) Implementing and deploying algorithms for large-scale deployment of the Helena browser-based PBD system. This work will include parallelization of synthesized web-scraper programs, making programs robust to failures of web sites and the network, and adapting the parallel execution to optimize for either the data collection rate or the cost of datacenter time. (2) Developing a next-generation user interface that will include support for debugging the synthesized programs. The target audience of these tools will be teams of data-driven social scientists with whom the PI team has had long-term collaborations. These teams have been using the Helena PBD system for collecting datasets that improve strategies of non-profits and influence government policies. The evaluation will investigate both the system performance and the usability of the novel and critical parts of the Helena ecosystem.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
-
批准号:2219864
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Rastislav Bodik
-
依托单位:
FMitF: Track I: End-User Programming with Synthesis-Guided Interaction Models
-
批准号:2122950
-
项目类别:Standard Grant
-
资助金额:$74.97万
-
财政年份:2021
-
负责人:Rastislav Bodik
-
依托单位:
RAPID: Collecting Reliable COVID-19 Datasets in Crisis Conditions
-
批准号:2029457
-
项目类别:Standard Grant
-
资助金额:$7.0万
-
财政年份:2020
-
负责人:Rastislav Bodik
-
依托单位:
Convergence Accelerator Phase I (RAISE): Linking the Open Knowledge Network to the Web with End-User Programming
-
批准号:1936731
-
项目类别:Standard Grant
-
资助金额:$99.47万
-
财政年份:2019
-
负责人:Rastislav Bodik
-
依托单位:
CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis
-
批准号:1723352
-
项目类别:Standard Grant
-
资助金额:$85.0万
-
财政年份:2017
-
负责人:Rastislav Bodik
-
依托单位:
SI2-SSE: Algorithms and Tools for Data-Driven Executable Biology
-
批准号:1535191
-
项目类别:Standard Grant
-
资助金额:$49.98万
-
财政年份:2015
-
负责人:Rastislav Bodik
-
依托单位:
Student travel support for POPL 2016
-
批准号:1549324
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2015
-
负责人:Rastislav Bodik
-
依托单位:
Student travel support for POPL 2016
-
批准号:1625220
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2015
-
负责人:Rastislav Bodik
-
依托单位:
SHF: Small: Programming Abstractions for Algorithmic Software Synthesis
-
批准号:0916351
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2009
-
负责人:Rastislav Bodik
-
依托单位:
SoD-TEAM: Programming by Sketching
-
批准号:0613997
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Rastislav Bodik
-
依托单位:
CT-ISG: Implementing Provably Correct High-Performance Ciphers with Sketching
-
批准号:0524815
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2005
-
负责人:Rastislav Bodik
-
依托单位:
CAREER: Scalable Compiler Optimizations for New Software
-
批准号:0243657
-
项目类别:Continuing Grant
-
资助金额:$24.15万
-
财政年份:2002
-
负责人:Rastislav Bodik
-
依托单位:
CAREER: Scalable Compiler Optimizations for New Software
-
批准号:0093275
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2001
-
负责人:Rastislav Bodik
-
依托单位:
海外基金