@PHDTHESIS {hodique-phd,
  AUTHOR =       {Y. Hodique},
  TITLE =      {S??ret� et optimisation par les syst??mes de types en contexte ouvert et contraint},
  JOURNAL =    {PhD Thesis, Univ. Lille 1},
  YEAR =       {2007},
  PUBDATE =    {2007-04},
  LANG =       {fr},
  MONTH =      {april},
  file = public:hodique-phd.pdf,
}

@INPROCEEDINGS {ghr-ubisafe-07,
  AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
  TITLE = {A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns},
  BOOKTITLE = {The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07)},
  YEAR = {2007},
  LANG = {en},
}