停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第29届SAS 2022：新西兰奥克兰

>主页 >会议和研讨会 >SAS公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/2022
加甘迪普·辛格,Caterina城市:
静态分析——第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日，会议记录。计算机科学课堂讲稿13790,施普林格 2022，国际标准图书编号978-3-031-22307-5

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Bansal公司22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Bansal22
苏古曼·班萨尔:
规范-指导强化学习。 3-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Yu22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Yu22
俞能坤:
量子程序的高效推理。 10-15

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/AmrollahiBKKMS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/AmrollahiBKKMS22
达内什瓦·阿姆罗拉希,埃齐奥·巴托西,乔治·凯尼森,劳拉·科瓦奇,马塞尔·穆斯布鲁克,米罗斯拉夫·斯坦科维奇:
求解不可解循环的不变量生成。 19-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/AnandT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/AnandT22
阿迪蒂亚·阿南德,玛纳斯·塔库尔:
分段静态+动态局部分析原理。 44-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/巴斯斯ASS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BastysASS22
尤利娅·巴斯蒂斯,Maximilian代数,亚历山大·舍斯滕（Alexander Sjösten）,安德烈·萨贝尔菲尔德:
SecWasm：WebAssembly的信息流控制。 74-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BautistaJM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BautistaJM22
圣地亚哥·包蒂斯塔,托马斯·詹森,蒙塔古（Benoît Montagu）:
将数值关系域提升为代数数据类型。 104-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BellahiBEL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BeillahiBEL22
西迪·穆罕默德·贝拉希,艾哈迈德·布阿贾尼,康斯坦丁埃纳,Shuvendu K.Lahiri公司:
异步的自动合成。 135-159
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BeyerS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BeyerS22
德克·拜尔,简·斯特雷切克:
验证-见证验证者案例研究：我们在哪里，我们去哪里。 160-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BruniGM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BruniGM22
罗伯托·布鲁尼,罗伯塔·戈里,尼古拉·马尼尼:
通过有界域上的完全抽象确定程序属性。 175-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/FeldmanS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/FeldmanS22
约塔姆·M·Y·费尔德曼,沙伦·肖姆:
单调理论中具有可证明复杂性的不变量推理。 201-226
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Garcia-Contreras22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Garcia-Contreras22
伊莎贝尔·加西亚-孔特拉斯,阿里·古芬克尔,豪尔赫·纳瓦斯:
高效的基于模块化SMT的指针程序模型检查。 227-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/GiacobazziM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/GiacobazziM22
罗伯托·贾科巴齐,伊莎贝拉·马斯特罗尼:
属性驱动的代码混淆重新解释抽象解释中的Jones优化。 247-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/HuangQ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/黄Q22
黄康静,邱晓康:
基于Bootstrapping Library的综合。 272-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/KabahaD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/KabahaD22
阿南·卡巴哈,达娜·德拉赫斯勒-科恩:
增强语义特征邻域的稳健性验证。 299-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Masud22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Masud22
阿布·纳赛尔·马苏德:
弱控制闭包的快速增量计算。 325-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/米兰eR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/MilaneeR22
马可·米兰尼斯,弗朗西斯科·兰扎托:
Kleene代数上的局部完备逻辑及其检验。 350-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BartheKMPS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BartheKMPS22
吉尔斯·巴特,阿德里安·库索斯,索莱恩·米利亚兹,大卫·皮哈迪,彼得·施瓦布:
管道优化程序成本分析的语义基础。 372-396
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/MukaiKS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/MukaiKS22
Ryoya Mukai先生,小林直树,佐藤良介:
用于自动程序验证的参数化递归优化类型。 397-421
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Vanegue22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Vanegue22
朱利安·瓦内格:
对抗逻辑。 422-448
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/ZhaoZCSCL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/ZhaoZCSCL22
Zhe Zhao（赵哲）,张业迪,陈广科,傅松,陈陶璐,刘嘉祥:
CLEVEREST：通过对手攻击加速基于CEGAR的神经网络验证。 449-473

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。