@inproceedings(collingbourne-2009-haskellgcc,
 author       = "P. Collingbourne and P. Kelly",
 year         = "2009",
 title        = "A Compile-Time Infrastructure for {GCC} Using {Haskell}",
 booktitle    = "GROW09 workshop, within HIPEAC09, \url {http://www.doc.ic.ac.uk/ phjk/GROW09/}",
 address      = "Paphos, Cyprus",
)
@article(CousotCousot92-2,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "1992",
 title        = "Abstract Interpretation Frameworks",
 journal      = "J. Logic and Computation",
 volume       = "2",
 number       = "4",
 pages        = "511--547",
 doi          = "10.1093/logcom/2.4.511",
)
@inbook(CousotCousot04-WCC,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "2004",
 title        = "Basic Concepts of Abstract Interpretation",
 pages        = "359--366",
 publisher    = "Kluwer Academic Publishers",
 doi          = "10.1007/978-1-4020-8157-6\_27",
)
@inproceedings(CousotEtAl-ASTREE-ESOP05,
 author       = "P{.} Cousot and R{.} Cousot and J{.} Feret and L{.} Mauborgne and A{.} Min\'e and D{.} Monniaux and X{.} Rival",
 year         = "2005",
 title        = "The {ASTR\'EE} {A}nalyser",
 booktitle    = "Proc. ESOP'05",
 volume       = "LNCS 3444",
 address      = "Edinburgh, Scotland",
 pages        = "21--30",
 doi          = "10.1007/978-3-540-31987-0\_3",
)
@inproceedings(CousotEtAl06-ASIAN,
 author       = "P{.} Cousot and R{.} Cousot and J{.} Feret and L{.} Mauborgne and A{.} Min\IeC {\'e} and D{.} Monniaux and X{.} Rival",
 year         = "2006",
 title        = "Combination of Abstractions in the \textsc {ASTR\'EE} Static Analyzer",
 editor       = "M{.} Okada and I{.} Satoh",
 booktitle    = "Eleventh Annual Asian Computing Science Conference (ASIAN'06)",
 volume       = "4435",
 publisher    = "Springer, Berlin",
 address      = "Tokyo, Japan, LNCS",
 pages        = "1--24",
 doi          = "10.1007/978-3-540-77505-8\_23",
)
@inproceedings(Engler:2000:CSR:1251229.1251230,
 author       = "{D.} Engler and {B.} Chelf and {A.} Chou and {S.} Hallem",
 year         = "2000",
 title        = "Checking system rules using system-specific, programmer-written compiler extensions",
 booktitle    = "Proceedings of the 4th conference on Symposium on Operating System Design \& Implementation - Volume 4",
 series       = "OSDI'00",
 publisher    = "USENIX Association",
 address      = "Berkeley, CA, USA",
 pages        = "1--16",
)
@article(Flanagan:2004:ECC:989393.989443,
 author       = "C. Flanagan and A. Sabry and B. F. Duba and M. Felleisen",
 year         = "2004",
 title        = "The essence of compiling with continuations",
 journal      = "SIGPLAN Not.",
 volume       = "39",
 pages        = "502--514",
 doi          = "10.1145/989393.989443",
)
@misc(gcc-internals,
 author       = "{GCC community}",
 year         = "2011",
 title        = "\textsf {\relsize {-0.5}GCC}\xspace internals doc.",
 url          = "http://gcc.gnu.org/onlinedocs/gccint/",
)
@inproceedings(glek-2008-gcc-grepsed,
 author       = "T. Glek and D. Mandelin",
 year         = "2008",
 title        = "Using {GCC} instead of {G}rep and {S}ed",
 booktitle    = "{GCC} Summit 2008",
 address      = "Ottawa",
 pages        = "21--32",
)
@inproceedings(abstr-int-threat-2001,
 author       = "D. Guilbaud and E. Goubault and A. Pacalet and B. Starynk\IeC {\'e}vitch and F. V\IeC {\'e}drine",
 year         = "2001",
 title        = "A Simple Abstract Interpreter for Threat Detection and Test Case Generation",
 booktitle    = "WAPATV'01, with ICSE'01",
 address      = "Toronto",
)
@book(jones1996garbage,
 author       = "R. Jones and R. D. Lins",
 year         = "1996",
 title        = "Garbage Collection: Algorithms for Automatic Dynamic Memory Management",
 publisher    = "Wiley",
)
@inproceedings(lefessant-maranget-2001,
 author       = "F. {Le Fessant} and L. Maranget",
 year         = "2001",
 title        = "Optimizing Pattern-Matching",
 booktitle    = "Proc. 2001 ICFP",
 publisher    = "ACM Press",
)
@misc(lissy-fosdem2011-modelchecking,
 author       = "A. Lissy",
 year         = "2011",
 title        = "Model Checking the Linux Kernel (FOSDEM2011)",
)
@article(warn-jfp-07,
 author       = "L. Maranget",
 year         = "2007",
 title        = "Warnings for pattern matching",
 journal      = "J. Functional Programming",
 volume       = "17",
)
@article(maranget-ml2008,
 author       = "L. Maranget",
 year         = "2008",
 title        = "Compiling Pattern Matching to Good Decision Trees",
)
@inproceedings(marpons-codingrules-2008,
 author       = "G. Marpons-Ucero and J. Mari{\~n}o-Carballo and M. Carro and {\'A.} Herranz-Nieva and J. J. Moreno-Navarro and L. Fredlund",
 year         = "2008",
 title        = "Automatic Coding Rule Conformance Checking Using Logic Programming",
 booktitle    = "PADL",
 pages        = "18--34",
 doi          = "10.1007/978-3-540-77442-6\_3",
)
@inproceedings(monate-08-slicing,
 author       = "B. Monate and J. Signoles",
 year         = "2008",
 title        = "Slicing for Security of Code",
 booktitle    = "TRUST",
 pages        = "133--142",
 doi          = "10.1007/978-3-540-68979-9\_10",
)
@techreport(pitrat-oneself-1995,
 author       = "{J.} Pitrat",
 year         = "1995",
 title        = "Speaking about and Acting upon Oneself",
 type         = "Technical Report",
 number       = "1995/29",
 institution  = "LIP6/Laforia",
)
@article(pitrat-96-reflective,
 author       = "J. Pitrat",
 year         = "1996",
 title        = "Implementation of a reflective system",
 journal      = "Future Gener. Comput. Syst.",
 volume       = "12",
 number       = "2-3",
 pages        = "235--242",
 doi          = "10.1016/0167-739X(96)00011-8",
)
@book(pitrat-beings-2009,
 author       = "J. Pitrat",
 year         = "2009",
 title        = "Artificial Beings {(the conscience of a conscious machine)}",
 publisher    = "Wiley / ISTE",
 doi          = "10.1002/9780470611791",
)
@phdthesis(pop-phd2006-ssa,
 author       = "S. Pop",
 year         = "2006",
 title        = "The {SSA} Representation Framework: Semantics, Analyses and {GCC} Implementation.",
 school       = "Ecole des Mines de Paris",
 url          = "http://www.cri.ensmp.fr/classement/doc/A-381.pdf",
)
@book(queinnec-lisp-1996,
 author       = "C. Queinnec",
 year         = "1996",
 title        = "Lisp in Small Pieces",
 publisher    = "Cambridge Univ. Pr.",
 address      = "New York, NY, USA",
)
@inproceedings(ramsey-cminusminus-2000,
 author       = "N. Ramsey and S.P. Jones",
 year         = "2000",
 title        = "A single intermediate language that supports multiple implementations of exceptions",
 booktitle    = "Proc. PLDI '00",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "285--298",
 doi          = "10.1145/349299.349337",
)
@misc(starynkevitch-melt,
 author       = "B. Starynkevitch",
 year         = "2006-2011",
 title        = "{\textsf {MELT}\xspace } code {{\relsize {-1}{[{GPLv3}]}}} within {\textsf {GCC}\xspace }",
 howpublished = "\url {http://gcc-melt.org/} and \url {svn://gcc.gnu.org/svn/gcc/branches/melt-branch}",
)
@inproceedings(starynkevitch-2007-gcc,
 author       = "B. Starynkevitch",
 year         = "2007",
 title        = "Multi-Stage Construction of a Global Static Analyzer",
 booktitle    = "GCC Summit 2007",
 address      = "Ottawa",
 pages        = "143--156",
)
@inproceedings(starynkevitch-2009-grow,
 author       = "B. Starynkevitch",
 year         = "2009",
 title        = "{Middle End Lisp Translator} for {GCC}, achievements and issues",
 booktitle    = "GROW09 workshop, within HIPEAC09, \url {http://www.doc.ic.ac.uk/ phjk/GROW09/}",
 address      = "Paphos, Cyprus",
)
@inproceedings(TRIFUNOVIC:2010:INRIA-00551516:1,
 author       = "{K.} {T}rifunovic and {A.} {C}ohen and {D.} {E}delsohn and {F.} {L}i and {T.} {G}rosser and {H.} {J}agasia and {R.} {L}adelsky and {S.} {P}op and {J.} {S}j{\"o}din and {R.} {U}padrasta",
 year         = "2010",
 title        = "{GRAPHITE} {T}wo {Y}ears {A}fter: {F}irst {L}essons {L}earned {F}rom {R}eal-{W}orld {P}olyhedral {C}ompilation",
 booktitle    = "{GCC} {R}esearch {O}pportunities {W}orkshop ({GROW}'10)",
 address      = "{P}isa {I}talie",
 url          = "http://hal.inria.fr/inria-00551516/en/",
)
@inproceedings(venet-array-check-2004,
 author       = "A. Venet and G. Brat",
 year         = "2004",
 title        = "Precise and efficient static array bound checking for large embedded {C} programs",
 booktitle    = "PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation",
 publisher    = "ACM Press",
 address      = "New York, NY, USA",
 pages        = "231--242",
 doi          = "10.1145/996841.996869",
)
@inproceedings(volanschi-mygcc-2006,
 author       = "{N.} Volanschi",
 year         = "2006",
 title        = "A Portable Compiler-Integrated Approach to Permanent Checking",
 booktitle    = "ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06)",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "103--112",
 doi          = "10.1109/ASE.2006.8",
)
@inproceedings(wadler-1987-patternviews,
 author       = "P. Wadler",
 year         = "1987",
 title        = "Views: a way for pattern matching to cohabit with data abstraction",
 booktitle    = "Proc. POPL '87",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "307--313",
 doi          = "10.1145/41625.41653",
)