biblio.bib

@INPROCEEDINGS { alsm03acp4is,
  AUTHOR = {R.A. AAberg and J.L. Lawall and M. Sdholt 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"
}