@inproceedings{e075fe85a63d4595804e9d1831abe630,
title = "Abstract semantic diffing of evolving concurrent programs",
abstract = "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 {\textquotedblleft}smaller{\textquotedblright} 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.",
author = "Ahmed Bouajjani and Constantin Enea and Lahiri, \{Shuvendu K.\}",
note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.; 24th International Symposium on Static Analysis, SAS 2017 ; Conference date: 30-08-2017 Through 01-09-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-66706-5\_3",
language = "English",
isbn = "9783319667058",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "46--65",
editor = "Francesco Ranzato",
booktitle = "Static Analysis - 24th International Symposium, SAS 2017, Proceedings",
}