pascutto.bib

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

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

@inproceedings{filliatrepascutto21,
  author = {Jean-Christophe Filli\^atre and Cl\'ement Pascutto},
  title = {{Ortac}: Runtime Assertion Checking for {OCaml}},
  year = 2021,
  topics = {team},
  booktitle = {Proceedings of the 21st International Conference on Runtime Verification (RV'21)},
  month = may,
  hal = {https://hal.inria.fr/hal-03252901},
  abstract = {Runtime assertion checking (RAC) is a convenient set of
    techniques that lets developers abstract away the
    process of verifying the correctness of their
    programs by writing formal specifications and
    automating their verification at runtime.  In this
    work, we present ortac, a runtime assertion checking
    tool for OCaml libraries and programs. OCaml is a
    functional programming lan- guage in which idioms
    rely on an expressive type system, modules, and
    interface abstractions. ortac consumes interfaces
    annotated with type invariants and function
    contracts and produces code wrappers with the same
    signature that check these specifications at
    runtime. It provides a flexible framework for
    traditional assertion checking, monitoring mis-
    behaviors without interruptions, and automated fuzz
    testing for OCaml programs.  This paper presents an
    overview of ortac features and highlights its main
    design choices.}
}

@inproceedings{osbornepascuttoOCaml21,
  hal = {https://hal.inria.fr/hal-03328646v1},
  author = {Nicolas Osborne and Cl\'ement Pascutto},
  title = {Leveraging Formal Specifications to Generate Fuzzing Suites
},
  booktitle = {OCaml workshop},
  year = 2021,
  month = aug
}

@inproceedings{osborne21ocaml,
  topics = {team},
  title = {Leveraging Formal Specifications to Generate Fuzzing Suites},
  author = {Osborne, Nicolas and Pascutto, Cl{\'e}ment},
  hal = {https://hal.inria.fr/hal-03328646},
  booktitle = {OCaml Users and Developers Workshop, co-located with the 26th ACM SIGPLAN International Conference on Functional Programming},
  year = 2021
}

@inproceedings{filliatre21rv,
  topics = {team},
  title = {{Ortac}: Runtime Assertion Checking for {OCaml}},
  author = {Filli{\^a}tre, Jean-Christophe and Pascutto, Cl{\'e}ment},
  hal = {https://hal.inria.fr/hal-03252901},
  booktitle = {21st International Conference on Runtime Verification},
  year = 2021
}

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

@phdthesis{pascutto23phd,
  topics = {team},
  author = {Pascutto, Cl\'ement},
  title = {Runtime Verification of OCaml Programs},
  school = {Universit\'e Paris-Saclay},
  year = 2023,
  type = {PhD thesis}
}