2018年SPLASH
2018年11月9日星期日至星期五美国马萨诸塞州波士顿

我们正在努力创建一个标准化Java资源(NJR),它将加速软件工具领域的创新。这些工具包括安全增强器、错误查找器和代码合成器,所有这些都可以从访问大代码中受益匪浅。我们的愿景是一个由100000个规范化Java项目组成的多样化集合,这些项目是可执行的、可编写脚本的和可搜索的。Java项目源于Sourcerer集合,我们对其表示进行了规范化,以支持大规模处理并获得可复制的结果。此类处理包括执行、静态和动态分析、可编写脚本的交互以及搜索具有特定动态特性的项目。每次搜索集合时,NJR都会返回一个包含Java项目的文件和一个云服务(如Amazon EC2)的容器。因此,研究人员可以在本地和云服务上运行这些项目上的工具。研究人员将是NJR的受益者和贡献者。他们从搜索符合他们需要的Java项目中获益,并且一旦他们的工具在NJR上运行,他们将为不断增加的度量集合做出贡献。注意强大的网络效应:在NJR上运行工具的人越多,我们获得的搜索数据就越多,我们得到的搜索数据也越多,更多的人希望在NJR上搜索和运行。

受邀会谈

标题
分析代码库:再现性案例研究
新日尔
大代码中的克隆检测和基准测试
新日尔
声明性计划分析和大代码:挑战与机遇
新日尔
解码以太坊字节码并检测以气体为中心的漏洞
新日尔
Delphi:连接研究人员以在程序分析中实现可比较的大规模实验
新日尔
媒体已连接附加的文件
NJR:100000个可执行、可脚本和可搜索的Java程序
新日尔
NJR讨论;需求、要求、愿望
新日尔
Qualitas语料库分析
新日尔
静态检查安卓应用程序和系统中安全假设/措施的不一致性
新日尔
SWAN:Swift的程序分析框架
新日尔
DaCapo基准套件:方法、工程和社会之旅
新日尔
克隆检测仪精度研究的自动化
新日尔

要求演示

我们欢迎介绍可能受益于NJR的工具、创建大型程序集合的努力以及现有集合的经验。

您正在不同于设备时区的时区中查看程序更改时区

11月6日星期二

显示的时区:瓜达拉哈拉,墨西哥城,蒙特雷 改变

08:30 - 10:00
08:30
3000万
谈话
DaCapo基准套件:方法、工程和社会之旅
新日尔
史蒂夫·布莱克本澳大利亚国立大学
09:00
3000万
谈话
NJR:100000个可执行、可脚本和可搜索的Java程序
新日尔
延斯·帕尔斯伯格加利福尼亚大学,洛杉矶
09:30
3000万
谈话
NJR讨论;需求、要求、愿望
新日尔
延斯·帕尔斯伯格加利福尼亚大学,洛杉矶
10:30 - 12:00
10:30
3000万
谈话
分析代码库:再现性案例研究
新日尔
扬·维泰克东北大学
11:00
3000万
谈话
声明性计划分析和大代码:挑战与机遇
新日尔
马约尔·奈克宾夕法尼亚大学
11:30
3000万
谈话
克隆检测仪精度研究的自动化
新日尔
法里马·法玛希尼法拉哈尼美国加州大学欧文分校
15:30 - 17:00
15:30
3000万
谈话
解码以太坊字节码并检测以气体为中心的漏洞
新日尔
16:00
3000万
谈话
SWAN:Swift的程序分析框架
新日尔
卡里姆·阿里阿尔伯塔大学
16:30
3000万
谈话
大代码中的克隆检测和基准测试
新日尔
尚查尔·K·罗伊萨斯喀彻温大学