写博客>>
2019年SPLASH
2019年10月25日星期日至星期五希腊雅典

软件研究人员在设计新工具时越来越多地利用大型软件存储库。我们如何使这些存储库对研究发挥最大的作用?特别是,我们如何使它们更易于搜索,使交互可编写脚本,并确保我们可以运行静态和动态分析?此外,我们如何使工具的结果可复制,如何用基本事实标记程序,以及如何衡量存储库是否代表真实应用程序?NJR 2019将是解决这些问题的系列研讨会中的第三个研讨会。目标是让学术界和工业界的研究人员分享新想法,展示最新的工具,并讨论研发方向。

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

10月21日周一

显示的时区:贝鲁特 改变

09:00 - 10:30
第1部分新日尔2A室
09:00
4500万
谈话
超越神经网络编程:如何从程序中学习
新日尔
韦塞林·雷切夫DeepCode股份公司
09:45
4500万
谈话
复兴:JVM上并行应用程序的基准套件
新日尔
卢博米尔·布勒查尔斯大学
10:30 - 11:00
咖啡休息时间餐饮中断区域
10:30
3000万
咖啡休息时间
休息
餐饮

11:00 - 12:30
第2部分新日尔2A室
11:00
4500万
谈话
从分析程序到测试程序分析:研究如何依赖并丰富SE知识
新日尔
米拉·梅齐尼达姆施塔特科技大学
11:45
4500万
谈话
代码的深层结构学习
新日尔
乌里·阿隆以色列理工学院
12:30 - 14:00
午餐餐饮餐厅
14:00 - 15:30
第3部分新日尔2A室
14:00
3000万
谈话
了解静态程序分析中的差距
新日尔
延斯·迪特里希惠灵顿维多利亚大学
14:30
3000万
谈话
50K-C:可编译和编译Java项目的数据集
新日尔
罗汉·阿查尔尔湾加大
15:00
3000万
谈话
NJR:可执行、可编写脚本和可搜索的Java程序
新日尔
延斯·帕尔斯伯格加利福尼亚大学,洛杉矶
15:30 - 16:00
咖啡休息时间餐饮中断区域
15:30
3000万
咖啡休息时间
休息
餐饮

16:00 - 17:30
第4次会议新日尔2A室
16:00
3000万
谈话
NAB:公共代码库中的自动大规模多语言动态程序分析
新日尔
安德烈亚·罗莎瑞士卢加诺大学
16:30
3000万
谈话
有效模糊的语料库提取技术:综合评价
新日尔
托尼·霍斯金澳大利亚国立大学/Data61
17:00
3000万
谈话
MadMax和朋友:智能合约的程序分析
新日尔

要求演示

我们欢迎就任何NJR主题进行演示,包括新思想、工具和基准测试套件。我们特别欢迎关于大型软件存储库的实验以及使用此类存储库管理实验的工具的演示。