Bibliography

My publications

(hodique.bib)

[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.
[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, article| url] (BIB)
Grimaud, G., Hodique, Y., & Simplot-Ryl, I. (2006). A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns (long version).
[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.
[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.
[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.
[2003, mastersthesis| hodique-dea.pdf] (BIB)
Hodique, Y. ((2003). Approximations de stratégies de preuves en réécriture.). Unpublished Master's Dissertation.

(biblio.bib)

[2003, inproceedings] (BIB)
AAberg, R. A., Lawall, J. L., Südholt, M., & Muller, G. (2003). Evolving an OS kernel using temporal logic and AOP.
[2003, inproceedings] (BIB)
Bailly, A., Ryl, I., & Clerbout, M. (2003). FIDL. Spécifications formelles en ID..
[2003, inproceedings] (BIB)
Charra, O., & Senart, A. (2003). ThinkRCX, un noyau de système d'exploitation extensible pour Lego RC.
[2002, techreport] (BIB)
Clifton, C., & Leavens, G. T. (2002). Spectators and assistants: Enabling modular aspect-oriented reasoning.
[2000, phdthesis] (BIB)
Grimaud, G. ((2000). CAMILLE : un système d'exploitation ouvert pour carte à microprocesseur.). Unpublished PhD Thesis.
[1997, inproceedings] (BIB)
Necula, G. C. (1997). Proof-carrying code.
[1998, inproceedings] (BIB)
Rose, E., & Rose, K. H. (1998). Lightweight bytecode verification.
[2003, inproceedings] (BIB)
Zhao, J., & Rinard, M. (2003). Pipa: A behavioral interface specification language for AspectJ.
[2004, inproceedings] (BIB)
Beers, M. Q., Stork, C. H., & Franz, M. (2004). Efficiently Verifiable Escape Analysis. Paper presented at the ECOOP 2004, LNCS 3086, Oslo.
[1998, inproceedings| url] (BIB)
Rose, E., & Rose, K. H. (1998). Lightweight Bytecode Verification. Paper presented at the Workshop ``Formal Underpinnings of the Java Paradigm'', {OOPSLA'98}.
[2005, article| url] (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.
[1999, inproceedings] (BIB)
Blanchet, B. (1999). Escape {A}nalysis for {O}bject {O}riented {L}anguages. {A}pplication to {J}ava({TM}). Paper presented at the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'99), Denver, Colorado.
[2000, inproceedings| url] (BIB)
Gay, D., & Steensgaard, B. (2000). Fast Escape Analysis and Stack Allocation for Object-Based Programs. Paper presented at the 9th International Conference on Compiler Construction ({CC}'2000).
[1999, article| url] (BIB)
Whaley, J., & Rinard, M. (1999). Compositional pointer and escape analysis for {Java} programs. ACM SIG{\-}PLAN Notices, 34(10), 187-206.
[1984, article] (BIB)
Weicker, R. P. (1984). Dhrystone: {A} synthetic systems programming benchmark. Commun. ACM, 27(10), 1013-1030.
[1999, inproceedings| url] (BIB)
Grimaud, G., Lanet, J., & Vandewalle, J. (1999). {FACADE}: {A} Typed Intermediate Language Dedicated to Smart Cards. Paper presented at the Software Engineering -- {ESEC/{FSE}'99}.
[1995, book] (BIB)
Gamma, R., Helm, R., Johnson, R., & Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-Oriented Software Addison Wesley.
[1994, inproceedings] (BIB)
Emami, M., Ghiya, R., & Hendren, L. J. (1994). Context-sensitive interprocedural points-to analysis in the presence of function pointers. Paper presented at the PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, New York, NY, USA.
[1995, inproceedings] (BIB)
Wilson, R. P., & Lam, M. S. (1995). Efficient Context-Sensitive Pointer Analysis for {C} Programs. Paper presented at the {SIGPLAN} Conference on Programming Language Design and Implementation.
[1992, inproceedings| url] (BIB)
Park, Y. G., & Goldberg, B. (1992). Escape analysis on lists. Paper presented at the Proceedings of the Conference on Programming Language Design and Implementation ({PLDI}), New York, NY.
[1977, inproceedings] (BIB)
Cousot, P{. }., & Cousot, R{. }. (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. Paper presented at the 4th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL'77), California.
[2005, mastersthesis] (BIB)
Ghindici, D. ((2005). Information flow analysis. {A}pplication to {Java} bytecode.). Unpublished Master's Dissertation.
[1999, techreport] (BIB)
Bogda, J., & Holzle, U. (1999). Removing Unnecessary Synchronization in Java Santa Barbara, CA, USA.
[2005, phdthesis] (BIB)
Galland, A. ((2005). Contrôle des ressources dans les cartes à microprocesseur.). Unpublished PhD Thesis.
[2002, inproceedings| url] (BIB)
Whaley, J., & Lam, M. S. (2002). An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. Paper presented at the Proceedings of the 9th International Static Analysis Symposium.
[1994, inproceedings| url] (BIB)
Emami, M., Ghiya, R., & Hendren, L. J. (1994). Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. Paper presented at the {SIGPLAN} Conference on Programming Language Design and Implementation.

GNU Free Documentation License 1.3
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0