2022-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2022-conference.cite -ob 2022-conference.bib -c 'year = 2022 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{filliatre22rv,
  topics = {team},
  title = {Optimizing Prestate Copies in Runtime Verification of Function Postconditions},
  author = {Filli{\^a}tre, Jean-Christophe and Pascutto, Cl{\'e}ment},
  hal = {https://hal.inria.fr/hal-03690675v1},
  booktitle = {22nd International Conference on Runtime Verification},
  year = 2022
}

@inproceedings{denis22icfem,
  topics = {team},
  title = {{Creusot}: a Foundry for the Deductive Verication of {Rust} Programs},
  author = {Denis, Xavier and Jourdan, Jacques-Henri and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-03737878},
  booktitle = {International Conference on Formal Engineering Methods - ICFEM},
  address = {Madrid, Spain},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = 2022,
  keywords = {Rust programming language ; Deductive program verification ; Aliasing and Ownership ; Prophecies ; Traits}
}

@inproceedings{matsushita22pldi,
  topics = {team},
  title = {{RustHornBelt}: a semantic foundation for functional verification of {Rust} programs with unsafe code},
  author = {Matsushita, Yusuke and Denis, Xavier and Jourdan, Jacques-Henri and Dreyer, Derek},
  hal = {https://hal.inria.fr/hal-03777103},
  booktitle = {International Conference on Programming Language Design and Implementation},
  publisher = {ACM},
  pages = {841--856},
  year = 2022,
  doi = {10.1145/3519939.3523704}
}

@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
}

@inproceedings{andres22jfla,
  topics = {team},
  title = {Connecter l'{\'e}cosyst{\`e}me {OCaml} {\`a} {Software} {Heritage} via opam},
  author = {Andr{\`e}s, L{\'e}o and Boujbel, Raja and Gesbert, Louis and Pinto, Dario},
  hal = {https://hal.inria.fr/hal-03626845},
  booktitle = {33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  editor = {Chantal Keller and Timothy Bourke},
  pages = {227--234},
  year = 2022
}

@inproceedings{bozman22jfla,
  topics = {team},
  title = {Jouez {\`a} Faire Consensus Avec {MITTEN} (d{\'e}monstration)},
  author = {Bozman, {\c C}agdas and Iguernlala, Mohamed and Laporte, Michael and Levillain, Maxime and Mebsout, Alain and Conchon, Sylvain},
  hal = {https://hal.inria.fr/hal-03626847},
  booktitle = {33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  editor = {Chantal Keller and Timothy Bourke},
  pages = {248--250},
  year = 2022
}

@inproceedings{conchon22fab,
  topics = {team},
  author = {Sylvain Conchon},
  editor = {Sara Tucci Piergiovanni and Natacha Crooks},
  title = {Some Insights on Open Problems in Blockchains: Explorative Tracks
                  for Tezos (Invited Talk)},
  booktitle = {5th International Symposium on Foundations and Applications of Blockchain
                  2022, {FAB} 2022, June 3, 2022, Berkeley, CA, {USA}},
  series = {OASIcs},
  volume = 101,
  pages = {2:1--2:1},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year = 2022,
  doi = {10.4230/OASICS.FAB.2022.2}
}