clochard.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -q -oc clochard.cite -ob clochard.bib -c 'author : "clochard"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@mastersthesis{clochard13master,
  topics = {team},
  author = {Martin Clochard},
  title = {Proving Programs with binders, automatically},
  school = {Master Parisien de Recherche en Informatique},
  year = 2013
}

@inproceedings{clochard14plpv,
  hal = {http://hal.inria.fr/hal-00913431},
  topics = {team},
  author = {Martin Clochard and Claude March\'e and Andrei Paskevich},
  title = {Verified Programs with Binders},
  booktitle = {Programming Languages meets Program Verification (PLPV)},
  year = 2014,
  publisher = {ACM Press},
  type_digiteo = {conf_isbn},
  type_publi = {colloque},
  x-equipes = {demons Toccata},
  x-support = {actes},
  x-cle-support = {PLPV}
}

@inproceedings{clochard14popl,
  hal = {http://hal.inria.fr/hal-00920955},
  topics = {team},
  author = {M. Clochard and S. Chaudhuri and A. Solar-Lezama},
  title = {Bridging Boolean and Quantitative Synthesis Using Smoothed Proof Search},
  crossref = {popl2014}
}

@inproceedings{cfmp14vstte,
  hal = {http://hal.inria.fr/hal-01067197},
  author = {Martin Clochard and Jean-Christophe
  Filli\^atre and Claude March\'e and Andrei Paskevich},
  title = {Formalizing Semantics with an Automatic Program
  Verifier},
  pages = {37--51},
  crossref = {vstte14},
  topics = {team,lri},
  keywords = {Why3},
  type_publi = {icolcomlec},
  x-international-audience = {yes},
  x-proceedings = {yes}
}

@inproceedings{cfp15vstte,
  hal = {http://hal.inria.fr/hal-01162661},
  author = {Martin Clochard and Jean-Christophe
  Filli\^atre and Andrei Paskevich},
  title = {How to avoid proving the absence of integer overflows},
  pages = {94--109},
  crossref = {vstte15},
  topics = {team,lri},
  keywords = {Why3},
  type_publi = {icolcomlec},
  x-international-audience = {yes},
  x-proceedings = {yes}
}

@inproceedings{clochard14vstte,
  hal = {http://hal.inria.fr/hal-01067217},
  author = {Martin Clochard},
  title = {Automatically verified implementation of data structures
                  based on {AVL} trees},
  pages = {167--180},
  crossref = {vstte14},
  topics = {team,lri},
  keywords = {Why3},
  type_publi = {icolcomlec},
  x-international-audience = {yes},
  x-proceedings = {yes}
}

@inproceedings{clochard15jfla,
  hal = {https://hal.inria.fr/hal-01094488},
  topics = {team},
  author = {Martin Clochard and L\'eon Gondelman},
  title = {Double {WP}: vers une preuve automatique d'un compilateur},
  crossref = {jfla15}
}

@inproceedings{clochard16,
  topics = {team},
  author = {Martin Clochard and L\'eon Gondelman and M\'ario Pereira},
  title = {The {Matrix} Reproved},
  crossref = {vstte16},
  hal = {https://hal.inria.fr/hal-01316902}
}

@inproceedings{clochard17jfla,
  topics = {team},
  title = {{Preuves taill{\'e}es en biseau}},
  author = {Clochard, Martin},
  hal = {https://hal.inria.fr/hal-01404935},
  crossref = {jfla17}
}

@techreport{chen16rr,
  topics = {team},
  title = {A Formal Proof of a {Unix} Path Resolution Algorithm},
  author = {Ran Chen and Martin Clochard and Claude March\'e},
  hal = {https://hal.inria.fr/hal-01406848},
  type = {Research Report},
  number = {RR-8987},
  institution = {Inria},
  year = 2016,
  month = dec
}

@article{clochard17jar,
  topics = {team},
  title = {The {Matrix} Reproved},
  author = {Clochard, Martin and Gondelman, L{\'e}on and Pereira, M{\'a}rio},
  hal = {https://hal.inria.fr/hal-01617437},
  journal = {Journal of Automated Reasoning},
  pages = {365--383},
  volume = 60,
  number = 3,
  publisher = {Springer},
  year = 2018,
  doi = {10.1007/s10817-017-9436-2}
}

@article{chen17jfr,
  topics = {team},
  title = {A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links},
  author = {Chen, Ran and Clochard, Martin and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01652148},
  journal = {Journal of Formalized Reasoning},
  volume = 10,
  number = 1,
  year = 2017,
  pages = {51--66},
  doi = {10.6092/issn.1972-5787/6767},
  url = {https://jfr.unibo.it/article/view/6767}
}

@phdthesis{clochard18phd,
  topics = {team},
  title = {M\'ethodes et outils pour la sp\'ecification et la preuve de propri\'et\'es difficiles de programmes s\'equentiels},
  author = {Clochard, Martin},
  hal = {https://tel.archives-ouvertes.fr/tel-01787689},
  number = {2018SACLS071},
  school = {Universit{\'e} Paris-Saclay},
  year = 2018,
  month = mar,
  type = {Th{\`e}se de Doctorat}
}

@techreport{clochard18rr,
  topics = {team},
  title = {Deductive Verification via Ghost Debugging},
  author = {Clochard, Martin and Paskevich, Andrei and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01907894},
  type = {Research Report},
  number = 9219,
  institution = {Inria},
  year = 2018
}

@inproceedings{clochard20popl,
  topics = {team},
  title = {Deductive Verification with Ghost Monitors},
  author = {Clochard, Martin and March\'e, Claude and Paskevich, Andrei},
  hal = {https://hal.inria.fr/hal-02368284},
  booktitle = {Principles of Programming Languages},
  address = {New Orleans, United States},
  year = 2020,
  doi = {10.1145/3371070}
}

@proceedings{popl2014,
  title = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = 2014,
  booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  address = {San Diego, USA},
  month = jan,
  publisher = {ACM Press}
}

@proceedings{jfla15,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  year = 2015,
  booktitle = {Vingt-sixi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Val d'Ajol, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}

@proceedings{jfla17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01662072},
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Boldo, Sylvie and Signoles, Julien},
  year = 2017,
  booktitle = {Vingt-huiti\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Gourette, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}

@proceedings{vstte14,
  booktitle = {6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE)},
  month = jul,
  year = 2014,
  address = {Vienna, Austria},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Dimitra Giannakopoulou and Daniel Kroening},
  series = {Lecture Notes in Computer Science},
  volume = 8471,
  publisher = {Springer}
}

@proceedings{vstte15,
  booktitle = {7th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE)},
  month = jul,
  year = 2015,
  address = {San Francisco, California, USA},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Arie Gurfinkel and Sanjit A. Seshia},
  series = {Lecture Notes in Computer Science},
  volume = 9593,
  publisher = {Springer}
}

@proceedings{vstte16,
  booktitle = {8th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE)},
  month = jul,
  year = 2016,
  address = {Toronto, Canada},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Sandrine Blazy and Marsha Chechik},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}