CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource

CRI：CI-New：协作研究：NJR：标准化 Java 资源

• 批准号: 1823360
• 负责人: Jens Palsberg
• 金额: $ 60万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-08-15 至 2024-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1823360&HistoricalAwards=false
• 关键词: CRI; CI; New; Collaborative; Research

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.

编程语言和软件工程的研究日益成为一门“大数据”科学（“大代码”），研究人员希望使用大型代码库来试验新技术。具体来说，Big Code将在安全增强器、bug查找器和代码合成器等领域启用新的工具。该项目将建立一个包含100,000个可执行Java程序的社区资源，以及一套工作工具和进行此类研究的环境。这个规范化Java资源（NJR）将降低实现新工具的障碍，加速研究，并最终帮助推进研究前沿。此外，NJR可以作为利用Big Code的软件工具新课程的基础。最后，NJR可以成为讨论更好的基准测试套件的核心。这两名调查人员将与来自五个国家的合作者合作。研究人员通过使用NJR获得了显著的优势。他们可以在NJR现有工具的基础上编写基于新工具的脚本，并且可以在NJR中搜索具有所需特性的程序。它们将以容器的形式接收搜索结果，可以在本地运行，也可以在云服务上运行。此外，它们还受益于NJR对每个Java程序的规范化表示，这支持在整个集合上可扩展地运行工具。最后，他们会发现NJR收集的程序是多种多样的，因为调查人员努力进行克隆检测和近重复删除。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

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

Fast and Precise Application Code Analysis using a Partial Library

• DOI: 10.1145/3510003.3510046
• 发表时间: 2022-05
• 期刊: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)
• 作者: 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