SAS 2022
2022年12月7日星期一至星期三新西兰奥克兰
与位于同一位置斯普拉什2022
日期
曲目
您正在不同于设备时区的时区中查看程序更改时区

12月5日星期一

显示的时区:威灵顿奥克兰 改变

09:00 - 10:00
主题演讲1SAS公司AMRF礼堂
主席:加甘迪普·辛格伊利诺伊大学香槟分校,Caterina城市Inria&Ecole Normale Supérieure |巴黎圣日耳曼大学
09:00
60米
主题演讲
数据日志中的商用级静态分析仪亲自出席主题演讲
SAS公司
13:30 - 15:00
数值静态分析SAS公司AMRF礼堂
主席:伊莎贝拉·马斯特罗尼意大利维罗纳大学
13:30
30米
谈话
CLEVEREST:通过对抗攻击加速基于CEGAR的神经网络验证事实上的
SAS公司
Zhe Zhao(赵哲)上海理工大学,张叶迪(Yedi Zhang)上海理工大学,陈广科上海理工大学,傅松上海理工大学,陈陶璐伦敦大学伯贝克学院,刘嘉祥深圳大学
14:00
30米
谈话
增强语义特征邻域的稳健性验证
SAS公司
阿南·卡巴哈以色列理工学院Technion,达娜·德拉克斯勒·科恩以色列理工学院
14:30
30米
谈话
将数值关系域提升为代数数据类型
SAS公司
圣地亚哥·包蒂斯塔雷恩大学、Inria、CNRS、IRISA,托马斯·詹森INRIA雷恩,贝诺·蒙塔古Inria公司
预打印附加的文件
15:30 - 17:00
主题演讲2,Radhia Cousot Award,PC Chairs ReportSAS公司AMRF礼堂
主席:加甘迪普·辛格伊利诺伊大学香槟分校,卡特琳娜市区Inria&Ecole Normale Supérieure |巴黎圣日耳曼大学
15:30
60米
主题演讲
强化学习中的逻辑推理:利弊?主题演讲事实上的
SAS公司
苏古曼·班萨尔美国莱斯大学
16:30
1000万
奖品
拉迪亚·库索特奖
SAS公司
卡特琳娜市区Inria&Ecole Normale Supérieure |巴黎圣日耳曼大学,加甘迪普·辛格伊利诺伊大学香槟分校
16:40
20米
当日收盘
PC椅子报告
SAS公司
Caterina城市Inria&Ecole Normale Supérieure |巴黎圣日耳曼大学,加甘迪普·辛格伊利诺伊大学香槟分校

12月6日星期二

显示的时区:威灵顿奥克兰 改变

09:00 - 10:00
主题演讲3SAS公司AMRF礼堂
主席:加甘迪普·辛格伊利诺伊大学香槟分校,Caterina城市Inria&Ecole Normale Supérieure |巴黎圣日耳曼大学
09:00
60米
主题演讲
量子程序的高效推理主题演讲
SAS公司
俞能坤美国石溪大学
10:30 - 12:00
10:30
30米
谈话
SecWasm:WebAssembly的信息流控制事实上的
SAS公司
尤利娅·巴斯蒂斯查尔默斯理工大学,Maximilian代数瑞典查尔默斯理工大学,亚历山大·舍斯滕(Alexander Sjösten)维也纳工业大学,安德烈·萨贝尔菲尔德查尔默斯理工大学
11:00
30米
谈话
对手逻辑
SAS公司
11:30
30米
谈话
属性驱动的代码混淆.重新解释抽象解释中的Jones优化
SAS公司
罗伯托·贾科巴齐维罗纳大学,伊莎贝拉·马斯特罗尼意大利维罗纳大学
13:30 - 15:00
逻辑和完整性SAS公司AMRF礼堂
主席:罗伯托·贾科巴齐维罗纳大学
13:30
30米
谈话
单调理论中具有可证明复杂性的不变量推理
SAS公司
约塔姆·M·Y·费尔德曼特拉维夫大学,沙伦·肖姆特拉维夫大学
14:00
30米
谈话
Kleene代数上的局部完备逻辑及其检验
SAS公司
马可·米兰尼斯意大利帕多瓦大学Matematica研究生,弗朗西斯科·兰扎托帕多瓦大学
14:30
30米
谈话
通过有界域上的完整抽象确定程序属性
SAS公司
罗伯托·布鲁尼比萨大学,罗伯塔·戈里比萨大学,尼古拉·马尼尼IMDEA软件研究所
15:30 - 17:00
不变量与程序综合SAS公司AMRF礼堂
主席:苏巴吉特·罗伊年薪抢堪坡分校
15:30
30米
谈话
基于自举库的综合
SAS公司
黄康静美国普渡大学,邱晓康美国普渡大学
16:00
30米
谈话
异步的自动合成
SAS公司
西迪·穆罕默德·贝拉希多伦多大学,艾哈迈德·布阿贾尼巴黎迪德罗大学IRIF,康斯坦丁·埃纳Ecole Polytechnique/LIX/CNRS学院,舒文杜·拉希里微软研究院
16:30
30米
谈话
求解不可解循环的不变量生成
SAS公司
达内什瓦·阿姆罗拉希斯坦福大学,埃齐奥·巴托西维也纳工业大学,乔治·凯尼森维也纳工业大学,劳拉·科瓦奇维也纳工业大学,马塞尔·穆斯布鲁克维也纳工业大学,米罗斯拉夫·斯坦科维奇维也纳工业大学

12月7日星期三

显示的时区:威灵顿奥克兰 改变

10:30 - 12:00
编译器和优化SAS公司AMRF礼堂
10:30
30米
谈话
管道优化程序成本分析的语义基础事实上的
SAS公司
索莱恩·米利亚兹ENS Rennes/IRISA/Inria公司,大卫·皮查迪,吉尔斯·巴特MPI-SP,德国/IMDEA软件研究所,西班牙,阿德里安·库索斯INRIA巴黎,彼得·施瓦布马克斯·普朗克安全与隐私研究所
11:00
30米
谈话
分段静态+动态局部分析原理
SAS公司
11:30
30米
谈话
弱控制闭合的快速增量计算
SAS公司

要求人工制品

与往年一样,我们鼓励作者提交论文中提出的任何工件和评估。提交人工制品的目的是加强我们领域对评估和结果再现性的科学方法。提交的人工制品还可以作为未来研究的垫脚石,使研究人员能够快速利用现有工具,更好地评估或对比现有工作。

重要日期:

  • 工件提交:2022年5月18日AoE

你准备工件的时候迟到了吗?别担心!截止日期延长至25日!

  • 人工制品通知:2022年7月15日AoE(连同纸质通知)

标准

与去年一样,今年每件文物最多可获得三枚徽章:

已验证

能够合理再现论文中实验主张的人工制品。这是对提交工件的最低期望。

可扩展

允许轻松添加新功能的工件。要获得可扩展徽章的资格,工件必须与源代码捆绑在一起,并通过验证徽章的要求。审查人员可能会尝试调整源代码并重新编译,以评估在该工具上构建的容易程度。请注意,工件提交是可选的。提交工件的源代码也是可选的。但是,没有源代码的工件只能获得Validated徽章。

可用

如果作者将提交的工件版本上传到Zenodo SAS 2022公司公共存储库。如果您的工件在工件评估期间收到验证徽章,您可以通过发布工件将您的工件添加到Zenodo SAS 2022社区在这里。Zenodo提交文件的标题和作者集必须与SAS提交文件相匹配。您需要添加的文件是您的工件(虚拟机或容器映像)和分步说明。在您发布您的工件后,如果提交可以,我们将接受它到社区,并将授予您可用徽章。

包装

作者可以将其工件打包为虚拟机映像或Docker容器映像,并提供加载/运行工件的分步说明。

  • 虚拟机映像:VM映像必须是可引导的,并且包含安装的所有必要库。请确保可以使用VirtualBox处理VM映像。在准备工件时,请使其尽可能轻。考虑安装ssh标准在虚拟机中使其即使在虚拟屏幕不工作时也可以访问(更改主机硬件时的常见问题)。
  • 容器图像:作者可以提供包含实验以及所有依赖项的容器图像的压缩版本。请确保可以使用docker加载命令加载压缩的容器映像。只有当您的实验可以从命令行执行和验证时,请选择容器图像。
  • 分步说明:这应该清楚地解释如何重现支持论文结论的结果。我们鼓励作者加入易于运行的脚本。请注意,与您的设置相比,审阅者可能会在较弱的硬件上评估您的工件,因此请尝试参数化您的脚本,以允许运行较小版本的实验。此外,您应该解释如何解释工件的输出。如果可能,请提供实验执行时间的估计值。最后,如果您正在提供源代码,请尝试提供代码结构的大纲。

提交

请按照以下说明提交您的工件:

  • 使用zip或gzip将VM/容器映像和说明文档打包到单个压缩存档文件中。使用您的纸张编号作为存档文件的名称。
  • 将存档文件上传到Dropbox或Google Drive等知名存储服务,并获取其可共享链接。
  • 对存档文件运行校验和功能。创建一个文本文件,其中包含指向存档文件的链接和校验和结果。
  • 通过EasyChair上的特定提交页面提交文本文件。

徽章

SAS人工制品评估徽章由阿皮塔·比斯瓦斯苏瓦姆·穆克吉、和可从下载github.

问题?使用SAS工件联系表.