FMitF: Track II: Programming by Demonstration for the Browser with Applications in Data Science
FMITF:轨道 II:通过数据科学应用程序对浏览器进行演示编程
基本信息
- 批准号:1918027
- 负责人:
- 金额:$ 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.
未来的工作将围绕消费数据、获得见解和做出基于数据的决策。虽然数据分析和机器学习可以显著自动化,但数据驱动的未来中不可减少的人类部分是数据收集和管理。目前,数据收集由经验丰富的工程师或通过手动数据收集完成。 演示编程(PBD)最近允许非专家编写自动Web抓取程序,这些程序可以有效可靠地收集数据。 该项目将扩展先前开发的基于浏览器的PBD系统,并在大规模部署中对其进行评估。 从用户和收集的数据量来看,规模都将很大。 本项目的系统开发部分将集中在两个部分:(1)实现和部署基于Helena浏览器的PBD系统的大规模部署算法。这项工作将包括合成的web scraper程序的并行化,使程序对网站和网络的故障具有鲁棒性,并调整并行执行以优化数据收集速率或数据中心时间成本。(2)开发下一代用户界面,包括对调试合成程序的支持。 这些工具的目标受众将是PI团队长期合作的数据驱动的社会科学家团队。 这些团队一直在使用海伦娜PBD系统收集数据集,以改善非营利组织的战略并影响政府政策。 评估将调查系统性能和海伦娜生态系统的新颖和关键部分的可用性。该奖项反映了NSF的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Rastislav Bodik其他文献
Rastislav Bodik的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Rastislav Bodik', 18)}}的其他基金
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究:FMitF:第一轨:通过语言设计和综合进行 CAD 系统的最终用户编程
- 批准号:
2219864 - 财政年份:2022
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
FMitF: Track I: End-User Programming with Synthesis-Guided Interaction Models
FMITF:第一轨:使用综合引导交互模型的最终用户编程
- 批准号:
2122950 - 财政年份:2021
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
RAPID: Collecting Reliable COVID-19 Datasets in Crisis Conditions
RAPID:在危机情况下收集可靠的 COVID-19 数据集
- 批准号:
2029457 - 财政年份:2020
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Convergence Accelerator Phase I (RAISE): Linking the Open Knowledge Network to the Web with End-User Programming
融合加速器第一阶段 (RAISE):通过最终用户编程将开放知识网络链接到网络
- 批准号:
1936731 - 财政年份:2019
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis
CAPA:合作研究:ARION:通过 DSL、近似和综合来驯服异质性
- 批准号:
1723352 - 财政年份:2017
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
SI2-SSE: Algorithms and Tools for Data-Driven Executable Biology
SI2-SSE:数据驱动的可执行生物学的算法和工具
- 批准号:
1535191 - 财政年份:2015
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Student travel support for POPL 2016
POPL 2016 学生旅行支持
- 批准号:
1549324 - 财政年份:2015
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Student travel support for POPL 2016
POPL 2016 学生旅行支持
- 批准号:
1625220 - 财政年份:2015
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
SHF: Small: Programming Abstractions for Algorithmic Software Synthesis
SHF:小型:算法软件综合的编程抽象
- 批准号:
0916351 - 财政年份:2009
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
SoD-TEAM: Programming by Sketching
SoD-TEAM:通过草图进行编程
- 批准号:
0613997 - 财政年份:2006
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
相似海外基金
FMitF: Track II: Educating Developers about Ownership in Rust
FMITF:轨道 II:对开发人员进行 Rust 所有权教育
- 批准号:
2319014 - 财政年份:2023
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
FMitF: Track II: SMT-Based Reachability Analyzer of NGAC Policies
FMitF:轨道 II:NGAC 策略的基于 SMT 的可达性分析器
- 批准号:
2318891 - 财政年份:2023
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
合作研究:FMitF:轨道 II:运行时验证的跨语言支持
- 批准号:
2319473 - 财政年份:2023
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
FMitF: Track II: Bringing Verification-Aware Languages and Federated Authentication to Enable Secure Computing for Scientific Communities
FMITF:轨道 II:引入验证感知语言和联合身份验证,为科学界提供安全计算
- 批准号:
2319190 - 财政年份:2023
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
FMitF: Track II: Cybolic: a symbolic execution technique and tool for analyzing CMake build scripts
FMITF:轨道 II:Cybolic:用于分析 CMake 构建脚本的符号执行技术和工具
- 批准号:
2319131 - 财政年份:2023
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
合作研究:FMitF:轨道 II:运行时验证的跨语言支持
- 批准号:
2319472 - 财政年份:2023
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track II: Enhancing the Neural Network Verification (NNV) Tool for Industrial Applications
合作研究:FMitF:轨道 II:增强工业应用的神经网络验证 (NNV) 工具
- 批准号:
2220418 - 财政年份:2022
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track II: Enhancing the Neural Network Verification (NNV) Tool for Industrial Applications
合作研究:FMitF:轨道 II:增强工业应用的神经网络验证 (NNV) 工具
- 批准号:
2220426 - 财政年份:2022
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
FMitF: Track II: Usability, Scalability, and Deployment Improvement of VerioT
FMITF:轨道 II:VerioT 的可用性、可扩展性和部署改进
- 批准号:
2124225 - 财政年份:2021
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant
FmitF: Track II: KeenEye: Enhancing Scenario Exploration
FmitF:轨道 II:KeenEye:增强场景探索
- 批准号:
2123341 - 财政年份:2021
- 资助金额:
$ 9.89万 - 项目类别:
Standard Grant