Verification of a Cache-optimized Data Structure

Yixuan Chen, Aurèle Barrière, Lennart Beringer, Andrew W. Appel
January 2019
Type
Report