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
-
- 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
-
- titre
- Le dilemme du fabricant de tables
- auteur
- Sylvie Boldo, Nicolas Brisebarre, Jean-Michel Muller
- article
- La Recherche, 2023, 572
- Accès au 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
-
- 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
-
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
-
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
-
- titre
- Holonomic equations and efficient random generation of binary trees
- auteur
- Pierre Lescanne
- article
- 2023
- Accès au texte intégral et 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
-