Hugo Venturini

My outdated page at Polytechnique... as a teacher.

From 2008 to 2010, I have worked in the R&D Division, PLM core group, at 3DS on PLM memory models. After two years, I decided to join a much smaller structure: MLstate in which I've worked for about a year.

On september 1, 2011, I joined Microsoft IEB Paris.

Before that, I have spent three and a half years at the Computer Sciences Graduate School of the Université Joseph Fourier in the DCS team at Verimag under the supervision of Pr. Jean-Claude Fernandez (Verimag) and Dr. Miguel Santana (STMicroelectronics).
Graduation Date: March 28th, 2008

I was working on the debugging of optimized code in the context of embedded systems.

[1] Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, and Miguel Santana. A fully-non-transparent proposal to the code location problem. In Proceedings of SCOPES '08: The 11th International Workshop on Software and Compilers for Embedded Systems. ACM Press New York, NY, USA, march 2008. [ bib ]
[2] Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, and Miguel Santana. Non-transparent debugging for software-pipelined loops. In Proceedings of CASES '07: The 2007 international conference on Compilers, Architecture, and Synthesis for Embedded Systems, pages 23-32. ACM Press New York, NY, USA, oct 2007. [ bib ]
[3] Hugo Venturini and Frédéric Riss. Patent: Method and apparatus for debugging information propagation through compilation. STATUS pending, 2007. [ bib ]
[4] Laurent Gerard, Denis Pilat, Frederic Riss, Sylvaine Laheurte, Miguel Santana, and Hugo Venturini. IDBug technology, benefits and added-value. White Paper, STMicroelectronics, F-38921 Crolles France, jul 2005. [ bib ]
[5] Hugo Venturini, Jean-Francois Monin, and Marius Bozga. Ambient-calculus to IF, a language for asynchronous real-time systems. Technical Report TR-2005-10, Verimag, 38610 Gières, France, 2005. [ bib ]

This file has been generated by bibtex2html 1.85.