xavierdenis.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc xavierdenis.cite -ob xavierdenis.bib -c 'author : "Xavier Denis\|Denis, Xavier"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{denis20ir,
  topics = {team},
  title = {Deductive program verification for a language with a {Rust}-like typing discipline},
  author = {Denis, Xavier},
  hal = {https://hal.archives-ouvertes.fr/hal-02962804},
  type = {Internship report},
  institution = {Universit{\'e} de Paris},
  year = 2020,
  month = sep
}

@techreport{denis21rr,
  topics = {team},
  title = {The {Creusot} Environment for the Deductive Verification of {Rust} Programs},
  author = {Denis, Xavier and Jourdan, Jacques-Henri and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-03526634},
  type = {Research Report},
  number = 9448,
  institution = {Inria Saclay - {\^I}le de France},
  year = 2021
}

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

@phdthesis{denis23phd,
  topics = {team},
  hal = {https://hal.science/tel-04517581},
  author = {Denis, Xavier},
  title = {Deductive Verification of Rust Programs},
  school = {Universit\'e Paris-Saclay},
  year = 2023,
  type = {PhD thesis}
}