Thomas Rubiano

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Complexity Analysis

Storage Requirements

Quasi Invariant

Computational Complexity

Top Venues

DICE-FOPARA@ETAPS

Sorbonne Paris Cité, France (PHD)

Education History

Sorbonne Paris Cité, France

PHD

Publications

Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ATVA (2023)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
Distributing and Parallelizing Non-canonical Loops. VMCAI (2023)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
Realizing Implicit Computational Complexity. CoRR (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
A Novel Loop Fission Technique Inspired by Implicit Computational Complexity. CoRR (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. CoRR (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. FSCD (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
An extended and more practical mwp flow analysis. CoRR (2021)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
An implementation of flow calculus for complexity analysis (tool paper). CoRR (2021)
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Loop Quasi-Invariant Chunk Motion by peeling with statement composition. DICE-FOPARA@ETAPS (2017)
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Loop Quasi-Invariant Chunk Detection. ATVA (2017)