Access content directly

Thomas Rubiano

5
Documents

Presentation

I am a PhD student at the [LIPN](http://lipn.univ-paris13.fr/) in Université Paris 13. I try to implement some Implicit Computational Complexity theories. I’m currently working on a [LLVM](http://llvm.org/) module able to find some properties of programs with static analysis. This thesis is supervised by [Jean-Yves Moyen](http://lipn.univ-paris13.fr/%7Emoyen/) and [Virgil Mogbile](http://lipn.univ-paris13.fr/%7Emogbil/) and it’s funded by the [ELICA ANR project](http://lipn.univ-paris13.fr/%7Emazza/Elica/). [My home page](https://lipn.univ-paris13.fr/~rubiano/)

Publications

Image document

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⟩
Conference papers hal-03269121v4
Image document

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
Conference papers hal-01310898v1

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⟩
Book sections hal-02345688v1
Image document

Certifying Complexity Analysis

 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2023
Preprints, Working Papers, ... hal-04083105v1
Image document

An extended and more practical mwp flow analysis

 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
2021
Preprints, Working Papers, ... hal-03269096v2