Resume

[in construction]

PDF version : cv_hodique.pdf

• formal proof, verification
• compilation
• high level language concepts

[2007, phdthesis| hodique-phd.pdf] (BIB)

Hodique, Y. ((2007). Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint.). Unpublished PhD Thesis.

[2006, article| url] (BIB)

Grimaud, G., Hodique, Y., & Simplot-Ryl, I. (2006). A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns (long version).

[2007, inproceedings] (BIB)

Grimaud, G., Hodique, Y., & Simplot-Ryl, I. (2007). A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. Paper presented at the The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07).

[2006, inproceedings| url] (BIB)

Grimaud, G., Hodique, Y., & Simplot-Ryl, I. (2006). Can small and open embedded systems benefit from escape analysis?. Paper presented at the Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006).

[2006, article| ijpeds2006-ghr.pdf] (BIB)

Grimaud, G., Hodique, Y., & Simplot-Ryl, I. (2006). On the Use of metatypes for safe embedded operating system extension. International Journal of Parallel, Emargent and Distributed Systems (IJPEDS), 22, 1-13.

[2003, mastersthesis| hodique-dea.pdf] (BIB)

Hodique, Y. ((2003). Approximations de stratégies de preuves en réécriture.). Unpublished Master's Dissertation.

[2005, article| ijca2005-dhr.pdf] (BIB)

Deville, D., Hodique, Y., & Simplot-Ryl, I. (2005). Safe Collaboration in Extensible Operating Systems: A Study on Real Time Extensions. International Journal of Computers and Applications, 1, 20-26.

[2005, inproceedings| sanso2005_grimaud_g.pdf] (BIB)

Grimaud, G., Hodique, Y., & Simplot-Ryl, I. (2005). Secure extensible type system for efficient embedded operating system by using metatypes. Paper presented at the SaNSO 2005.