Formally verified superblock scheduling.

Cyril Six, Lo Gourdin, Sylvain Boulm, David Monniaux, Justus Fasse, Nicolas Nardino

Browse the full CPP paper archive.