@INPROCEEDINGS { alsm03acp4is,
    AUTHOR = {R.A. AAberg and J.L. Lawall and M. Südholt and G. Muller},
    TITLE = { Evolving an OS kernel using temporal logic and AOP},
    JOURNAL = {Proc. of the 2nd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS)},
    YEAR = 2003,
    LANG = {en}
  }
  
  @INPROCEEDINGS { brc03lmo,
    AUTHOR = {A. Bailly and I. Ryl and M. Clerbout},
    TITLE = {FIDL. Spécifications formelles en ID.},
    JOURNAL = {Proc. of Langages et Modèles à Objets (LMO'03)},
    YEAR = 2003,
    LANG = {fr}
  }
  
  @INPROCEEDINGS { cs02jscae,
    AUTHOR = {O. Charra and A. Senart},
    TITLE = {ThinkRCX, un noyau de système d'exploitation extensible pour Lego RC},
    JOURNAL = {Proc. of Les Journées Systèmes à composants adaptables et extensibles},
    YEAR = 2003,
    LANG = {fr}
  }
  
  @TECHREPORT { cl02tr,
    AUTHOR = {C. Clifton and G.T. Leavens},
    TITLE = {Spectators and assistants: Enabling modular aspect-oriented reasoning},
    JOURNAL = {Tech. Rep. 02-10, Iowa State University, Department of Computer Science},
    YEAR = 2002,
    LANG = {fr}
  }
  
  @PHDTHESIS { grimaud00phd,
    AUTHOR = {G. Grimaud},
    TITLE = {CAMILLE : un système d'exploitation ouvert pour carte à microprocesseur},
    JOURNAL = {PhD thesis, Université des Sciences et Technologies de Lille.},
    YEAR = 2000,
    LANG= {fr}
  }
  
  @INPROCEEDINGS { necula97popl,
    AUTHOR = {G.C. Necula},
    TITLE = {Proof-carrying code},
    JOURNAL = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97)},
    YEAR = 1997,
    LANG = {en}
  }
  
  @INPROCEEDINGS { rr98woopsla,
    AUTHOR = {E. Rose and K.H. Rose},
    TITLE = {Lightweight bytecode verification},
    JOURNAL = {Proc. of the OOPSLA Wordshop of the Formal Underpinnings of the Java Paradigm},
    YEAR =  1998,
    LANG = {en}
  }
  
  @INPROCEEDINGS { zr03fase,
    AUTHOR = {J. Zhao and M. Rinard},
    TITLE = {Pipa: A behavioral interface specification language for AspectJ},
    JOURNAL = {Proc. Fundamental Approaches to Software Engineering (FASE'2003)},
    YEAR = 2003,
    LANG = {en}
  }
  
  @InProceedings{ecoop04,
    author =       {Matthew Q. Beers and Christian H. Stork and Michael Franz},
    title =        {Efficiently Verifiable Escape Analysis},
    booktitle = {ECOOP 2004, LNCS 3086},
    pages =     {75--95},
    year =      {2004},
    editor =    {M. Odersky},
    address =   {Oslo},
    publisher = {Springer-Verlag},
  }
  
  @inproceedings{ rose98lightweight,
    author = "E. Rose and K. H. Rose",
    title = "Lightweight Bytecode Verification",
    booktitle = "Workshop ``Formal Underpinnings of the Java Paradigm'', {OOPSLA'98}",
    year = "1998",
    url = "citeseer.ist.psu.edu/rose98lightweight.html"
  }
  
  @ARTICLE { dhr-ijca-05,
    AUTHOR = { D. Deville and Y. Hodique and I. Simplot-Ryl },
    TITLE = { Safe Collaboration in Extensible Operating Systems: A Study on Real Time Extensions },
    JOURNAL = { International Journal of Computers and Applications },
    YEAR = { 2005 },
    MONTH = { january },
    LANG = { en },
    VOLUME = { 1 },
    PAGES = { 20-26 },
    URL = { http://www.lifl.fr/~hodique/Papers/hodique.bib/dhr-ijca-05 },
  }
  
  @InProceedings{blanchet99:_escap_objec_orien_languag,
    AUTHOR = {Bruno Blanchet},
    TITLE = {Escape {A}nalysis for {O}bject {O}riented {L}anguages. {A}pplication to {J}ava({TM})},
    BOOKTITLE = {Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'99)},
    PAGES = {20--34},
    YEAR = 1999,
    ADDRESS = {Denver, Colorado},
    MONTH = NOV
  }
  
  @inproceedings{gay00fast,
    author = "David Gay and Bjarne Steensgaard",
    title = "Fast Escape Analysis and Stack Allocation for Object-Based Programs",
    booktitle = "9th International Conference on Compiler Construction ({CC}'2000)",
    volume = "1781",
    publisher = "Springer-Verlag",
    year = "2000",
    url = "citeseer.ist.psu.edu/gay00fast.html" 
  }
  
  @article{ whaley99compositional,
     author = "John Whaley and Martin Rinard",
     title = "Compositional pointer and escape analysis for {Java} programs",
     journal = "ACM SIG{\-}PLAN Notices",
     volume = "34",
     number = "10",
     pages = "187--206",
     year = "1999",
     url = "citeseer.ist.psu.edu/whaley99compositional.html" 
  }
  
  @article{358283,
    author = {Reinhold P. Weicker},
    title = {Dhrystone: {A} synthetic systems programming benchmark},
    journal = {Commun. ACM},
    volume = {27},
    number = {10},
    year = {1984},
    issn = {0001-0782},
    pages = {1013--1030},
    doi = {http://doi.acm.org/10.1145/358274.358283},
    publisher = {ACM Press},
    address = {New York, NY, USA},
  }
  
  @inproceedings{ grimaud99facade,
    author = "Gilles Grimaud and Jean-Louis Lanet and Jean-Jacques Vandewalle",
    title = "{FACADE}: {A} Typed Intermediate Language Dedicated to Smart Cards",
    booktitle = "Software Engineering -- {ESEC/{FSE}'99}",
    number = "1687",
    publisher = "Springer-Verlag, Berlin Germany",
    editor = "O. Nierstrasz and M. Lemoine",
    pages = "476--493",
    year = "1999",
    url = "citeseer.ist.psu.edu/grimaud99facade.html" 
  }
  
  @Book{design-patterns,
    author =    "R. Gamma and R. Helm and R. Johnson and J. Vlissides",
    title =        "Design Patterns: Elements of Reusable Object-Oriented Software",
    publisher =    "Addison Wesley",
    year =         "1995",
  }
  
  
  @inproceedings{egh94pldi,
    author = {Maryam Emami and Rakesh Ghiya and Laurie J. Hendren},
    title = {Context-sensitive interprocedural points-to analysis in the presence of function pointers},
    booktitle = {PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation},
    year = {1994},
    pages = {242--256},
    location = {Orlando, Florida, United States},
    publisher = {ACM Press},
    address = {New York, NY, USA},
  }
  
  @inproceedings{wl95pldi,
      author = "Robert P. Wilson and Monica S. Lam",
      title = "Efficient Context-Sensitive Pointer Analysis for {C} Programs",
      booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
      year = "1995"
  }
  
  @inproceedings{ park92escape,
    author = "Young Gil Park and Benjamin Goldberg",
    title = "Escape analysis on lists",
    booktitle = "Proceedings of the Conference on Programming Language Design and Implementation ({PLDI})",
    journal = "SIGPLAN Notices",
    volume = "27",
    number = "7",
    publisher = "ACM Press",
    address = "New York, NY",
    isbn = "0-89791-475-9",
    pages = "116--127",
    year = "1992",
    url = "citeseer.ist.psu.edu/park92escape.html" 
  }
  
  @inproceedings{CousotCousot77-1,
    author =    {Cousot, P{.} and Cousot, R{.}},
    title =     {Abstract interpretation: a unified lattice model for static
                 analysis of programs by construction or approximation of
                 fixpoints},
    pages =     {238--252},
    booktitle = {4th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL'77)},
    address =   {California},
    year =      1977,
  }
  
  @MastersThesis{GhindiciMaster,
    author =       "Dorina Ghindici",
    title =        "Information flow analysis. {A}pplication to {Java} bytecode",
    school =       "Univ. Lille 1, France",
    year =         "2005",
  }
  
  @techreport{902450,
    author = {Jeff Bogda and Urs Holzle},
    title = {Removing Unnecessary Synchronization in Java},
    year = {1999},
    source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aucsb_cs%3Ancstrl.ucsb_cs%2F%2FTRCS99-10},
    publisher = {University of California at Santa Barbara},
    address = {Santa Barbara, CA, USA},
  }
  
  @PhdThesis{GallandPhd,
    author =       "Antoine Galland",
    title =        "Contrôle des ressources dans les cartes à microprocesseur",
    school =       "Pierre and Marie Curie University",
    year =         2005,
  }
  
  @inproceedings{ whaley-efficient,
    author = "John Whaley and Monica S. Lam",
    title = "An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages",
    booktitle = "Proceedings of the 9th International Static Analysis Symposium",
    month = "September",
    year = "2002",
    url = "citeseer.ist.psu.edu/whaley02efficient.html"
  }
  
  @inproceedings{ emami94contextsensitive,
    author = "Maryam Emami and Rakesh Ghiya and Laurie J. Hendren",
    title = "Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers",
    booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
    pages = "242-256",
    year = "1994",
    url = "citeseer.ist.psu.edu/emami94contextsensitive.html"
  }