biblio.bib
Download: bib/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"
}