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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
负责人:谈博
-
依托单位: