Checking linearizability with fine-grained traces.

Zhenyue Long, Yu Zhang

Browse the full SAC paper archive.