Learning Commutativity Specifications
Learning Commutativity Specifications
复制标题
学习交换性规范
DOI：
10.1007/978-3-319-21690-4_18
复制
发表时间：
2015
影响因子：
0.8
通讯作者：
Martin T. Vechev
中科院分区：
文献类型：
--
作者：
Timon Gehr;Dimitar Dimitrov;Martin T. Vechev
在这项工作中，我们提出了一种基于抽样的“黑匣子”推理方法，用于学习库组件的行为。然而，重要的是，由于通勤性规范是计划分析，并发控制甚至下限的基础。
In this work we present a new sampling-based “black box” inference approach for learning the behaviors of a library component. As an application, we focus on the problem of automatically learning commutativity specifications of data structures. This is a very challenging problem, yet important, as commutativity specifications are fundamental to program analysis, concurrency control and even lower bounds.
从测试到证明
DOI：
10.1007/s10009-012-0267-5
发表时间：
2013
影响因子：
1.5
作者：
Ashutosh Gupta;Rupak Majumdar;Andrey Rybalchenko
通讯作者：
Andrey Rybalchenko