2025
Journal articles
- titre
- Lower Bounds on Learning Pauli Channels With Individual Measurements
- auteur
- Omar Fawzi, Aadil Oufkir, Daniel Stilck Franca
- article
- IEEE Transactions on Information Theory, 2025, pp.1-32. ⟨10.1109/TIT.2025.3527902⟩
- Accès au texte intégral et bibtex
-
- titre
- Asymptotic Equipartition Theorems in von Neumann algebras
- auteur
- Omar Fawzi, Li Gao, Mizanur Rahaman
- article
- Annales Henri Poincaré, 2025
- Accès au bibtex
-
- titre
- Avoiding Signature Avoidance in ML Modules with Zippers
- auteur
- Clément Blaudeau, Didier Rémy, Gabriel Radanne
- article
- Proceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩
- Accès au texte intégral et bibtex
-
- titre
- Spanning-tree based coverage for a tethered robot
- auteur
- Xiao Peng, François Schwarzentruber, Olivier Simonin, Christine Solnon
- article
- IEEE Robotics and Automation Letters, In press, pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations
- auteur
- Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse, Mathieu Verite
- article
- ACM Transactions on Parallel Computing, In press
- Accès au 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
- IEEE Transactions on Signal Processing, 2025, 73, pp.1278 - 1292. ⟨10.1109/TSP.2025.3544463⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient Parallel Sparse Tensor Contraction
- auteur
- Somesh Singh, Bora Uçar
- article
- IEEE Transactions on Parallel and Distributed Systems, In press, ⟨10.1109/TPDS.2025.3557750⟩
- Accès au texte intégral et bibtex
-
- titre
- Understanding the environmental impact of generative AI services
- auteur
- Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre
- article
- Communications of the ACM, In press, Special Issue on Sustainability and Computing, pp.1-14. ⟨10.1145/3725984⟩
- Accès au texte intégral et bibtex
-
Scientific blog post
- titre
- A Visual Dive into Conditional Flow Matching
- auteur
- Anne Gagneux, Ségolène Martin, Rémi Emonet, Quentin Bertrand, Mathurin Massias
- article
- 2025
- Accès au bibtex
-
Conference papers
- titre
- Estimation de la consommation énergétique de la 5G en France basée sur des données réelles et des modèles analytiques
- auteur
- Meriem Ghali, Anthony Busson, Marceau Coupechoux
- article
- CORES 2025 - 10èmes Rencontres Francophones sur la Conception de Protocoles, l'Evaluation de Performances et l'Expérimentation des Réseaux de Communication, Jun 2025, Saint Valery-sur-Somme, France
- Accès au texte intégral et bibtex
-
- titre
- CATO: End-to-End Optimization of ML-Based Traffic Analysis Pipelines
- auteur
- Gerry Wan, Shinan Liu, Francesco Bronzino, Nick Feamster, Zakir Durumeric
- article
- 22nd USENIX Symposium on Networked Systems Design and Implementation, USENIX, Apr 2025, Philadelphia (PA), United States
- Accès au bibtex
-
- titre
- Schur's Positive-Definite Network: Deep Learning in the SPD cone with structure
- auteur
- Can Pouliquen, Mathurin Massias, Titouan Vayer
- article
- International Conference on Learning Representations ICLR 2025, Apr 2025, Singapore, Singapore
- Accès au texte intégral et bibtex
-
- titre
- DANCERS: A Physics and Network Co-Simulator for Communicating Multi-Robot Systems
- auteur
- Théotime Balaguer, Olivier Simonin, Isabelle Guérin-Lassous, Isabelle Fantoni
- article
- SIMPAR 2025 - IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots, IEEE, Apr 2025, Palermo, Italie. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Channel Simulation: Tight meta converse for error and strong converse exponents
- auteur
- Mario Berta, Michael X Cao, Hao-Chung Cheng, Omar Fawzi, Aadil Oufkir, Yongsheng Yao
- article
- QIP 2025, Feb 2025, Raleigh (NC), United States
- Accès au bibtex
-
- titre
- A Computationally Grounded Framework for Cognitive Attitudes
- auteur
- Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber
- article
- Proceedings of the AAAI Conference on Artificial Intelligence, Feb 2025, Philadelphia, United States. pp.14858-14866, ⟨10.1609/aaai.v39i14.33629⟩
- Accès au bibtex
-
- titre
- Fault-tolerant quantum input/output
- auteur
- Matthias Christandl, Omar Fawzi, Ashutosh Goswami
- article
- QIP 2025 - 28th Quantum Information Processing Conference, Feb 2025, Raleigh (NC), United States. pp.1-80
- Accès au bibtex
-
- titre
- Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems
- auteur
- Omar Fawzi, Aadil Oufkir, Robert Salzmann
- article
- QIP 2025 - 28th International conference on Quantum Information Processing, Feb 2025, Raleigh (NC), United States. pp.1-48
- Accès au texte intégral et bibtex
-
- titre
- Information transmission under Markovian noise
- auteur
- Nilanjana Datta, Omar Fawzi, Mizanur Rahaman, Satvik Singh, Mostafa Taheri
- article
- QIP 2025 - 28th international conference on Quantum Information Processing, Feb 2025, Raleigh (NC), United States. pp.1-14, ⟨10.48550/arXiv.2409.17743⟩
- Accès au bibtex
-
- titre
- Generalized quantum asymptotic equipartition
- auteur
- Kun Fang, Hamza Fawzi, Omar Fawzi
- article
- QIP 2025 - 28th Annual Quantum Information Processing Conference, Feb 2025, Raleigh Convention Center Raleigh, NC, United States
- Accès au bibtex
-
- titre
- Correspondences between codensity and coupling-based liftings, a practical approach
- auteur
- Samuel Humeau, Daniela Petrisan, Jurriaan Rot
- article
- 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Feb 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.29⟩
- Accès au texte intégral et bibtex
-
- titre
- Formalizing adhesive category theory in Rocq
- auteur
- Samuel Arsac, Russell Harmer, Damien Pous
- article
- 36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France
- Accès au texte intégral et bibtex
-
- titre
- Automatic Specialization of Polyhedral Programs on Sparse Structures
- auteur
- Alec Sadler, Christophe Alias
- article
- 15th International Workshop on Polyhedral Compilation Techniques (IMPACT'25), Jan 2025, Barcelona (ES), Spain
- Accès au texte intégral et bibtex
-
- titre
- Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR
- auteur
- Nicolas Chappe, Ludovic Henrio, Yannick Zakowski
- article
- CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2025, Denver CO USA, France. pp.283-298, ⟨10.1145/3703595.3705890⟩
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Revisiting virtual machine consolidation to save resources and energy in heterogeneous production cloud infrastructures
- auteur
- Simon Lambert, Vladimir Ostapenco, Laurent Lefèvre, Eddy Caron, Anne-Cécile Orgerie, Benjamin Fichel, Rémi Grivel
- article
- ICT4S 2025 - ICT for Sustainability, Jun 2025, Dublin, Ireland. 2025
- Accès au texte intégral et bibtex
-
- titre
- Des serveurs aux services, évaluer l'empreinte environnementale d'un système d'information et de l'ensemble de ses services
- auteur
- Adrien Berthelot, Eddy Caron, Romain de Laage, Laurent Lefèvre, Alexis Nicolas
- article
- Green Days 2025, Mar 2025, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- SUPER-RESOLUTION ISOTROPE VARIATIONNELLE POUR L'IRM
- auteur
- Luis Amador, Marion Foare, Olivier Beuf, Hélène Ratiney, Eric Van Reeth
- article
- Septième congrès de la Société Française de Résonance Magnétique en Biologie et Médecine (SFRMBM), Mar 2025, Saint Malo, France
- Accès au bibtex
-
Reports
- titre
- Scheduling Jobs Under a Variable Number of Processors
- auteur
- Joachim Cendrier, Anne Benoit, Frédéric Vivien
- article
- RR-9582, Inria. 2025
- Accès au texte intégral et bibtex
-
- titre
- Partial Detectors Versus Replication To Cope With Silent Errors
- auteur
- Anne Benoit, Thomas Herault, Yves Robert, Alix Trémodeux
- article
- RR-9581, Inria. 2025
- Accès au texte intégral et bibtex
-
- titre
- SUperman: Efficient Permanent Computation on GPUs
- auteur
- Deniz Elbek, Fatih Taşyaran, Bora Uçar, Kamer Kaya
- article
- RR-9578, Inria Lyon. 2025, pp.1-25
- Accès au texte intégral et bibtex
-
- titre
- Optimal partitioning of 2D meshes for stencil computations
- auteur
- Rob H. Bisseling, Bora Uçar
- article
- RR-9585, Inria Lyon. 2025
- Accès au texte intégral et bibtex
-
- titre
- Green Scheduling on the Edge
- auteur
- Joachim Cendrier, Rajini Wijayawardana, Anne Benoit, Yves Robert, Frédéric Vivien, Andrew A Chien
- article
- RR-9580, Inria. 2025
- Accès au texte intégral et bibtex
-
- titre
- Semi-Streaming Algorithms for Hypergraph Matching
- auteur
- Henrik Reinstädtler, S M Ferdous, Alex Pothen, Bora Uçar, Christian Schulz
- article
- RR-9576, Inria Lyon. 2025
- Accès au texte intégral et bibtex
-
- titre
- Quiz sur les impacts environnementaux du numérique
- auteur
- Sylvain Bouveret, Aurélie Bugeau, Frenoux Emmanuelle, Julien Lefevre, Laurent Lefèvre, Anne-Laure Ligozat, Philippe Marquet, Anne-Cécile Orgerie, Denis Trystram
- article
- EcoInfo. 2025, pp.1-5
- Accès au texte intégral et bibtex
-
- titre
- Algorithms for symmetric Birkhoff-von Neumann decomposition of symmetric doubly stochastic matrices
- auteur
- Damien Lesens, Jérémy E. Cohen, Bora Uçar
- article
- RR-9566, Inria Lyon. 2025, pp.1-30
- Accès au texte intégral et bibtex
-
- titre
- Towards Parallel Transformer-Based Large Language Models for Fast Inference
- auteur
- Félix Wirth, Gael Delalleau, Loris Marchal
- article
- RR-9573, Inria. 2025, pp.42
- Accès au texte intégral et bibtex
-
- titre
- Fault-tolerant numerical iterative algorithms at scale
- auteur
- Alix Tremodeux, Emmanuel Agullo, Anne Benoit, Luc Giraud, Thomas Herault, Yves Robert
- article
- RR-9567, Inria Lyon. 2025
- Accès au texte intégral et bibtex
-
Software
- titre
- PASCO
- auteur
- Etienne Lasalle, Rémi Vaudaine, Titouan Vayer
- article
- 2025, ⟨swh:1:dir:18c931d98f790cdbd1dcfba6e2e03ff4427a8c24;origin=https://hal.archives-ouvertes.fr/hal-05086352;visit=swh:1:snp:369c0877aee64505a50b80345742b519c9ddbd7b;anchor=swh:1:rel:45b059a3bd793f910f722c5822c3bf5f69462f89;path=/⟩
- Accès au bibtex
-
- titre
- MatchMaker
- auteur
- Kamer Kaya, Johannes Langguth, Ioannis Panagiotas, Bora Uçar
- article
- 2025, ⟨swh:1:dir:9baf1bc03292dbadf5b5b50a9d65bdb1d38c9981;origin=https://gitlab.inria.fr/bora-ucar/matchmaker.git;visit=swh:1:snp:7e6827b13c64ee91add458723f068e1b5031d947;anchor=swh:1:rev:50b09f54e9c4255c1a7becfce54d088940124149⟩
- Accès au bibtex
-
- titre
- YALLA: Yet Another deep embedding of Linear Logic in Rocq
- auteur
- Olivier Laurent
- article
- 2025, ⟨swh:1:dir:2e43a1ba10c4f11ed8d8f4cc22f4106a48f1d007⟩
- Accès au bibtex
-
- titre
- Quantifiers
- auteur
- Olivier Laurent
- article
- 2025, ⟨swh:1:dir:48009bbccf91ce1ba3238f8a34d57ddb5f7e9786⟩
- Accès au bibtex
-
- titre
- Proof nets for MLL
- auteur
- Rémi Di Guardia, Olivier Laurent
- article
- 2025, ⟨swh:1:dir:a5e052a812cc72ef6b32f0cbb455ce2d8b315f71⟩
- Accès au bibtex
-
- titre
- List Permutation
- auteur
- Christophe Lucas, Olivier Laurent
- article
- 2025, ⟨swh:1:dir:dab64b85cec398e0f7712ef7205b8f32d0b9d5d8⟩
- Accès au bibtex
-
- titre
- FormalizedLLBib
- auteur
- Olivier Laurent
- article
- 2025, ⟨swh:1:dir:56ebe157fe0d55ff61383a66b3189e2cde6c8c00⟩
- Accès au bibtex
-
- titre
- Trocq
- auteur
- Cyril Cohen, Enzo Crance, Assia Mahboubi
- article
- 2025, ⟨swh:1:dir:21f2e18a8e117e0615eb19d5554ad4a5f828f6b1⟩
- Accès au bibtex
-
- titre
- Mathematical Components Analysis
- auteur
- Reynald Affeldt, Yves Bertot, Alessandro Bruni, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Pierre Roux, Kazuhiko Sakaguchi, Zachary Stone, Pierre-Yves Strub, Laurent Théry
- article
- 2025, ⟨swh:1:dir:5fe4b61acc38fea6066881d466ac64524e90a4cd⟩
- Accès au bibtex
-
- titre
- EmergeNS
- auteur
- Denis Kuperberg, Thomas Kosc
- article
- 2025, ⟨swh:1:dir:5f8cf6188f4b80882b49e4024c42a679c324d1f2;origin=https://github.com/deniskup/EmergeNS;visit=swh:1:snp:71ce660310840624e246b38e8ca30b03db6f3b2b;anchor=swh:1:rev:f24da194ab1c42fdf7cd4e3077006874f3d13b6f⟩
- Accès au bibtex
-
- titre
- Hierarchy Builder
- auteur
- Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, Enrico Tassi
- article
- 2025, ⟨swh:1:dir:50c5087fc42a2f95913dada99ef4ac1cdba66d7b⟩
- Accès au bibtex
-
- titre
- Click and coLLecT - An Interactive Linear Logic Prover
- auteur
- Etienne Callies, Olivier Laurent
- article
- 2025, ⟨swh:1:dir:d17c7c89c9873b38f35ac4fc7f38d8223b239eaf⟩
- Accès au bibtex
-
- titre
- KAMI
- auteur
- Russ Harmer, Eugenia Oshurko
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- ReGraph
- auteur
- Russ Harmer, Eugenia Oshurko
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- OLlibs - Add-ons for the Rocq Standard Library
- auteur
- Olivier Laurent, Christophe Lucas
- article
- 2025, ⟨swh:1:dir:d2917e29b501a71bf5a507f950d07b20913b7dd5⟩
- Accès au bibtex
-
Theses
- titre
- Controlling DNA Origami Co-folding
- auteur
- Octave Hazard
- article
- Biotechnology. Ecole normale supérieure de lyon - ENS LYON, 2025. English. ⟨NNT : 2025ENSL0007⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond
- auteur
- Pouria Fallahpour, Alex B. Grilo, Garazi Muguruza, Mahshid Riahinia
- article
- 2025
- Accès au bibtex
-
- titre
- Bridging Arbitrary and Tree Metrics via Differentiable Gromov Hyperbolicity
- auteur
- Pierre Houedry, Nicolas Courty, Florestan Martin-Baillon, Laetitia Chapel, Titouan Vayer
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- A unified approach for degree bound estimates of linear differential operators
- auteur
- Louis Gaillard
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- First-order store and visibility in name-passing calculi
- auteur
- Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Efficient Algorithms for Minimal Matroid Extensions and Irreducible Decompositions of Circuit Varieties
- auteur
- Emiliano Liwski, Fatemeh Mohammadi, Rémi Prébet
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Convexity in ReLU Neural Networks: beyond ICNNs?
- auteur
- Anne Gagneux, Mathurin Massias, Emmanuel Soubies, Rémi Gribonval
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Une équivalence entre algorithmes multiniveaux et algorithmes de descente par blocs
- auteur
- Guillaume Lauga, Elisa Riccietti, Luis Briceño-Arias, Nelly Pustelnik, Paulo Gonçalves
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- A multilevel approach to accelerate the training of Transformers
- auteur
- Guillaume Lauga, Maël Chaumette, Edgar Desainte-Maréville, Étienne Lasalle, Arthur Lebeurrier
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Multilevel Plug-and-Play Image Restoration
- auteur
- Nils Laurent, Julián Tachella, Elisa Riccietti, Nelly Pustelnik
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- FastTwoSum revisited
- auteur
- Claude-Pierre Jeannerod, Paul Zimmermann
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
- auteur
- Stef Graillat, Jean-Michel Muller
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- L-types for resource aware languages: an implicit name approach
- auteur
- Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Pierre Lescanne
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- The supersingular endomorphism ring problem given one endomorphism
- auteur
- Arthur Herlédan Le Merdy, Benjamin Wesolowski
- article
- 2025
- 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
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Rapture of the deep: highs and lows of sparsity in a world of depths
- auteur
- Rémi Gribonval, Elisa Riccietti, Quoc-Tung Le, Léon Zheng
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Recovery of cyclic words by their subwords
- auteur
- Sergey Luchinin, Svetlana Puzynina, Michaël Rao
- article
- 2025
- Accès au bibtex
-
- titre
- Identifying the Best Transition Law
- auteur
- Mehrasa Ahmadipour, Elise Crépon, Aurélien Garivier
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Efficient Risk-sensitive Planning via Entropic Risk Measures
- auteur
- Alexandre Marthe, Samuel Bounan, Aurélien Garivier, Claire Vernade
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Journée thématique du GDR RSD : pratiques expérimentales de la communauté systèmes et réseaux
- auteur
- Mathieu Bacou, David Beserra, Eugen Dedu, Loïc Desgeorges, Didier Donsez, Alexandre Guitton, Baptiste Jonglez, Arnaud Legrand, Georgios Papadopoulos, Olivier Richard, Samir Si-Mohammed, Nina Tamdrari, Fabrice Theoleyre
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- A note on the relations between mixture models, maximum-likelihood and entropic optimal transport
- auteur
- Titouan Vayer, Etienne Lasalle
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Profile and neighbourhood complexity of graphs with excluded minors and tree-structured graphs
- auteur
- Laurent Beaudou, Jan Bok, Florent Foucaud, Daniel A. Quiroz, Jean-Florent Raymond
- article
- 2025
- Accès au bibtex
-
- titre
- A multilevel stochastic regularized first-order method with application to training
- auteur
- Filippo Marini, Margherita Porcelli, Elisa Riccietti
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- A rescaling-invariant Lipschitz bound based on path-metrics for modern ReLU network parameterizations
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Young domination on Hamming rectangles
- auteur
- Janko Gravner, Matjaž Krnc, Martin Milanič, Jean-Florent Raymond
- article
- 2025
- Accès au bibtex
-
- titre
- Tail Modulo Async-Await
- auteur
- Emma Nardino, Ludovic Henrio, Gabriel Radanne, Yannick Zakowski
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- On the Two Paths Theorem and the Two Disjoint Paths Problem
- auteur
- Samuel Humeau, Damien Pous
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Mixed precision accumulation for neural network inference guided by componentwise forward error analysis
- auteur
- El-Mehdi El Arar, Silviu-Ioan Filip, Theo Mary, Elisa Riccietti
- article
- 2025
- Accès au texte intégral et bibtex
-