FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf]

The ABC Structure Editor

A Tutorial on Verifying LinkedList Using KeY