We present an approach for comparing two closely related concurrent programs, whose goal is to give feedback about interesting differences without relying on user-provided assertions. This approach compares two programs in terms of cross-thread interferences and data-flow, under a parametrized abstraction which can detect any difference in the limit. We introduce a partial order relation between these abstractions such that a program change that leads to a “smaller” abstraction is more likely to be regression-free from the perspective of concurrency. On the other hand, incomparable or bigger abstractions, which are an indication of introducing new, possibly undesired, behaviors, lead to succinct explanations of the semantic differences.

中文翻译：

---

演化并发程序的抽象语义差异

我们提出了一种比较两个密切相关的并发程序的方法，其目标是在不依赖用户提供的断言的情况下提供有关有趣差异的反馈。这种方法在可以检测限制中的任何差异的参数化抽象下，在跨线程干扰和数据流方面比较两个程序。我们在这些抽象之间引入了偏序关系，这样从并发的角度来看，导致“较小”抽象的程序更改更有可能是无回归的。另一方面，无可比拟或更大的抽象表明引入了新的、可能不受欢迎的行为，导致对语义差异的简洁解释。