bardou.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc bardou.cite -ob bardou.bib -c 'author : "bardou"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@mastersthesis{bardou07master,
  author = {Romain Bardou},
  title = {Invariants de classe et syst\`emes d'ownership},
  school = {Master Parisien de Recherche en Informatique},
  topics = {team},
  type_publi = {rapport},
  type_digiteo = {no},
  year = 2007,
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport},
  x-pdf = {http://romain.bardou.fr/papers/stage2007r.pdf},
  url = {http://romain.bardou.fr/papers/stage2007r.pdf}
}
@misc{why12app,
  author = {J.-C. Filli\^atre and C. March\'e and Y. Moy and R. Bardou},
  title = {Why version 2.30},
  howpublished = {APP Deposit},
  month = aug,
  year = 2012,
  note = {IDDN.FR.001.350004.000.S.P.2012.000.10000},
  annote = {\url{http://why.lri.fr}}
}
@inproceedings{bardou08ftfjp,
  author = {Romain Bardou},
  title = {Ownership, Pointer Arithmetic and Memory Separation},
  crossref = {ftfjp08},
  topics = {team},
  type_publi = {icolcomlec},
  type_digiteo = {conf_autre},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {FTJP},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://romain.bardou.fr/papers/jcown.pdf}
}
@inproceedings{mlpost09jfla,
  author = {Romain Bardou and Jean-Christophe Filli\^atre and Johannes Kanig and St\'ephane Lescuyer},
  title = {{Faire bonne figure avec Mlpost}},
  url = {http://www.lri.fr/~filliatr/ftp/publis/mlpost-fra.pdf},
  abstract = {Cet article pr\'esente Mlpost, une biblioth\`eque Ocaml de dessin
  scientifique. Elle s'appuie sur Metapost, qui permet notamment
  d'inclure des fragments \LaTeX\ dans les figures. Ocaml offre une
  alternative s\'eduisante aux langages de macros \LaTeX, aux langages
  sp\'ecialis\'es ou m\^eme aux outils graphiques. En particulier,
  l'utilisateur de Mlpost b\'en\'eficie de toute l'expressivit\'e
  d'Ocaml et de son typage statique. Enfin Mlpost propose un style
  d\'eclaratif qui diff\`ere de celui, souvent imp\'eratif, des outils existants.},
  topics = {team, lri},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla09}
}
@unpublished{bardou09sub,
  author = {Romain Bardou and Claude March\'e},
  title = {Regions and Permissions for Data Invariants},
  institution = {INRIA ARC CeProMi},
  note = {Submitted},
  year = 2009,
  url = {http://www.lri.fr/cepromi/}
}
@techreport{bardou10rr,
  author = {Romain Bardou and Claude March\'e},
  title = {Regions and Permissions for Verifying Data Invariants},
  institution = {INRIA},
  year = 2010,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00525384/en/},
  note = {\url{http://hal.inria.fr/inria-00525384/en/}},
  type = {Research Report},
  number = 7412
}
@inproceedings{bardou11jfla,
  author = {Bardou, Romain and March\'e, Claude},
  title = {Perle de preuve: les tableaux creux},
  topics = {team},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla11}
}
@phdthesis{bardou11phd,
  author = {Romain Bardou},
  title = {Verification of Pointer Programs Using Regions and Permissions},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {these},
  url = {http://proval.lri.fr/publications/bardou11phd.pdf},
  note = {\url{http://proval.lri.fr/publications/bardou11phd.pdf}},
  hal = {http://tel.archives-ouvertes.fr/tel-00647331},
  topics = {team},
  year = 2011,
  month = oct
}
@proceedings{jfla09,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2009,
  booktitle = {Vingti\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Saint-Quentin sur Is\`ere},
  publisher = {INRIA},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes}
}
@proceedings{jfla11,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Sylvain Conchon},
  year = 2011,
  booktitle = {Vingt-deuxi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {La Bresse, France},
  publisher = {INRIA},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes}
}
@proceedings{ftfjp08,
  title = {Formal Techniques for Java-like Programs},
  year = 2008,
  booktitle = {Formal Techniques for Java-like Programs (FTfJP'08)},
  address = {Paphos, Cyprus},
  month = jul
}