Collaborative Research: CI-P: NJR: A National Java Resource
Collaborative Research: CI-P: NJR: A National Java Resource
批准号:
1730697
负责人:
Jens Palsberg
金额:
$5.8万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-07-01 至 2018-06-30
中文摘要
这个规划项目将规划一个称为National Java Resource(NJR)的基础设施,它将是10,000个Java项目的集合,这些项目构建和运行即用即用,并且流行的静态和动态分析工具成功并缓存了输出。编写构建脚本和以其他方式为存储库准备Java项目和工具的任务将在很大程度上自动化。已经开发了一个原型来服务于DARPA缪斯项目,但该项目即将结束,没有建立NJR的计划。大量不同的基于Java的研究项目将能够使用它,提供一个实验平台和基准,并消除执行研究的障碍。预计该项目将开辟新的研究领域,这些领域因缺乏高质量的此类程序语料库而受到阻碍,这些程序可以轻松编译、运行和分析。NJR资源库有潜力推动对广泛的基于Java的工具的研究,例如错误查找器、代码修复工具、代码合成器、软件进化、软件资源库挖掘以及其他代码分析工具。规划活动将包括在主要的编程语言会议上举办讲习班,可能还包括在主要的软件工程会议上举办讲习班,目的是让用户参与并充分了解他们的要求。该项目还将继续试验如何减少下载、编译和运行项目的痛苦,即更自动化,并提高多少项目可以自动构建、编译和执行的成功率。如果可以将扩展扩展到程序理解、测试和挖掘软件存储库会议,则可能会有更多的社区受益。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Concurrency with Specified Orders
-
批准号:1815496
-
项目类别:Standard Grant
-
资助金额:$39.6万
-
财政年份:2018
-
负责人:Jens Palsberg
-
依托单位:
CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
-
批准号:1823360
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2018
-
负责人:Jens Palsberg
-
依托单位:
Workshop on High-Level Programming Models for Parallelism
-
批准号:1339507
-
项目类别:Standard Grant
-
资助金额:$8.13万
-
财政年份:2013
-
负责人:Jens Palsberg
-
依托单位:
SHF: Small: Typed Self-Application
-
批准号:1219240
-
项目类别:Standard Grant
-
资助金额:$49.36万
-
财政年份:2012
-
负责人:Jens Palsberg
-
依托单位:
Certification of Medical Device Software
-
批准号:0820245
-
项目类别:Standard Grant
-
资助金额:$70.0万
-
财政年份:2008
-
负责人:Jens Palsberg
-
依托单位:
ITR - ASE - int: Event Driven Software Quality
-
批准号:0427202
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Jens Palsberg
-
依托单位:
Foundations of ILP-based Static Analysis
-
批准号:0401691
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Jens Palsberg
-
依托单位:
Foundations of ILP-based Static Analysis
-
批准号:0306401
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2003
-
负责人:Jens Palsberg
-
依托单位:
ITR: Static Timing of Interrupt-Driven Software
-
批准号:0401680
-
项目类别:Continuing Grant
-
资助金额:$33.59万
-
财政年份:2003
-
负责人:Jens Palsberg
-
依托单位:
ITR: Static Timing of Interrupt-Driven Software
-
批准号:0112628
-
项目类别:Continuing Grant
-
资助金额:$43.29万
-
财政年份:2001
-
负责人:Jens Palsberg
-
依托单位:
CAREER: Type Inference for Object-Oriented Software
-
批准号:9734265
-
项目类别:Continuing Grant
-
资助金额:$20.5万
-
财政年份:1998
-
负责人:Jens Palsberg
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: