Usuba: Optimizing & Trustworthy Bitslicing Compiler.

Darius Mercadier, Pierre-variste Dagand, Lionel Lacassagne, Gilles Muller

Browse the full PPoPP paper archive.