9 citations · 9 across the 1 of their papers we have counts for
1 paper
David Monniaux, Cyril Six
We present an approach for implementing a formally certified loop-invariant code motion optimization by composing an unrolling pass and a formally certified yet efficient global su…