Modular verification of linearizability with non-fixed linearization points.

Hongjin Liang, Xinyu Feng

Browse the full PLDI paper archive.