Formal verification of translation validators: a case study on instruction scheduling optimizations.

Jean-Baptiste Tristan, Xavier Leroy

Browse the full POPL paper archive.