2024
Journal articles
- titre
- Graphs with all holes the same length
- auteur
- Linda Cook, Jake Horsfield, Myriam Preissmann, Cléophée Robin, Paul Seymour, Ni Luh Dewi Sintiari, Nicolas Trotignon, Kristina Vušković
- article
- Journal of Combinatorial Theory, Series B, 2024, 168, pp.96-158. ⟨10.1016/j.jctb.2024.04.006⟩
- Accès au bibtex
- titre
- NS+NDT: Smart Integration of Network Simulation in Network Digital Twin, Application to IoT Networks
- auteur
- Samir Si-Mohammed, Anthony Bardou, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc
- article
- Future Generation Computer Systems, 2024, 157, pp.124-144. ⟨10.1016/j.future.2024.03.038⟩
- Accès au texte intégral et bibtex
- titre
- Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
- auteur
- Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Colin Geniet, Claire Hilaire, Stéphan Thomassé, Alexandra Wesolek
- article
- Journal of Combinatorial Theory, Series B, 2024, 167, pp.215-249. ⟨10.1016/j.jctb.2024.03.003⟩
- Accès au bibtex
- titre
- Kempe equivalent list colorings revisited
- auteur
- Dibyayan Chakraborty, Carl Feghali, Reem Mahmoud
- article
- Journal of Graph Theory, 2024, ⟨10.1002/jgt.23142⟩
- Accès au bibtex
- titre
- Solution to a Problem of Grünbaum on the Edge Density of 4-Critical Planar Graphs
- auteur
- Zdeněk Dvořák, Carl Feghali
- article
- Combinatorica, 2024, ⟨10.1007/s00493-024-00100-8⟩
- Accès au bibtex
- titre
- Three remarks on W graphs
- auteur
- Carl Feghali, Malory Marin
- article
- Theoretical Computer Science, 2024, 990, pp.114403. ⟨10.1016/j.tcs.2024.114403⟩
- Accès au bibtex
- titre
- Dirac's theorem on chordal graphs implies Brooks' theorem
- auteur
- Carl Feghali
- article
- Discrete Mathematics, 2024, 347 (3), pp.113791. ⟨10.1016/j.disc.2023.113791⟩
- Accès au bibtex
- titre
- Solution to a problem of Katona on counting cliques of weighted graphs
- auteur
- Peter Borg, Carl Feghali, Rémi Pellerin
- article
- Discrete Applied Mathematics, 2024, 345, pp.147-155. ⟨10.1016/j.dam.2023.11.028⟩
- Accès au bibtex
- titre
- Performance evaluation of OFDMA and aggregation downlink stateless service disciplines in Wi-Fi networks
- auteur
- Anh Tuan Giang, Anthony Busson
- article
- Wireless Networks, 2024, ⟨10.1007/s11276-024-03689-2⟩
- Accès au texte intégral et bibtex
- titre
- A scheduling framework for distributed key-value stores and its application to tail latency minimization
- auteur
- Sonia Ben Mokhtar, Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière
- article
- Journal of Scheduling, 2024, ⟨10.1007/s10951-023-00803-8⟩
- Accès au texte intégral et bibtex
- titre
- Quasi-Polynomial Time Approximation Schemes for the Maximum Weight Independent Set Problem in \(\boldsymbol{H}\)-Free Graphs
- auteur
- Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé
- article
- SIAM Journal on Computing, 2024, 53 (1), pp.47-86. ⟨10.1137/20M1333778⟩
- Accès au bibtex
- titre
- NetDiffusion: Network Data Augmentation Through Protocol-Constrained Traffic Generation
- auteur
- Xi I Jiang, Shinan Liu, Aaron Gember-Jacobson, Arjun Nitin Bhagoji, Paul Schmitt, Francesco Bronzino, Nick Feamster
- article
- Proceedings of the ACM on Measurement and Analysis of Computing Systems , 2024, 8 (1), pp.1-32. ⟨10.1145/3639037⟩
- Accès au texte intégral et bibtex
- titre
- Communication Lower Bounds and Optimal Algorithms for Multiple Tensor-Times-Matrix Computation
- auteur
- Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse
- article
- SIAM Journal on Matrix Analysis and Applications, 2024, 45 (1), pp.450-477. ⟨10.1137/22M1510443⟩
- Accès au texte intégral et bibtex
- titre
- Burling graphs revisited, part III: Applications to χ -boundedness
- auteur
- Pegah Pournajafi, Nicolas Trotignon
- article
- European Journal of Combinatorics, 2024, 116, pp.103850. ⟨10.1016/j.ejc.2023.103850⟩
- Accès au bibtex
- titre
- A class of graphs with large rankwidth
- auteur
- Chính Hoàng, Nicolas Trotignon
- article
- Discrete Mathematics, 2024, 347 (1), pp.113699
- Accès au bibtex
- titre
- Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
- auteur
- Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
- article
- ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
- Accès au texte intégral et bibtex
- titre
- Improving Batch Schedulers with Node Stealing for Failed Jobs
- auteur
- Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
- article
- Concurrency and Computation: Practice and Experience, In press
- Accès au texte intégral et bibtex
- titre
- Burling graphs revisited, part II: Structure
- auteur
- Pegah Pournajafi, Nicolas Trotignon
- article
- European Journal of Combinatorics, 2024, 116, pp.103849. ⟨10.1016/j.ejc.2023.103849.⟩
- Accès au bibtex
- titre
- Revisiting RIP guarantees for sketching operators on mixture models
- auteur
- Ayoub Belhadji, Rémi Gribonval
- article
- Journal of Machine Learning Research, 2024, 25 (55), pp.1--68
- Accès au texte intégral et bibtex
- titre
- Minimization of differential equations and algebraic values of $E$-functions
- auteur
- Alin Bostan, Tanguy Rivoal, Bruno Salvy
- article
- Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩
- Accès au texte intégral et bibtex
- titre
- Etat de l'art sur la co-simulation robotique et réseau des systèmes multi-robots
- auteur
- Théotime Balaguer, Olivier Simoninᵃ, Isabelle Guerin-Lassousᵇ, Isabelle Fantoniᶜ
- article
- Revue Ouverte d'Intelligence Artificielle, A paraître, pp.1-25
- Accès au texte intégral et bibtex
- titre
- Neighbourhood complexity of graphs of bounded twin-width
- auteur
- Édouard Bonnet, Florent Foucaud, Tuomo Lehtilä, Aline Parreau
- article
- European Journal of Combinatorics, 2024, 115, pp.103772. ⟨10.1016/j.ejc.2023.103772⟩
- Accès au texte intégral et bibtex
- titre
- A Digital Twin use cases classification and definition framework based on Industrial feedback
- auteur
- Emmanuelle Abisset-Chavanne, Thierry Coupaye, Fahad Golra, Damien Lamy, Ariane Piel, Olivier Scart, Pascale Vicat-Blanc
- article
- Computers in Industry, 2024, 161, pp.104113. ⟨10.1016/j.compind.2024.104113⟩
- Accès au texte intégral et bibtex
- titre
- Active Objects based on Algebraic Effects
- auteur
- Martin Andrieux, Ludovic Henrio, Gabriel Radanne
- article
- Active Object Languages: Current Research Trends, 2024, Lecture Notes in Computer Science, 14360, pp.3-36. ⟨10.1007/978-3-031-51060-1_1⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Keep the Momentum: Conservation Laws beyond Euclidean Gradient Flows
- auteur
- Sibylle Marcotte, Rémi Gribonval, Gabriel Peyré
- article
- 41st International Conference on Machine Learning, Jul 2024, Vienna, Austria
- Accès au bibtex
- titre
- Estimating the environmental impact of Generative-AI services using an LCA-based methodology
- auteur
- Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre
- article
- CIRP LCE 2024 - 31st Conference on Life Cycle Engineering, Jun 2024, Turin, Italy. pp.1-10
- Accès au texte intégral et bibtex
- titre
- Tightening I/O Lower Bounds through the Hourglass Dependency Pattern
- auteur
- Lionel Eyraud-Dubois, Guillaume Iooss, Julien Langou, Fabrice Rastello
- article
- SPAA 2024 - 36th ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2024, Nantes, France. pp.1-34
- Accès au texte intégral et bibtex
- titre
- Useful applications of correctly-rounded operators of the form ab + cd + e
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller
- article
- 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain
- Accès au texte intégral et bibtex
- titre
- Data-Driven Locality-Aware Batch Scheduling
- auteur
- Maxime Gonthier, Elisabeth Larsson, Loris Marchal, Carl Nettelblad, Samuel Thibault
- article
- APDCM 2024 - 26th Workshop on Advances in Parallel and Distributed Computational Models, 38th IEEE International Parallel and Distributed Processing Symposium, May 2024, San Francisco, United States
- Accès au texte intégral et bibtex
- titre
- The benefits of specializing Wi-Fi frequency bands for different classes of stations
- auteur
- Loïc Desgeorges, Thomas Begin, Isabelle Guérin Lassous
- article
- CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2024, Saint-Briac-sur-Mer, France
- Accès au texte intégral et bibtex
- titre
- Experimental analysis of Wi-Fi-based remote control of UAVs with concurrent mission traffic
- auteur
- Thierry Arrabal, Théotime Balaguer, Isabelle Guérin-Lassous, Olivier Simonin
- article
- Wi-DroIT 2024 - Wireless Sensors and Drones in the Internet of Things, IEEE, Apr 2024, Abu Dhabi, United Arab Emirates
- Accès au texte intégral et bibtex
- titre
- Concealing Compression-accelerated I/O for HPC Applications through In Situ Task Scheduling
- auteur
- Sian Jin, Sheng Di, Frédéric Vivien, Daoce Wang, Yves Robert, Dingwen Tao, Franck Cappello
- article
- EuroSys 2024, Apr 2024, Athens, Greece
- Accès au bibtex
- titre
- A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- auteur
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
- article
- Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain
- Accès au texte intégral et bibtex
- titre
- Temporalizing Digraphs via Linear-Size Balanced Bi-Trees
- auteur
- Stéphane Bessy, Stéphan Thomassé, Laurent Viennot
- article
- STACS 2024 - 41st International Symposium on Theoretical Aspects of Computer Science, Mar 2024, Clermont-Ferrand, France. pp.13:1-13:12, ⟨10.4230/LIPIcs.STACS.2024.13⟩
- Accès au texte intégral et bibtex
- titre
- Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations
- auteur
- Vincent Moreau, Lê Thành Dũng Nguyễn
- article
- 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩
- Accès au texte intégral et bibtex
- titre
- Enhancing sparse direct solver scalability through runtime system automatic data partition
- auteur
- Alycia Lisito, Mathieu Faverge, Grégoire Pichon, Pierre Ramet
- article
- WAMTA 2024 - Workshop on Asynchronous Many-Task Systems and Applications 2024, Feb 2024, Knoxville, United States. pp.105-110, ⟨10.1007/978-3-031-61763-8_10⟩
- Accès au texte intégral et bibtex
- titre
- Correct tout seul, sûr à plusieurs
- auteur
- Clément Allain, Gabriel Scherer
- article
- 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
- Accès au texte intégral et bibtex
- titre
- An Overview on Mixing MPI and OpenMP Dependent Tasking on A64FX
- auteur
- Romain Pereira, Adrien Roussel, Miwako Tsuji, Patrick Carribault, Mitsuhisa Sato, Hitoshi Murai, Thierry Gautier
- article
- International Workshop on Arm-based HPC 2024 (IWAHPCE-2024), Jan 2024, Nagoya, Japan. pp.1-10, ⟨10.1145/3636480.3637094⟩
- Accès au texte intégral et bibtex
- titre
- Positivity certificates for linear recurrences
- auteur
- Alaa Ibrahim, Bruno Salvy
- article
- SODA 2024 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2024, Alexandria, Virginia, United States. pp.982-994, ⟨10.1137/1.9781611977912.37⟩
- Accès au bibtex
- titre
- Small But Unwieldy: A Lower Bound on Adjacency Labels for Small Classes
- auteur
- Edouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev, Maksim Zhukovskii
- article
- SODA 2024, Jan 2024, Alexandria, United States
- Accès au texte intégral et bibtex
- titre
- Factoring Pattern-Free Permutations into Separable ones
- auteur
- Édouard Bonnet, Romain Bourneuf, Colin Geniet, Stéphan Thomassé
- article
- SODA 2024, Jan 2024, Alexandria, United States
- Accès au texte intégral et bibtex
- titre
- Liveness Properties in Geometric Logic for Domain-Theoretic Streams
- auteur
- Colin Riba, Solal Stern
- article
- 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
- Accès au texte intégral et bibtex
Poster communications
- titre
- Evaluating the involvement of users for reducing energy consumption of datacenters in a Cloud company
- auteur
- Simon Lambert, Eddy Caron, Laurent Lefèvre, Rémi Grivel
- article
- ICT4S 2024 - ICT for Sustainability, Jun 2024, Stockholm, Sweden
- Accès au texte intégral et bibtex
- titre
- Towards a multi-criteria evaluation of the environmental footprint of generative ai services
- auteur
- Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre
- article
- ICT4S 2024 - International Conference on Information and Communications Technology for Sustainability, Jun 2024, Stockholm, Sweden. pp.1-1, 2024
- Accès au texte intégral et bibtex
Reports
- titre
- Orthogonal matching pursuit-based algorithms for the Birkhoff-von Neumann decomposition
- auteur
- Damien Lesens, Jérémy E Cohen, Bora Uçar
- article
- RR-9543, Inria Lyon. 2024, pp.12
- Accès au texte intégral et bibtex
- titre
- Connectivity of a random directed graph model
- auteur
- Anne Benoit, Kamer Kaya, Bora Uçar
- article
- RR-9540, Inria Lyon. 2024
- Accès au texte intégral et bibtex
Software
- titre
- Code for reproducible research - Butterfly factorization by algorithmic identification of rank-one blocks
- auteur
- Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
- article
- 2024, ⟨swh:1:dir:42a081fc95d07a787c1766752046dccc6ca75b73;origin=https://hal.archives-ouvertes.fr/hal-04576156;visit=swh:1:snp:baaf5c1e6241789b5d3986b85175366cc976774a;anchor=swh:1:rel:1c64b94d969137e80d21e29e49499a583a26d5e5;path=/⟩
- Accès au texte intégral et bibtex
- titre
- Code for reproducible research - A path-norm toolkit for modern networks: consequences, promises and challenges
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- 2024, ⟨swh:1:dir:119d3f903d3b6e0a776bd64c71317331839390d4;origin=https://hal.archives-ouvertes.fr/hal-04498597;visit=swh:1:snp:3b7c23b687511f3d2e4673d222c3ba96195bb004;anchor=swh:1:rel:7c123216ebb2018ea3290cbdb4cf4f4b8ddea964;path=/⟩
- Accès au texte intégral et bibtex
Preprints, Working Papers, ...
- titre
- Compiling Morphisms of Algebraic Data Types
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Correctly-rounded evaluation of a function: why, how, and at what cost?
- auteur
- Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR
- auteur
- Nicolas Chappe, Ludovic Henrio, Yannick Zakowski
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Path-metrics, pruning, and generalization
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Make Inference Faster: Efficient GPU Memory Management for Butterfly Sparse Matrix Multiplication
- auteur
- Antoine Gonon, Léon Zheng, Pascal Carrivain, Quoc-Tung Le
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Emulation of the FMA in rounded-to-nearest floating-point arithmetic
- auteur
- Stef Graillat, Jean-Michel Muller
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy
- auteur
- Vincent Lefèvre
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- A theory of optimal convex regularization for low-dimensional recovery
- auteur
- Yann Traonmilin, Rémi Gribonval, Samuel Vaiter
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Bivariate polynomial reduction and elimination ideal over finite fields
- auteur
- Gilles Villard
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Identifying a piecewise affine signal from its nonlinear observation -application to DNA replication analysis
- auteur
- Clara Lage, Nelly Pustelnik, Jean-Michel Arbona, Benjamin Audit, Rémi Gribonval
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Engineering Edge Orientation Algorithms
- auteur
- Henrik Reinstädtler, Christian Schulz, Bora Uçar
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Solving the Restricted Assignment Problem to Schedule Multi-Get Requests in Key-Value Stores (extended version)
- auteur
- Louis-Claude Canon, Anthony Dugois, Loris Marchal
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- A multilevel framework for accelerating uSARA in radio-interferometric imaging
- auteur
- Guillaume Lauga, Audrey Repetti, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves, Yves Wiaux
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Order p quantum Wasserstein distances from couplings
- auteur
- Emily Beatty, Daniel Stilck França
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Type Isomorphisms for Multiplicative-Additive Linear Logic
- auteur
- Rémi Di Guardia, Olivier Laurent
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann, Laurence Rideau, Laurent Théry
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Computing Krylov iterates in the time of matrix multiplication
- auteur
- Vincent Neiger, Clément Pernet, Gilles Villard
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Entropy Constraints for Ground Energy Optimization
- auteur
- Hamza Fawzi, Omar Fawzi, Samuel O. Scalet
- article
- 2024
- Accès au bibtex
- titre
- Rebuilding Algebraic Data Types from Mangled Memory Layouts
- auteur
- Gabriel Radanne, Thaïs Baudon, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT)
- auteur
- Sébastien Michelland, Yannick Zakowski, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
- titre
- A finite presentation of graphs of treewidth at most three
- auteur
- Amina Doumane, Samuel Humeau, Damien Pous
- article
- 2024
- Accès au texte intégral et bibtex