Benoît Pradelle Alain Ketterlin Philippe Clauss Polyhedral parallelization of binary code. 39 2012 8 TACO 4 http://doi.acm.org/10.1145/2086696.2086718 db/journals/taco/taco8.html#PradelleKC12