Root Causing Linearizability Violations
Published in International Conference on Computer Aided Verification (CAV), 2020
This paper presents a testing based method for finding root causes of linearizability violations of concurrent libraries.
Recommended citation: Berk Cirisci, Constantin Enea, Azadeh Farzan. "Root Causing Linearizability Violations." In Proceedings of the 31st International Conference on Computer Aided Verification (CAV), 2020.