(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.