andres.bib

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

@comment{{Command line: bib2bib -q -oc andres.cite -ob andres.bib -c 'author : "Andrčs"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{andres19rr,
  topics = {team},
  title = {V\'erification par preuve formelle de propri\'et\'es fonctionnelles d'algorithme de classification},
  author = {Andr\`es, L\'eo},
  hal = {https://hal.inria.fr/hal-02421484},
  type = {Rapport de stage de {M1}},
  institution = {Universit\'e Paris Sud},
  year = 2019,
  month = aug
}

@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{andres23ifl,
  topics = {team},
  title = {{Wasocaml}: compiling {OCaml} to {WebAssembly}},
  author = {Andr{\`e}s, L{\'e}o and Chambart, Pierre and Filli{\^a}tre, Jean-Christophe},
  hal = {https://inria.hal.science/hal-04311345},
  booktitle = {35th Symposium on Implementation and Application of Functional Languages},
  editor = {Jo{\~a}o Saraiva and Jo{\~a}o Fernandes},
  year = 2023
}

@article{andres24tasep,
  topics = {team},
  title = {{Owi}: Performant Parallel Symbolic Execution Made Easy, an Application to {WebAssembly}},
  author = {Andr{\`e}s, L{\'e}o and Marques, Filipe and Carcano, Arthur and Chambart, Pierre and Fragoso Femenin dos Santos, Jos{\'e} and Filli{\^a}tre, Jean-Christophe},
  hal = {https://hal.science/hal-04627413},
  journal = {The Art, Science, and Engineering of Programming},
  publisher = {aosa, Inc.},
  volume = 9,
  number = 2,
  year = 2024
}

@phdthesis{andres24phd,
  topics = {team},
  hal = {https://theses.hal.science/tel-04995610},
  author = {Andr{\`e}s, L{\'e}o},
  title = {Exécution symbolique pour tous ou Compilation d’{OCaml} vers {WebAssembly}},
  school = {Universit\'e Paris-Saclay},
  year = 2024,
  type = {PhD thesis}
}