CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
批准号:
1925644
负责人:
Jan Vitek
金额:
$179.97万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2024-09-30
中文摘要
数据分析软件系统是科学结构中不可或缺的一部分。获取、处理和分析复杂数据的能力是高能物理、天文学、化学和生物学等学科的核心。虽然科学家可以利用多年来优化和改进的工具库,但现代科学数据集的快速发展特征带来了重大的新挑战。新的分析依赖于交互式计算机编程语言,这些语言是开源的,允许快速、交互式的数据探索。该项目旨在加强和增强R软件基础设施。R是拥有最大的免费和可重用数据分析软件包集合的语言和环境。这个项目将帮助R适应不同领域研究人员不断变化的需求。技术上的增强,体现在新的和更新的软件组件上,将为研究人员提供机会,为社区基础设施做出贡献,并在R作为平台的基础上实现许多新的研究方向。最后,这个项目的参与和推广计划解决了用户和开发者社区的推广问题,并创建了一个未来贡献者的管道。对R基础架构的拟议增强解决了四个关键需求,并促进了研究。在可伸缩性方面,R环境既需要支持向上扩展计算以支持核心外数据,也需要支持使用紧凑数据格式向下扩展计算。在部署方面,R语言需要支持多种部署格式。这个项目设想通过支持将R的一个子集分别编译为本地二进制文件和WebAssembly来解决这一需求,前者将获得性能上的好处,并且可以作为一个库链接,而后者将受益于JavaScript的无处不在,可以在任何浏览器中运行。在健壮性方面,R语言需要工具来验证和验证本机代码。该项目将通过对R语义的详细理解来扩展现有的检查器,并静态地自动检查各种错误,并可选择地为无法静态证明的情况插入运行时检查。在社区拓展方面,需要有一个管道来培训潜在的R开发人员。该项目将制作教育材料,并每年开办两所暑期学校。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Data analytics software systems are integral to the fabric of science. The ability to acquire, process, and analyze complex data is at the core of disciplines that range from high-energy physics, astronomy, chemistry, and biology. While scientists can exploit repositories of tools optimized and refined over the years, significant new challenges are posed by the rapidly evolving characteristics of modern scientific datasets. New analyzes rely on interactive computer programming languages that are open source and that allow rapid, interactive, data exploration. This project aims to strengthen and enhance the R software infrastructure. R is the language and environment with the largest collection of free and reusable data analytics software packages. This project will help R adapt to the evolving needs of researchers in diverse fields. The technical enhancements, embodied by new and updated software components, will open opportunities for researchers to contribute to the community infrastructure and enable a number of new research directions building on R as a platform. Lastly, this project's engagement and outreach plans address both outreach to user- and developer-communities and create a pipeline of future contributors. The proposed enhancements to the R infrastructure address four key needs and are enablers to research. In terms of scalability, the R environment needs support for both scaling up computation to support out-of-core data and scaling down computations with compact data formats. In terms of deployment, the R language needs to support multiple deployment formats. This project envisions addressing this need by supporting separate compilation of a subset of R to both native binaries and to WebAssembly where the former would have the benefit of performance and could be linked as a library, while the latter would benefit from the ubiquity of JavaScript, running in any browser. In terms of robustness, the R language needs tools to verify and validate native code. This project will extend existing checkers with a detailed understanding of R semantics and to automatically check for a variety of errors statically, and optionally insert run-time checks for cases which cannot be proved statically. In terms of community outreach, there is a need for a pipeline for training potential R developers. This project will create educational material and operate two yearly summer schools.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.
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1145/3434327
发表时间:
2021-01
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Aurèle Barrière;Sandrine Blazy;Aurèle Barrière;Sandrine Blazy;O. Flückiger;David Pichardie]
通讯作者:
Aurèle Barrière;Sandrine Blazy;Aurèle Barrière;Sandrine Blazy;O. Flückiger;David Pichardie
DOI:
10.1145/3485502
发表时间:
2021-10
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Aviral Goel;P. Donat-Bouillud;Filip Krikava;C. Kirsch;J. Vitek]
通讯作者:
Aviral Goel;P. Donat-Bouillud;Filip Krikava;C. Kirsch;J. Vitek
Promises are made to be broken: migrating R to strict semantics
承诺是用来打破的:将 R 迁移到严格语义
DOI:
10.1145/3485478
发表时间:
2021
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Goel, Aviral, Ječmen, Jan, Krynski, Sebastián, Flückiger, Olivier, Vitek, Jan]
通讯作者:
Vitek, Jan
Designing types for R, empirically
根据经验设计 R 类型
DOI:
10.1145/3428249
发表时间:
2020
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Turcotte, Alexi, Goel, Aviral, Křikava, Filip, Vitek, Jan]
通讯作者:
Vitek, Jan
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
Julia 用于子类型联合和协变元组的高效算法
DOI:
10.4230/lipics.ecoop.2019.24
发表时间:
2019
期刊:
European Conference on Object-Oriented Programming (ECOOP
影响因子:
--
作者:
[Chung, Benjamin, Zappa Nardelli, Francesco, Vitek, Jan]
通讯作者:
Vitek, Jan
共 9 条
SHF: Small: Predictable Performance for Just-in-Time Compilation
-
批准号:2139612
-
项目类别:Standard Grant
-
资助金额:$49.96万
-
财政年份:2022
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Program Analysis for Data Science
-
批准号:1910850
-
项目类别:Standard Grant
-
资助金额:$49.97万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
-
批准号:1908389
-
项目类别:Standard Grant
-
资助金额:$24.72万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
-
批准号:1723053
-
项目类别:Standard Grant
-
资助金额:$1.75万
-
财政年份:2017
-
负责人:Jan Vitek
-
依托单位:
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
-
批准号:1544542
-
项目类别:Standard Grant
-
资助金额:$109.97万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
ECOOP Travel support
-
批准号:1643041
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Foundations of Just-in-Time Compilation
-
批准号:1618732
-
项目类别:Standard Grant
-
资助金额:$44.98万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
European Conference on Object Oriented Programming
-
批准号:1521864
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2015
-
负责人:Jan Vitek
-
依托单位:
CPS: Medium: Robust Distributed Wind Power Engineering
-
批准号:1523426
-
项目类别:Standard Grant
-
资助金额:$47.44万
-
财政年份:2014
-
负责人:Jan Vitek
-
依托单位:
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
-
批准号:1460683
-
项目类别:Standard Grant
-
资助金额:$13.7万
-
财政年份:2014
-
负责人:Jan Vitek
-
依托单位:
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
-
批准号:1218348
-
项目类别:Standard Grant
-
资助金额:$24.66万
-
财政年份:2012
-
负责人:Jan Vitek
-
依托单位:
SI2: Conceptualization: Dynamic Languages for Scalable Data Analytics
-
批准号:1216853
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2012
-
负责人:Jan Vitek
-
依托单位:
CPS: Medium: Robust Distributed Wind Power Engineering
-
批准号:1136045
-
项目类别:Standard Grant
-
资助金额:$160.0万
-
财政年份:2011
-
负责人:Jan Vitek
-
依托单位:
Third International Summer School on Trends in Concurrency
-
批准号:1024387
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
EAGER: Foundations of Data-Centric Concurrency Control
-
批准号:1048398
-
项目类别:Standard Grant
-
资助金额:$11.0万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
II-New: A Computational Infrastructure for Scalable Transactional Memory Abstractions in Managed Languages
-
批准号:0958465
-
项目类别:Standard Grant
-
资助金额:$55.63万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
VEESC: Virtual Execution Environments for Scientific Computing Workshop
-
批准号:1042905
-
项目类别:Standard Grant
-
资助金额:$4.68万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
SI2-SSE: A Tracing Virtual Machine for Statistical Computing
-
批准号:1047962
-
项目类别:Standard Grant
-
资助金额:$48.91万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Collaborative Research: Specification and Verification of Safety Critical Java
-
批准号:0916310
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2009
-
负责人:Jan Vitek
-
依托单位:
CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure
-
批准号:0811631
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2008
-
负责人:Jan Vitek
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于色氨酸代谢调控ENS途径探讨电针治疗功能性消化不良的作用机制
-
批准号:JCZRLH202500075
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
基于GDNF/PI3K/AKT信号通路探讨白术七物颗粒调控ENS-ICC-SMC网络治 疗气阴两虚型STC的机制研究
-
批准号:2025JJ90111
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:林仁敬
-
依托单位:
水稻EnS150基因调控种子休眠和萌发的分子机制研究
-
批准号:32301853
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:熊敏
-
依托单位:
岩藻糖基化修饰的MSCs介导GDNF正反馈调控肠神经元焦亡及ENPC自噬促进ENS重建
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:
-
依托单位:
生孢梭菌通过“IPA-AHR-mTOR”轴调控ENPC自噬参与糖尿病ENS重建的机制研究
-
批准号:82300616
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:樊梦科
-
依托单位:
MSCs胞外囊泡调控ENPC的SETD2/H3K36轴在糖尿病ENS重建中的作用及机制研究
-
批准号:82100569
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:施慧英
-
依托单位:
基于肠道菌群/5-HT/ENS调控的番茄红素改善肠动力作用机制研究
-
批准号:32101968
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:赵贝塔
-
依托单位:
基于lncRNA Ens6探讨天南星活性成分抑制线粒体分裂促进M2小胶质细胞极化改善缺血性脑卒中的作用机制研究
-
批准号:82003976
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:周科成
-
依托单位:
岩藻糖基化在MSCs介导的ENS重建中的作用及机制研究
-
批准号:81974068
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2019
-
负责人:蔺蓉
-
依托单位:
从肌层巨噬细胞MM和ENS的Cross-talk 探讨广藿香活性成分对IBS-D肠神经稳态的调节机制
-
批准号:81973586
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2019
-
负责人:谈博
-
依托单位: