gueneau.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc gueneau.cite -ob gueneau.bib -c 'author : "Guéneau"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{gueneau18esop,
  title = {A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification},
  author = {Gu{\'e}neau, Arma{\"e}l and Chargu{\'e}raud, Arthur and Pottier, Fran\c{c}ois},
  booktitle = {ESOP 2018 - 27th European Symposium on Programming},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 10801,
  year = 2018,
  doi = {10.1007/978-3-319-89884-1\_19}
}

@inproceedings{vanstrydonck22csf,
  topics = {team},
  title = {Proving full-system security properties under multiple attacker models on capability machines},
  author = {Van Strydonck, Thomas and Georges, A{\"i}na Linn and Gu{\'e}neau, Arma{\"e}l and Trieu, Alix and Timany, Amin and Piessens, Frank and Birkedal, Lars and Devriese, Dominique},
  hal = {https://hal.inria.fr/hal-03826851},
  booktitle = {CSF 2022 - 35th IEEE Computer Security Foundations Symposium},
  year = 2022
}

@article{georges23jacm,
  topics = {team},
  title = {Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code},
  author = {Georges, A{\"i}na Linn and Gu{\'e}neau, Arma{\"e}l and Van Strydonck, Thomas and Timany, Amin and Trieu, Alix and Devriese, Dominique and Birkedal, Lars},
  hal = {https://hal.science/hal-03826854},
  journal = {Journal of the ACM},
  year = 2023,
  doi = {10.1145/3623510}
}

@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{gueneau23oopsla,
  topics = {team},
  title = {{Melocoton}: A Program Logic for Verified Interoperability Between {OCaml} and {C}},
  author = {Gu{\'e}neau, Arma{\"e}l and Hostert, Johannes and Spies, Simon and Sammler, Michael and Birkedal, Lars and Dreyer, Derek},
  hal = {https://inria.hal.science/hal-04203298},
  booktitle = {Object-Oriented Programming, Systems, Languages \& Applications},
  publisher = {ACM},
  year = 2023,
  doi = {10.1145/3622823}
}