Collaborative Research: CI-P: NJR: A National Java Resource
合作研究:CI-P:NJR:国家 Java 资源
基本信息
- 批准号:1730697
- 负责人:
- 金额:$ 5.8万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-07-01 至 2018-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This planning project will plan an infrastructure called the National Java Resource (NJR), which will be a collection of (on the order of) 10,000 Java projects that build and run out of the box, and for which popular static and dynamic analysis tools succeed and have cached outputs. The tasks of writing build scripts and otherwise preparing Java projects and tools for the repository will be largely automated. A prototype was developed to serve the DARPA MUSE project, but that project is ending soon and does not have plans to establish the NJR. A large and diverse set of Java-based research projects will be able to use it, providing an experimental platform and benchmarks, and eliminating barriers to performing the research. It is expected that the project will open up new areas of research that have been impeded by the lack of a high-quality corpus of such programs that can be easily compiled, run, and analyzed. The NJR repository has the potential to push forward research on a wide range of Java-based tools, such as bug finders, code repair tools, code synthesizers, software evolution, software repository mining, along with other code analysis tools. The planning activity will involve running workshops at major programming languages conferences and possibly the major software engineering conference, with a goal to engage users and fully understand their requirements. The project will also continue experimenting with how to make downloading, compiling, and running projects less painful, i.e., more automatic, and to improve the success rate of how many projects are amenable to automatic builds, compilation and execution. There is potential for additional communities to benefit if the outreach can be extended to program comprehension, testing, and mining software repositories conferences.
这个规划项目将规划一个名为国家Java资源(NJR)的基础设施,它将是一个由10,000个Java项目组成的集合,这些项目可以构建和运行,流行的静态和动态分析工具可以成功使用,并具有缓存输出。 编写构建脚本以及为存储库准备Java项目和工具的任务将在很大程度上实现自动化。 一个原型是为DARPA MUSE项目开发的,但该项目即将结束,没有建立NJR的计划。 一个大型的、多样化的基于Java的研究项目将能够使用它,提供一个实验平台和基准,并消除执行研究的障碍。预计该项目将开辟新的研究领域,这些领域一直受到缺乏高质量的程序语料库的阻碍,这些程序可以很容易地编译,运行和分析。NJR存储库有潜力推动对广泛的基于Java的工具的研究,例如bug查找器、代码修复工具、代码合成器、软件进化、软件存储库挖掘,以及沿着其他代码分析工具。 规划活动将包括在主要的编程语言会议上举办讲习班,并可能在主要的软件工程会议上举办讲习班,目的是让用户参与并充分了解他们的要求。 该项目还将继续试验如何使下载,编译和运行项目不那么痛苦,即,更自动化,并提高成功率,有多少项目适合自动构建,编译和执行。如果扩展到程序理解、测试和挖掘软件存储库会议,则有可能使更多的社区受益。
项目成果
期刊论文数量(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 }}
Jens Palsberg其他文献
Improving the effectiveness of system verification
- DOI:
10.1007/s10009-007-0060-z - 发表时间:
2007-12-21 - 期刊:
- 影响因子:1.400
- 作者:
Holger Hermanns;Jens Palsberg - 通讯作者:
Jens Palsberg
Trust in the lambda-Calculus
相信 lambda 演算
- DOI:
10.1007/3-540-60360-3_47 - 发表时间:
1995 - 期刊:
- 影响因子:3
- 作者:
Jens Palsberg;Peter Ørbæk - 通讯作者:
Peter Ørbæk
Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
第一届面向对象编程中的别名、限制和所有权国际研讨会 (IWACO) 论文集
- DOI:
- 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
Dave Clarke;Chandrasekhar Boyapati;Robert Lee;Richard Paige;J. Ostroff;Phillip Brooke;James Noble;Robert Biddle;E. Tempero;A. Potanin;Tian Zhao;Jens Palsberg;Jan;Sophia Drosspoulou;Workshop Organisers;Jonathan Aldrich;Doug Lea;Suny Oswego;David Naumann;Queen Mary;Martin Rinard;Jan Vitek;Anindya Banerjee;S. Drossopoulou;Matthew Smith;C. Pierik;Tobias Wrigstad;P. O 'hearn;John Tang Boyland;M. Fähndrich;K. Rustan;M. Leino;Scott F Smith;Mark Thober Discussion - 通讯作者:
Mark Thober Discussion
Aliased register allocation for straight-line programs is NP-complete
- DOI:
10.1016/j.tcs.2008.05.025 - 发表时间:
2008-11-06 - 期刊:
- 影响因子:
- 作者:
Jonathan K. Lee;Jens Palsberg;Fernando Magno Quintão Pereira - 通讯作者:
Fernando Magno Quintão Pereira
Jens Palsberg的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jens Palsberg', 18)}}的其他基金
SHF: Small: Concurrency with Specified Orders
SHF:小:指定订单并发
- 批准号:
1815496 - 财政年份:2018
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
CRI:CI-New:协作研究:NJR:标准化 Java 资源
- 批准号:
1823360 - 财政年份:2018
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Workshop on High-Level Programming Models for Parallelism
并行高级编程模型研讨会
- 批准号:
1339507 - 财政年份:2013
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Certification of Medical Device Software
医疗器械软件认证
- 批准号:
0820245 - 财政年份:2008
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
ITR - ASE - int: Event Driven Software Quality
ITR - ASE - int:事件驱动的软件质量
- 批准号:
0427202 - 财政年份:2004
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Foundations of ILP-based Static Analysis
基于 ILP 的静态分析的基础
- 批准号:
0401691 - 财政年份:2003
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Foundations of ILP-based Static Analysis
基于 ILP 的静态分析的基础
- 批准号:
0306401 - 财政年份:2003
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
ITR: Static Timing of Interrupt-Driven Software
ITR:中断驱动软件的静态时序
- 批准号:
0401680 - 财政年份:2003
- 资助金额:
$ 5.8万 - 项目类别:
Continuing Grant
ITR: Static Timing of Interrupt-Driven Software
ITR:中断驱动软件的静态时序
- 批准号:
0112628 - 财政年份:2001
- 资助金额:
$ 5.8万 - 项目类别:
Continuing Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
- 批准号:
2324714 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
- 批准号:
2349935 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Continuing Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
- 批准号:
2349934 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Continuing Grant
Collaborative Research: Frameworks: MobilityNet: A Trustworthy CI Emulation Tool for Cross-Domain Mobility Data Generation and Sharing towards Multidisciplinary Innovations
协作研究:框架:MobilityNet:用于跨域移动数据生成和共享以实现多学科创新的值得信赖的 CI 仿真工具
- 批准号:
2411152 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
- 批准号:
2349936 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Continuing Grant
Collaborative Research: Frameworks: MobilityNet: A Trustworthy CI Emulation Tool for Cross-Domain Mobility Data Generation and Sharing towards Multidisciplinary Innovations
协作研究:框架:MobilityNet:用于跨域移动数据生成和共享以实现多学科创新的值得信赖的 CI 仿真工具
- 批准号:
2411153 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
- 批准号:
2324709 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
- 批准号:
2324713 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant
Collaborative Research: Maritime to Inland Transitions Towards ENvironments for Convection Initiation (MITTEN CI)
合作研究:海洋到内陆向对流引发环境的转变(MITTEN CI)
- 批准号:
2349937 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Continuing Grant
Collaborative Research: GEO OSE Track 2: Developing CI-enabled collaborative workflows to integrate data for the SZ4D (Subduction Zones in Four Dimensions) community
协作研究:GEO OSE 轨道 2:开发支持 CI 的协作工作流程以集成 SZ4D(四维俯冲带)社区的数据
- 批准号:
2324710 - 财政年份:2024
- 资助金额:
$ 5.8万 - 项目类别:
Standard Grant