Loop Quasi-Invariant Chunk Detection. - Jean-Yves Moyen; Thomas Rubiano; Thomas Seiller (ATVA, 2017)

Loop Quasi-Invariant Chunk Motion by peeling with statement composition. - Jean-Yves Moyen; Thomas Rubiano; Thomas Seiller (DICE-FOPARA@ETAPS, 2017)

Implicit Computational Complexity and Compilers. (Complexité Implicite et compilateurs). - Thomas Rubiano (2017)

An extended and more practical mwp flow analysis. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2021)

An implementation of flow calculus for complexity analysis (tool paper). - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2021)

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (FSCD, 2022)

Realizing Implicit Computational Complexity. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2022)

A Novel Loop Fission Technique Inspired by Implicit Computational Complexity. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2022)

pymwp: A Static Analyzer Determining Polynomial Growth Bounds. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (ATVA, 2023)

Distributing and Parallelizing Non-canonical Loops. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (VMCAI, 2023)

Exploring Speculation Barriers for RISC-V Selective Speculation. - Herinomena Andrianatrehina; Ronan Lashermes; Joseph Paturel; Simon Rokicki; Thomas Rubiano (ARES (2), 2025)