Mechanized verification of a fine-grained concurrent queue from meta's folly library.

Simon Friis Vindum, Dan Frumin, Lars Birkedal

Browse the full CPP paper archive.