doligez.bib

@manual{ocaml-manual,
  title = {The {Objective} {Caml} system, documentation and
                  user's manual -- release 4.01},
  author = {Xavier Leroy and Damien Doligez and Jacques Garrigue
                  and Didier Rémy and Jérôme Vouillon},
  organization = {INRIA},
  year = 2013,
  url = {http://caml.inria.fr/pub/docs/manual-ocaml/}
}
@inproceedings{delahaye-et-al-lpar-2013,
  author = {David Delahaye and
              Damien Doligez and
              Fr{\'e}d{\'e}ric Gilbert and
              Pierre Halmagrand and
              Olivier, Hermant},
  title = {Zenon Modulo: When Achilles Outruns the Tortoise using Deduction
             Modulo},
  booktitle = {{LPAR - Logic for Programming Artificial Intelligence and
                  Reasoning - 2013}},
  publisher = {Springer},
  pages = {274-290},
  address = {Stellenbosch, South Africa},
  volume = {8312},
  editor = {Ken McMillan and Aart Middeldorp and Andrei Voronkov},
  series = {LNCS},
  year = {2013},
  month = dec,
  pdf = {delahaye-et-al-lpar-2013.pdf}
}
@inproceedings{delahaye-et-al-iwil-2013,
  title = {Proof Certification in Zenon Modulo: When Achilles Uses Deduction
             Modulo to Outrun the Tortoise with Shorter Steps},
  author = {David Delahaye and
              Damien Doligez and
              Fr{\'e}d{\'e}ric Gilbert and
              Pierre Halmagrand and
              Olivier Hermant},
  booktitle = {{IWIL - 10th International Workshop on the Implementation of Logics - 2013}},
  publisher = {EasyChair},
  address = {Stellenbosch, South Africa},
  editor = {Stephan Schulz and Geoff Sutcliffe and Boris Konev},
  year = {2013},
  month = dec,
  pdf = {delahaye-et-al-iwil-2013.pdf}
}
@inproceedings{doligez-jaume-rioboo-plas-2012,
  title = {Development of secured systems by mixing programs,
                  specifications and proofs in an object-oriented
                  programming environment. A case study within the
                  FoCaLiZe environment},
  author = {Damien Doligez and
              Mathieu Jaume and
              Renaud Rioboo},
  booktitle = {{PLAS - Seventh Workshop on Programming Languages and
                  Analysis for Security}},
  address = {Beijin, China},
  year = {2012},
  month = jun,
  pdf = {doligez-jaume-rioboo-plas-2012.pdf}
}
@inproceedings{cousinea-et-al-fm-2012,
  title = {{TLA+} Proofs},
  author = {Denis Cousineau and
              Damien Doligez and
              Leslie Lamport and
              Stephan Merz and
              Daniel Ricketts and
              Hern{\'a}n Vanzetto},
  booktitle = {{18th International Symposium On Formal Methods - FM 2012}},
  publisher = {Springer},
  pages = {147-154},
  address = {Paris, France},
  volume = {7436},
  editor = {Dimitra Giannakopoulou and Dominique M{\'e}ry },
  series = {Lecture Notes in Computer Science },
  year = {2012},
  pdf = {cousineau-et-al-fm-2012.pdf}
}
@manual{lafosec-etat-des-lieux,
  title = {{\'E}tat des lieux des langages fonctionnels},
  author = {{LaFoSec}},
  institution = {{ANSSI}},
  year = 2011,
  pdf = {LaFoSec_-_Etat_des_lieux_des_langages_fonctionnels.pdf}
}
@manual{lafosec-analyse,
  title = {Analyse des langages OCaml, {F#} et Scala},
  author = {{LaFoSec}},
  institution = {{ANSSI}},
  year = 2011,
  pdf = {LaFoSec_-_Analyse_des_langages_OCaml_F_et_Scala.pdf}
}
@manual{lafosec-modeles-execution,
  title = {Mod\`eles d'ex\'ecution de OCaml},
  author = {{LaFoSec}},
  institution = {{ANSSI}},
  year = 2011,
  pdf = {LaFoSec_-_Modeles_d_execution_de_OCaml.pdf}
}
@manual{lafosec-outils,
  title = {Outils associ\'es au langage OCaml},
  author = {{LaFoSec}},
  institution = {{ANSSI}},
  year = 2011,
  pdf = {LaFoSec_-_Outils_associes_au_langage_OCaml.pdf}
}
@manual{lafosec-recommandations,
  title = {Recommandations relatives \`a l'utilisation du langage
                  OCaml et \`a l'installation et la configuration des
                  outils associ\'es},
  author = {{LaFoSec}},
  institution = {{ANSSI}},
  year = 2011,
  pdf = {LaFoSec_-_Recommandations_relatives_a_l_utilisation_du_langage_OCaml_et_a_l_installation_et_la_configuration_des_outils_associes.pdf}
}
@inproceedings{chaudhuri-et-al-ictac-2010,
  author = {Kaustuv Chaudhuri and
               Damien Doligez and
               Leslie Lamport and
               Stephan Merz},
  title = {The {TLA+} Proof System: Building a Heterogeneous
               Verification Platform},
  booktitle = {ICTAC},
  year = {2010},
  pages = {44},
  xxcrossref = {ictac-2010},
  pdf = {chaudhuri-et-al-ictac-2010.pdf}
}
@inproceedings{chaudhuri-etal-ijcar-2010,
  author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport and
            Stephan Merz},
  title = {Verifying Safety Properties with the {TLA+} Proof System},
  booktitle = {Fifth International Joint Conference on Automated Reasoning
               (IJCAR)},
  year = 2010,
  editor = {J\"urgen Giesl and Reiner Haehnle},
  pages = {142--148},
  publisher = {Springer},
  month = jul,
  xxcrossref = {ijcar-2010},
  pdf = {chaudhuri-et-al-ijcar-2010.pdf}
}
@inproceedings{brunel-etal-popl-2009,
  author = {Julien Brunel and Damien Doligez and
             Ren\'{e} Rydhof Hansen and Julia L. Lawall and
             Gilles Muller},
  title = {A Foundation for Flow-Based Program Matching
           Using Temporal Logic and Model Checking},
  booktitle = {Proceedings of the 36th {ACM} Symposium on Principles of
               Programming Languages (POPL)},
  publisher = {ACM},
  year = 2009,
  month = jan,
  xxcrossref = {popl-2009},
  pdf = {brunel-et-al-popl-2009.pdf}
}
@inproceedings{ayrault-et-al-cesar-2008,
  author = {Philippe Ayrault and Matthieu Carlier and David Delahaye
            and Catherine Dubois and Damien Doligez and Lionel Habib
            and Th\'er\`ese Hardin and Mathieu Jaume and Charles Morisset
            and Fran\c{c}ois Pessaux and Renaud Rioboo and Pierre Weis},
  title = {Trusted Software within Focal},
  booktitle = {Computer \& Electronics Security Applications
                  Rendez-vous (C\&ESAR)},
  year = 2008,
  editor = {Pascal Chour and Yves Correc and Olivier Heen and Ludovic M\'e},
  pages = {142--158},
  publisher = {},
  month = dec,
  xxcrossref = {cesar-2008},
  pdf = {ayrault-et-al-cesar-2008.pdf}
}
@inproceedings{chaudhuri-et-al-keappa-2008,
  author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport
            and Stephan Merz},
  title = {A {TLA${}^{+}$} Proof System},
  booktitle = {Proceedings of the {LPAR} Workshops: Knowledge Exchange:
               Automated Provers and Proof Assistants, and The 7th
               International Workshop on the Implementation of Logics
                  (KEAPPA)},
  year = 2008,
  editor = {Sutcliffe, G. and Rudnicki, P. and Schmidt, R. and Konev, B.
            and Schulz, S.},
  month = nov,
  key = {},
  xxcrossref = {keappa-2008},
  pdf = {chaudhuri-et-al-keappa-2008.pdf}
}
@inproceedings{cuoq-doligez-ml-2008,
  author = {Pascal Cuoq and Damien Doligez},
  title = {Hashconsing in an Incrementally Garbage-Collected System:
           A Story of Weak Pointers and Hashconsing in {OCaml} 3.10.2},
  booktitle = {{ACM} {SIGPLAN} workshop on {ML}},
  year = 2008,
  editor = {},
  pages = {13--22},
  publisher = {ACM},
  month = sep,
  xxcrossref = {ml-workshop-2008},
  pdf = {cuoq-doligez-mlw-2008.pdf},
  ps = {cuoq-doligez-mlw-2008.ps}
}
@article{doligez-et-al-ecology-2008,
  author = {Blandine Doligez and Anne Berthouly and Damien Doligez
            and Marion Tanner and Verena Saladin and Danielle Bonfils
            and Heinz Richner},
  title = {Spatial Scale of Local Breeding Habitat Quality and Adjustment
           of Breeding Decisions},
  journal = {Ecology},
  year = 2008,
  volume = 89,
  number = 5,
  pages = {1436--1444},
  month = may,
  pdf = {doligez-et-al-ecology-2008.pdf}
}
@inproceedings{bonichon-delahaye-doligez-lpar-2007,
  author = {Richard Bonichon and David Delahaye and Damien Doligez},
  title = {{Zenon} : an Extensible Automated Theorem Prover Producing
               Checkable Proofs},
  booktitle = {International Conference on Logic for Programming,
                  Artificial Intelligence, and Reasoning (LPAR)},
  year = 2007,
  editor = {Nachum Dershowitz and Andrei Voronkov},
  pages = {151--165},
  publisher = {Springer},
  month = oct,
  xxcrossref = {lpar-2007},
  pdf = {bonichon-delahaye-doligez-lpar-2007.pdf},
  ps = {bonichon-delahaye-doligez-lpar-2007.ps}
}
@inproceedings{prevosto-doligez-hardin-tphol-2002,
  author = {Virgile Prevosto and Damien Doligez and Th\'er\`ese Hardin},
  title = {Algebraic Structures and Dependent Records},
  booktitle = {International Conference on Theorem Proving in Higher
                  Order Logics (TPHOLs)},
  year = 2002,
  editor = {V\'ictor Carre{\~n}o and C\'esar Mu{\~n}oz and Sofi\`ene Tahar},
  pages = {298--313},
  publisher = {Springer},
  month = aug,
  xxcrossref = {tphol-2002},
  pdf = {prevosto-doligez-hardin-tphol-2002.pdf},
  ps = {prevosto-doligez-hardin-tphol-2002.ps}
}
@article{prevosto-doligez-jar-2002,
  author = {Virgile Prevosto and Damien Doligez},
  title = {Algorithms and Proofs Inheritance in the {FOC} Language},
  journal = {J. Automated Reasoning},
  year = 2002,
  volume = {29},
  number = {3--4},
  pages = {337--363},
  month = dec,
  pdf = {prevosto-doligez-jar-2002.pdf},
  ps = {prevosto-doligez-jar-2002.ps}
}
@inproceedings{akhiani-et-al-fm-1999,
  author = {Homayoon Akhiani and Damien Doligez and Paul Harter and Leslie
            Lamport and Joshua Scheid and Mark R. Tuttle and Yuan Yu},
  title = {Cache Coherence Verification with {TLA+}},
  booktitle = {World Congress on Formal Methods (FM)},
  year = 1999,
  pages = {1871},
  month = sep,
  xxcrossref = {fm-1999},
  pdf = {akhiani-et-al-fm-1999.pdf},
  tex = {akhiani-et-al-fm-1999.tex}
}
@phdthesis{doligez-thesis-1995,
  author = {Damien Doligez},
  title = {Conception, r\'ealisation et certification d'un glaneur de
           cellules concurrent},
  school = {Universit\'e Paris 7},
  year = {1995},
  month = may,
  pdf = {doligez-thesis-1995.pdf},
  ps = {doligez-thesis-1995.ps},
  tex = {doligez-thesis-1995-tex.tgz}
}
@inproceedings{doligez-gonthier-popl-1994,
  author = {Damien Doligez and Georges Gonthier},
  title = {Portable, Unobtrusive Garbage Collection for Multiprocessor Systems},
  booktitle = {Proceedings of the 21st ACM Symposium on Principles of
                  Programming Languages (POPL)},
  year = 1994,
  pages = {70--83},
  publisher = {ACM press},
  month = jan,
  xxcrossref = {popl-1994},
  pdf = {doligez-gonthier-popl-1994.pdf},
  ps = {doligez-gonthier-popl-1994.ps}
}
@inproceedings{doligez-leroy-popl-1993,
  author = {Damien Doligez and Xavier Leroy},
  title = {A Concurrent, Generational Garbage Collector for a Multithreaded
           Implementation of {ML}},
  booktitle = {Proceedings of the 20th ACM Symposium on Principles of
                  Programming Languages (POPL)},
  year = 1993,
  pages = {113--123},
  publisher = {ACM press},
  month = jan,
  xxcrossref = {popl-1993},
  pdf = {doligez-leroy-popl-1993.pdf},
  ps = {doligez-leroy-popl-1993.ps}
}

This file was generated by bibtex2html 1.97.