CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
批准号:
1823360
负责人:
Jens Palsberg
金额:
$60.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-08-15 至 2024-08-31
中文摘要
编程语言和软件工程的研究越来越成为一门“大数据”科学(“大代码”),研究人员希望使用大型代码库来试验新技术。 具体来说,Big Code将在安全增强器、bug查找器和代码合成器等领域启用新工具。 该项目将建立一个包含100,000个可执行Java程序的社区资源,以及一套工作工具和进行此类研究的环境。 这种规范化的Java资源(NJR)将降低新工具的实现障碍,加快研究速度,并最终帮助推进研究前沿。 此外,NJR可以成为利用Big Code的软件工具新课程的基础。 最后,NJR可以成为关于更好的基准测试套件的讨论的中心。 两位研究人员将与来自五个国家的合作者合作。研究人员从使用NJR中获得了显着的优势。 他们可以编写基于NJR已经工作的工具的新工具的脚本,并且他们可以搜索NJR以获得具有所需特性的程序。 他们将以容器的形式接收搜索结果,可以在本地或云服务上运行。 此外,它们还受益于NJR对每个Java程序的规范化表示,这使得工具能够在整个集合上可伸缩地运行。 最后,他们会发现,NJR的项目集合是多样化的,因为研究人员的努力运行克隆检测和近似重复删除。这个奖项反映了NSF的法定使命,并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。
英文摘要
Research in programming languages and software engineering has increasingly become a "big data" science ("Big Code") is which researchers want to use large code bases to experiment with new techniques. Specifically, Big Code will enable novel tools in areas such as security enhancers, bug finders, and code synthesizers. This project will build a community resource of 100,000 executable Java programs together with a set of working tools and an environment for conducting such research. This Normalized Java Resource (NJR) will lower the barrier to implementation of new tools, speed up research, and ultimately help advance research frontiers. Additionally, NJR can be the foundation of new courses on software tools that take advantage of Big Code. Finally, NJR can be the centerpiece of a discussion about better benchmark suites in general. The two investigators will work with collaborators from five countries. Researchers get significant advantages from using NJR. They can write scripts that base their new tool on NJR's already-working tools, and they can search NJR for programs with desired characteristics. They will receive the search result as a container that they can run either locally or on a cloud service. Additionally, they benefit from NJR's normalized representation of each Java program, which enables scalable running of tools on the entire collection. Finally, they will find that NJR's collection of programs is diverse because of the investigators' efforts to run clone detection and near-duplicate removal.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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Striking a balance: pruning false-positives from static call graphs
取得平衡:从静态调用图中修剪误报
DOI:
10.1145/3510003.3510166
发表时间:
2022
期刊:
44th International Conference on Software Engineering (ICSE ’22
影响因子:
--
作者:
[Utture, Akshay, Liu, Shuyang, Kalhauge, Christian Gram, Palsberg, Jens]
通讯作者:
Palsberg, Jens
DOI:
10.1145/3510003.3510046
发表时间:
2022-05
期刊:
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)
影响因子:
--
作者:
[Akshay Utture;J. Palsberg]
通讯作者:
Akshay Utture;J. Palsberg
Logical bytecode reduction
逻辑字节码缩减
DOI:
10.1145/3453483.3454091
发表时间:
2021
期刊:
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI
影响因子:
--
作者:
[Kalhauge, Christian Gram, Palsberg, Jens]
通讯作者:
Palsberg, Jens
SHF: Small: Concurrency with Specified Orders
-
批准号:1815496
-
项目类别:Standard Grant
-
资助金额:$39.6万
-
财政年份:2018
-
负责人:Jens Palsberg
-
依托单位:
Collaborative Research: CI-P: NJR: A National Java Resource
-
批准号:1730697
-
项目类别:Standard Grant
-
资助金额:$5.8万
-
财政年份:2017
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
醒脑静多靶点调控PI3K/Akt通路抑制CI/RI氧化应激—基于网络药理学及体内、外实验研究
-
批准号:2025JJ90117
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:李秋云
-
依托单位:
脱氧胆酸经TGR5/mTORC1途径调控小胶质细胞脂噬促进 T2DM-CI的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
基于“免疫-神经”网络探讨眼针活化CI/RI大鼠MC靶向H3R调节“免疫监视”的抗炎机制
-
批准号:82374375
-
项目类别:面上项目
-
资助金额:51万元
-
批准年份:2023
-
负责人:马贤德
-
依托单位:
通过单细胞转录组测序揭示Wolbachia诱导果蝇CI的分子机制
-
批准号:32170497
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:孙宝发
-
依托单位:
ci-Eln促进亲本基因Eln介导的缺氧肺动脉平滑肌细胞增殖的机制研究
-
批准号:82100066
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:郝雪微
-
依托单位:
森林垂直分层LAI和CI时空变异特征、LiDAR遥感反演与验证研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:59万元
-
批准年份:2021
-
负责人:方红亮
-
依托单位:
CI 994对SLC25A46相关线粒体病的治疗及机制研究
-
批准号:82001449
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:羊蠡
-
依托单位:
近邻星系中[CI]线作为新分子气体质量探针的观测研究
-
批准号:12003070
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:焦倩
-
依托单位:
lncRNA343/miR-509-3p/STC1轴在CI-AKI肾小管上皮细胞线粒体质量控制失衡中的作用与机制
-
批准号:81873607
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2018
-
负责人:段绍斌
-
依托单位:
α2肾上腺素受体活化促ESCRT-III膜聚集在肾CI/RI致肺程序性坏死中的机制研究
-
批准号:81801900
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2018
-
负责人:陈倩
-
依托单位: