Thomas Rubiano

Présentation

I am a PhD student at the LIPN in Université Paris 13. I try to implement some Implicit Computational Complexity theories. I’m currently working on a LLVM module able to find some properties of programs with static analysis. This thesis is supervised by Jean-Yves Moyen and Virgil Mogbile and it’s funded by the ELICA ANR project.

My home page

Publications

Communication dans un congrès (2)

pymwp: A Static Analyzer Determining Polynomial Growth Bounds Clément Aubert,Thomas Rubiano,Neea Rusch,Thomas Seiller Automated Technology for Verification and Analysis (ATVA 2023), Oct 2023, Singapour, France. ⟨10.1007/978-3-031-45332-8_14⟩ Communication dans un congrès hal-03269121v4
Detection of Non-Size Increasing Programs in Compilers Jean-Yves Moyen,Thomas Rubiano Development in Implicit Computational Complexity (DICE 2016), Damiano Mazza, Apr 2016, Eindhoven, Netherlands Communication dans un congrès hal-01310898v1

Chapitre d'ouvrage (1)

Loop Quasi-Invariant Chunk Detection Jean-Yves Moyen,Thomas Rubiano,Thomas Seiller Automated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩ Chapitre d'ouvrage hal-02345688v1

Pré-publication, Document de travail (2)

Certifying Complexity Analysis Clément Aubert,Thomas Rubiano,Neea Rusch,Thomas Seiller 2023 Pré-publication, Document de travail hal-04083105v1
An extended and more practical mwp flow analysis Clément Aubert,Thomas Rubiano,Neea Rusch,Thomas Seiller 2021 Pré-publication, Document de travail hal-03269096v2