By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

Publications HAL de la structure 1096087; 178327; 179717; 528454; 205728; 458310; 179718; 35418

2023

Journal articles

titre
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
auteur
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
article
Proceedings of the ACM on Programming Languages, 2023, ⟨10.1145/3571254⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03886910/file/ctrees.pdf BibTex
titre
Dynamic Scheduling Strategies for Firm Semi-Periodic Real-Time Tasks
auteur
Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien
article
IEEE Transactions on Computers, 2023, 72 (1), pp.55-68. ⟨10.1109/TC.2022.3208203⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03778357/file/revised_ieeetc_submitted_June_15_2022.pdf BibTex
titre
Le dilemme du fabricant de tables
auteur
Sylvie Boldo, Nicolas Brisebarre, Jean-Michel Muller
article
La Recherche, 2023, 572
Accès au bibtex
BibTex

Conference papers

titre
Effectful Programming across Heterogeneous Computations -Work in Progress
auteur
Yannick Zakowski, Martin Bodin, Jean Abou-Samra
article
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.173-189
Accès au texte intégral et bibtex
https://hal.science/hal-03886975/file/ordered.pdf BibTex
titre
Retrofitting OCaml modules
auteur
Clément Blaudeau, Didier Rémy, Gabriel Radanne
article
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.42-83
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03936636/file/main.pdf BibTex

Software

titre
GNU MPFR
auteur
Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny
article
2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Twin-width VIII: delineation and win-wins
auteur
Édouard Bonnet, Dibyayan Chakraborty, Eun Jung Kim, Noleen Köhler, Raul Lopes, Stéphan Thomassé
article
2023
Accès au bibtex
https://arxiv.org/pdf/2204.00722 BibTex
titre
Holonomic equations and efficient random generation of binary trees
auteur
Pierre Lescanne
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03674690/file/Hol_Lin_Gen.pdf BibTex
titre
Environmental assessment of projects involving AI methods
auteur
Laurent Lefèvre, Anne-Laure Ligozat, Denis Trystram, Sylvain Bouveret, Aurélie Bugeau, Jacques Combaz, Frenoux Emmanuelle, Gaël Guennebaud, Julien Lefèvre, Jean-Philippe Nicolaï, Karin Dassas
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-03922093/file/English%20version%20Proposition%20de%20document%20de%20cadrage%20projets%20IA%20minist%C3%A8re.pdf BibTex