clochard.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc clochard.cite -ob clochard.bib -c 'author : "clochard" and topics : "team"' /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{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},
  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 Saclay Ile-de-France},
  year = 2016,
  month = dec
}
@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,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  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},
  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}
}