Thomas Rubiano

12 papers B 4Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Exploring Speculation Barriers for RISC-V Selective Speculation.
ARES (2)
Herinomena Andrianatrehina, Ronan Lashermes, Joseph Paturel, Simon Rokicki, Thomas Rubiano
2023 B conf
Distributing and Parallelizing Non-canonical Loops.
VMCAI
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2023 B conf
pymwp: A Static Analyzer Determining Polynomial Growth Bounds.
ATVA
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022 J jnl
A Novel Loop Fission Technique Inspired by Implicit Computational Complexity.
CoRR
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022 J jnl
Realizing Implicit Computational Complexity.
CoRR
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022 B conf
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity.
FSCD
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022 J jnl
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity.
CoRR
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2021 J jnl
An extended and more practical mwp flow analysis.
CoRR
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2021 J jnl
An implementation of flow calculus for complexity analysis (tool paper).
CoRR
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2017 — —
Implicit Computational Complexity and Compilers. (Complexité Implicite et compilateurs).
Thomas Rubiano
2017 B conf
Loop Quasi-Invariant Chunk Detection.
ATVA
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
2017 — conf
Loop Quasi-Invariant Chunk Motion by peeling with statement composition.
DICE-FOPARA@ETAPS
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller