长期以来,主流编程语言(如Java、C、JavaScript)的静态和动态分析技术和工具受到了广泛关注。这些分析的应用领域从核心库到web服务和移动应用程序等现代技术。随着时间的推移,已经开发了各种分析框架,以提供优化程序、确保代码质量以及评估安全性和合规性的技术。
SOAP 2024旨在将程序分析社区的成员聚集在一起,分享程序分析的新发展并形成新的创新。对于SOAP2024,我们邀请从事程序分析的研究人员和实践者作出贡献。
我们特别感兴趣的是令人兴奋的分析框架思想、现有静态分析技术在工业软件中的应用、在软件工程实践(如DevOps)中采用静态分析、创新设计和分析技术,包括初步结果或正在进行的工作。我们还将通过鼓励行业参与者提交,包括工具演示提交,来关注程序分析的实践状态。
研讨会议程将继续其关于现有框架的扩展、新分析和工具的开发以及如何在实际场景中使用程序分析的生动讨论传统。
伊娃·达鲁洛娃 | | 安德斯·默勒 | | 马努·斯里德哈兰 |
| | | | |
浮点(静态)分析的最新进展 | | JavaScript程序分析面临的挑战和机遇 | | 轻量级资源泄漏验证和推断 |
此计划是暂定的,可能会更改。
| 18:00 - 20:00 | 欢迎晚宴(向任何PLDI相关活动的参与者开放)餐饮在哥本哈根市政厅注:晚餐向任何PLDI相关活动的参与者开放,而不仅仅是主要的PLDI会议。
|
| | | |
文件征集
截止日期延长:摘要应在3月4日之前提交。论文现在可以提交到3月6日AoE(公司)。
可能提交的文件包括但不限于:
- 一份关于程序分析的新实现的报告,重点是获得精度和性能的实用细节或优化技术。
- 一种新的研究工具、数据和其他工件,展示了新的程序分析概念的早期实现,以及成熟的原型。
- 对新分析组件的描述,例如前端或抽象域。
- 描述在现有框架之上构建的创新工具的报告。
- 现有分析工具尚不支持的功能的一个引人注目的用例,以及所建议功能的良好示例和非正式设计。
- 一份想法文件,建议集成现有的程序分析,以回答有关程序的有趣的新问题,例如在IDE和DevOps实践中。
- 关于使用现有程序分析框架的经验报告。
- 一个程序分析工具的描述和演示主要部分的屏幕截图。
提交内容应为四至六页论文(不包括参考文献),并应按照两列ACM会议记录格式进行格式化。每份参考文献必须列出论文的所有作者。引文应采用数字形式,例如[52]。ACM格式的模板可用于Microsoft Word和LaTeX,网址为http://www.sigplan.org/Resources/Author网站ACM类\文档类[sigplan,屏幕]{acmart}
应使用以确保预期的默认设置和正确的颜色。审核将是单盲的,无需匿名提交。
我们强烈鼓励作者通过Docker或Zenodo.org上存档的虚拟机,将他们的工具和实验评估公开并可复制。不会有正式的工件评估来保持审查过程轻量级。
与SOAP 2023类似,SOAP 2024项目委员会计划邀请一批被接受的论文提交扩展版本给《国际技术转让软件工具杂志》(STTT)的一期特刊。
作者注意:正式出版日期是ACM数字图书馆提供会议记录的日期。此日期可能最早在会议第一天之前两周。官方发布日期影响与已发布作品相关的任何专利申请的截止日期。(对于那些会议结束后在ACM数字图书馆发布会议记录的罕见会议,官方发布日期仍然是会议的第一天。)