Thomas Rubiano

Loop Quasi-Invariant Chunk Motion by peeling with statement composition

Jean-Yves Moyen, Thomas Seiller, Thomas Rubiano, 2017 .

Detection of Non-Size Increasing Programs in Compilers

Jean-Yves Moyen, Thomas Rubiano, 2016 .

Loop Quasi-Invariant Chunk Detection

Jean-Yves Moyen, Thomas Seiller, Thomas Rubiano, 2017, ATVA.

Complexité Implicite et compilateurs

Thomas Rubiano, 2017 .

Implicit Computational Complexity and Compilers. (Complexité Implicite et compilateurs)

Thomas Rubiano, 2017 .

An extended and more practical mwp flow analysis pdf

Cl'ement Aubert, Thomas Seiller, Thomas Rubiano, 2021, ArXiv.

An implementation of flow calculus for complexity analysis (tool paper) pdf

Cl'ement Aubert, Thomas Seiller, Thomas Rubiano, 2021, ArXiv.