2024-conference.bib

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

@comment{{Command line: bib2bib -q -oc 2024-conference.cite -ob 2024-conference.bib -c 'year = 2024 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{marche24jfla,
  topics = {team},
  author = {March{\'e}, Claude and Cousineau, Denis},
  hal = {https://inria.hal.science/hal-04342273},
  year = 2024,
  title = {De l'avantage de nuancer les d{\'e}cisions binaires},
  booktitle = {35es Journ{\'e}es Francophones des Langages Applicatifs}
}

@inproceedings{timany24popl,
  topics = {team},
  title = {The Logical Essence of Well-Bracketed Control Flow},
  author = {Timany, Amin and Gu{\'e}neau, Arma{\"e}l and Birkedal, Lars},
  hal = {https://hal.science/hal-04271457},
  booktitle = {POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages},
  organization = {SIGPLAN},
  publisher = {ACM},
  year = 2024
}

@inproceedings{pottier24popl,
  topics = {team},
  title = {Thunks and Debits in Separation Logic with Time Credits},
  author = {Pottier, Fran{\c c}ois and Gu{\'e}neau, Arma{\"e}l and Jourdan, Jacques-Henri and M{\'e}vel, Glen},
  hal = {https://hal.science/hal-04238691},
  booktitle = {POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages},
  organization = {SIGPLAN},
  publisher = {ACM},
  volume = 8,
  year = 2024
}

@inproceedings{bonnot24fmcad,
  topics = {team},
  title = {Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function},
  author = {Bonnot, Paul and Boyer, Beno{\^i}t and Faissole, Florian and March{\'e}, Claude and Rieu-Helft, Rapha{\"e}l},
  hal = {https://inria.hal.science/hal-04674600},
  booktitle = {Formal Methods in Computer-Aided Design},
  publisher = {IEEE},
  year = 2024
}

@inproceedings{filliatre24bigspec,
  author = {Jean-Christophe Filli\^atre},
  title = {Proofs on Inductive Predicates in Why3},
  booktitle = {Big Specification: Specification, Proof, and Testing at Scale},
  year = 2024,
  month = {October},
  address = {Cambridge, UK},
  note = {Invited talk},
  topics = {team, lri},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-invited-conference = {yes},
  x-international-audience = {yes},
  hal = {https://hal.science/hal-04734466}
}

@inproceedings{melquiond24coq,
  topics = {team},
  title = {Turning the {Coq} Proof Assistant into a Pocket Calculator},
  author = {Melquiond, Guillaume},
  hal = {https://inria.hal.science/hal-04702129},
  booktitle = {Coq 2024 - 15th Coq Workshop},
  address = {Tbilisi, Georgia},
  year = 2024
}

@inproceedings{faissole24itp,
  topics = {team},
  title = {End-to-End Formal Verification of a Fast and Accurate Floating-Point Approximation},
  author = {Faissole, Florian and Geneau de Lamarli{\`e}re, Paul and Melquiond, Guillaume},
  hal = {https://hal.science/hal-04515714},
  booktitle = {5th International Conference on Interactive Theorem
                  Proving},
  publisher = {Leibniz International Proceedings in Informatics},
  address = {Tbilisi, Georgia},
  volume = 309,
  pages = {14:1-14:18},
  year = 2024,
  doi = {10.4230/LIPIcs.ITP.2024.14}
}

@inproceedings{melquiond24icfp,
  topics = {team},
  title = {A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler},
  author = {Melquiond, Guillaume and Moreau, Josu{\'e}},
  hal = {https://inria.hal.science/hal-04485670},
  booktitle = {29th ACM SIGPLAN International Conference on Functional Programming},
  address = {Milan, Italy},
  volume = 8,
  number = {ICFP},
  pages = {121--146},
  year = 2024
}

@inproceedings{boldo24thedu,
  topics = {team},
  title = {Teaching Divisibility and Binomials with {Coq}},
  author = {Boldo, Sylvie and Cl{\'e}ment, Fran{\c c}ois and Hamelin, David and Mayero, Micaela and Rousselin, Pierre},
  hal = {https://hal.science/hal-04725586},
  booktitle = {13th International Workshop on Theorem proving components for Educational software},
  address = {Nancy, France},
  year = 2024
}