第十一届自动程序分析工具研讨会
近年来,出现了一系列广泛的静态分析工具,其中一些工具目前正在工业使用或远远超过先进的原型水平。已经获得了许多令人印象深刻的实际结果,这些结果允许以完全或半自动的方式验证或检查复杂属性,即使是在复杂的软件开发环境中。与此同时,设计和实现静态分析工具的技术也得到了显著改进,并且正在对这些工具进行工程化。本研讨会旨在促进程序分析设计和实施、正式方法和静态分析工具用户所有领域的专家之间的讨论和交流经验。
此前的研讨会分别在法国佩皮尼昂(2010年)、意大利威尼斯(2011年)、法国多维尔(2012年)、美国西雅图(2013年)、德国慕尼黑(2014年)、法兰西圣马洛(2015年)、英国爱丁堡(2016年)、美国纽约(2017年)、德意志弗莱堡(2018年)和葡萄牙波尔图(2019年)举行。
TAPAS 2020将与OOPSLA 2020和SAS 2020共存。 | 00:20 - 01:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 02:20 - 03:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 04:20 - 05:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 06:20 - 07:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 08:20 - 09:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 10:20 - 11:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 12:20 - 13:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 14:20 - 15:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 16:20 - 17:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 18:20 - 19:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 20:20 - 21:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 22:20 - 23:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
文件征集
近年来,出现了一系列广泛的静态分析工具,其中一些工具目前正在工业使用或远远超过先进的原型水平。已经获得了许多令人印象深刻的实际结果,这些结果允许以完全或半自动的方式验证或检查复杂属性,即使是在复杂的软件开发环境中。与此同时,设计和实现静态分析工具的技术也得到了显著改进,并且正在对这些工具进行工程化。本研讨会旨在促进程序分析设计和实施、正式方法和静态分析工具用户所有领域的专家之间的讨论和交流经验。
TAPAS 2020的技术计划将包括邀请的会谈,以及基于提交文件的演示。提交文件可以涵盖项目分析工具的任何方面,包括但不限于以下内容:
-
静态分析工具的设计和实现(包括用于获得精度和性能的实用技术)
-
静态分析工具的组件(front-ends、抽象域等)
-
集成静态分析器(校对助手、测试生成工具、IDE等)
-
可重用软件基础设施(分析算法和框架)
-
静态分析仪使用经验报告(研究原型和工业工具)
研讨会还欢迎进行中的工作、更广泛的工作概述、方案或立场文件以及工具介绍。
我们邀请以下三类高质量论文:
-
普通论文(6-10页)
-
短文(4-6页)
-
扩展摘要(最多2页)
请使用SIGPLAN样式(信号平面图
两栏格式)(http://www.sigplan.org/Resources/Author网站/)并通过EasyChair提交(https://easychair.org/conferences/?conf=tapas2020).
所有论文都将考虑在ACM数字图书馆出版,除非作者不愿意被包括在内。