faissole.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc faissole.cite -ob faissole.bib -c 'author : "faissole"' /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}}
@inproceedings{boldo:hal-01391578,
  topics = {team},
  title = {{A Coq Formal Proof of the Lax-Milgram theorem}},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Faissole, Florian
                  and Martin, Vincent and Mayero, Micaela},
  hal = {https://hal.inria.fr/hal-01391578},
  booktitle = {{Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs}},
  series = {CPP 2017},
  location = {Paris, France},
  year = {2017},
  month = jan,
  pages = {79--89},
  pdf = {https://hal.inria.fr/hal-01391578/file/article.pdf},
  doi = {10.1145/3018610.3018625},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{boldo17arith,
  topics = {team},
  title = {Round-off Error Analysis of Explicit One-Step Numerical Integration Methods},
  author = {Boldo, Sylvie and Faissole, Florian and Chapoutot, Alexandre},
  hal = {https://hal.archives-ouvertes.fr/hal-01581794},
  booktitle = {24th IEEE Symposium on Computer Arithmetic},
  address = {London, United Kingdom},
  year = {2017},
  month = jul,
  doi = {10.1109/ARITH.2017.22},
  pdf = {https://hal.archives-ouvertes.fr/hal-01581794/file/arith_hal.pdf}
}
@inproceedings{BCF17b,
  topics = {team},
  title = {Preuve formelle du th{\'e}or{\`e}me de {Lax--Milgram}},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Faissole, Florian and Martin, Vincent and Mayero, Micaela},
  hal = {https://hal.archives-ouvertes.fr/hal-01581807},
  booktitle = {{16{\`e}mes journ{\'e}es Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels}},
  address = {Montpellier, France},
  year = {2017},
  month = jun,
  pdf = {https://hal.archives-ouvertes.fr/hal-01581807/file/article_afadl.pdf}
}
@inproceedings{Faissole17,
  topics = {team},
  title = {{Formalization and closedness of finite dimensional subspaces}},
  author = {Faissole, Florian},
  url = {https://hal.inria.fr/hal-01630411},
  booktitle = {{SYNASC 2017 - 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing}},
  address = {Timișoara, Romania},
  year = {2017},
  month = sep,
  keywords = {filters ; finite dimensional subspaces ; formalization of mathematics ; functional analysis ; formal proof ; Coq},
  pdf = {https://hal.inria.fr/hal-01630411/file/synasc_hal.pdf},
  hal_id = {hal-01630411},
  hal_version = {v1}
}
@inproceedings{spitters18jfla,
  topics = {team},
  crossref = {jfla18},
  title = {Preuves constructives de programmes probabilistes},
  author = {Faissole, Florian and Spitters, Bas},
  hal = {https://hal.inria.fr/hal-01654459},
  hal_id = {hal-01654459},
  hal_version = {v1}
}
@inproceedings{faissole18jfla,
  topics = {team},
  crossref = {jfla18},
  title = {D{\'e}finir le fini : deux formalisations d'espaces de dimension finie},
  author = {Faissole, Florian},
  hal = {https://hal.inria.fr/hal-01654457},
  pdf = {https://hal.inria.fr/hal-01654457/file/jfla.pdf},
  hal_id = {hal-01654457},
  hal_version = {v1}
}
@inproceedings{boldo18arith,
  topics = {team},
  title = {A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers},
  author = {Boldo, Sylvie and Faissole, Florian and Tourneur, Vincent},
  hal = {https://hal.inria.fr/hal-01772272},
  booktitle = {25th IEEE Symposium on Computer Arithmetic},
  address = {Amherst, MA, United States},
  year = 2018,
  month = jun
}
@inproceedings{faissole:hal-01405762,
  title = {Synthetic topology in {HoTT} for probabilistic programming},
  author = {Faissole, Florian and Spitters, Bas},
  booktitle = {The Third International Workshop on Coq for Programming Languages (CoqPL 2017)},
  address = {Paris, France},
  year = 2017,
  month = jan,
  hal = {https://hal.inria.fr/hal-01405762}
}
@misc{faissole:hal-01485397,
  title = {Synthetic topology in homotopy type theory for probabilistic programming},
  author = {Faissole, Florian and Spitters, Bas},
  howpublished = {PPS 2017 - Workshop on probabilistic programming semantics },
  year = 2017,
  month = jan,
  hal = {https://hal.inria.fr/hal-01485397},
  note = {Poster}
}
@proceedings{jfla18,
  topics = {team},
  title = {Vingt-neuvi\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Vingt-neuvi\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Banyuls-sur-mer, France},
  year = 2018,
  month = jan,
  editor = {Boldo, Sylvie and Magaud, Nicolas},
  hal = {https://hal.inria.fr/hal-01707376}
}