{"inproceedings":{"@attributes":{"key":"conf\/cpp\/VindumFB22","mdate":"2022-12-05"},"author":["Simon Friis Vindum","Dan Frumin","Lars Birkedal"],"title":"Mechanized verification of a fine-grained concurrent queue from meta's folly library.","pages":"100-115","year":"2022","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/3497775.3503689","crossref":"conf\/cpp\/2022","url":"db\/conf\/cpp\/cpp2022.html#VindumFB22"}}