Thomas Rubiano
1
Documents
Présentation
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Detection of Non-Size Increasing Programs in CompilersDevelopment in Implicit Computational Complexity (DICE 2016), Damiano Mazza, Apr 2016, Eindhoven, Netherlands
Communication dans un congrès
hal-01310898v1
|