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

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


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

2022

Journal articles

titre
Checkpointing Workflows à la Young/Daly Is Not Good Enough
auteur
Anne Benoit, Luca Perotin, Yves Robert, Hongyang Sun
article
ACM Transactions on Parallel Computing, 2022, 9 (4), pp.1-25. ⟨10.1145/3548607⟩
Accès au bibtex
BibTex
titre
Algorithms and Data Structures for Hyperedge Queries
auteur
Jules Bertrand, Fanny Dufossé, Somesh Singh, Bora Uçar
article
ACM Journal of Experimental Algorithmics, 2022, 27, pp.1-23. ⟨10.1145/3568421⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03905905/file/hedge-main.pdf BibTex
titre
PACE solver description: DreyFVS
auteur
Gabriel Bathie, Gaétan Berthe, Yoann Coudert-Osmont, David Desobry, Amadeus Reinald, Mathis Rocton
article
Leibniz International Proceedings in Informatics , 2022, ⟨10.4230/LIPIcs.IPEC.2022.31⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03920659/file/PACE_2022___DreyFVS.pdf BibTex
titre
CARA: Connectivity-Aware Relay Algorithm for Multi-Robot Expeditions
auteur
Razanne Abu-Aisheh, Francesco Bronzino, Lou Salaun, Thomas Watteyne
article
Sensors, 2022, 22 (23)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03943660/file/sensors-22-09042.pdf BibTex
titre
Accurate calculation of Euclidean Norms using Double-word arithmetic
auteur
Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
article
ACM Transactions on Mathematical Software, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03482567/file/NormsandDW%20HaLV2.pdf BibTex
titre
Time Series Alignment with Global Invariances
auteur
Titouan Vayer, Romain Tavenard, Laetitia Chapel, Nicolas Courty, Rémi Flamary, Yann Soullard
article
Transactions on Machine Learning Research, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-02473959/file/time_series_alignment_with_glo.pdf BibTex
titre
Computer Arithmetic: Continuing a Long and Steady Emergence
auteur
Paolo Montuschi, Jean-Michel Muller, Florent de Dinechin
article
Computer, 2022, 55 (10), pp.4-6. ⟨10.1109/MC.2022.3193206⟩
Accès au bibtex
BibTex
titre
A Survey on Parallelism and Determinism
auteur
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
article
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03828497/file/Surveypaper.pdf BibTex
titre
Types for Complexity of Parallel Computation in Pi-calculus (Long Version)
auteur
Patrick Baillot, Alexis Ghyselen
article
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, 44 (3), pp.1-50
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02961427/file/rapport.pdf BibTex
titre
Analysis of a Multi-Armed Bandit solution to improve the spatial reuse of next-generation WLANs
auteur
Anthony Bardou, Thomas Begin, Anthony Busson
article
Computer Communications, 2022, 193, pp.279-292. ⟨10.1016/j.comcom.2022.07.015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03823391/file/ComCom22_revised.pdf BibTex
titre
Formal reasoning about layered monadic interpreters
auteur
Irene Yoon, Yannick Zakowski, Steve Zdancewic
article
Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.254-282. ⟨10.1145/3547630⟩
Accès au bibtex
BibTex
titre
Inference of Wi-Fi busy time fraction based on Markov chains
auteur
Nour El Houda Bouzouita, Anthony Busson, Herve Rivano
article
Ad Hoc Networks, 2022, pp.102963. ⟨10.1016/j.adhoc.2022.102963⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03762029/file/1-s2.0-S157087052200138X-main.pdf BibTex
titre
Minimizing I/Os in Out-of-Core Task Tree Scheduling
auteur
Loris Marchal, Samuel McCauley, Bertrand Simon, Frédéric Vivien
article
International Journal of Foundations of Computer Science, 2022, pp.1-30. ⟨10.1142/s0129054122500186⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03758021/file/ijfcs.pdf BibTex
titre
FAM: A frame aggregation based method to infer the load level in IEEE 802.11 networks
auteur
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article
Computer Communications, 2022, 191, pp.36-52. ⟨10.1016/j.comcom.2022.04.021⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03692553/file/Revue_Nour_Anthony_Herve-3.pdf BibTex
titre
Nonsmooth convex optimization to estimate the Covid-19 reproduction number space-time evolution with robustness against low quality data
auteur
Barbara Pascal, Patrice Abry, Nelly Pustelnik, Stéphane G. Roux, Rémi Gribonval, Patrick Flandrin
article
IEEE Transactions on Signal Processing, 2022, 70, pp.2859-2868
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03348154/file/21CovidOutlier.pdf BibTex
titre
SDN-based fog and cloud interplay for stream processing
auteur
Michał Rzepka, Piotr Boryło, Marcos Assunção, Artur Lasoń, Laurent Lefèvre
article
Future Generation Computer Systems, 2022, 131, pp.1-17. ⟨10.1016/j.future.2022.01.006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03559874/file/SDN_based_Fog_and_Cloud_Interplay_for_Stream_Processing.pdf BibTex
titre
Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups
auteur
Solène Esnay, Etienne Moutot
article
Theoretical Computer Science, 2022, 917, pp.31-50. ⟨10.1016/j.tcs.2022.03.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03658172/file/esnaymoutot22.pdf BibTex
titre
Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints
auteur
Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article
Journal of Parallel and Distributed Computing, 2022, 163, pp.45-61. ⟨10.1016/j.jpdc.2022.01.016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03863951/file/main_JPDC.pdf BibTex
titre
Trading Performance for Memory in Sparse Direct Solvers using Low-rank Compression
auteur
Loris Marchal, Thibault Marette, Grégoire Pichon, Frédéric Vivien
article
Future Generation Computer Systems, 2022, 130, pp.307-320. ⟨10.1016/j.future.2021.12.018⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03517124/file/paper.pdf BibTex
titre
4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time n^{4/3}
auteur
Edouard Bonnet
article
ACM Transactions on Algorithms, 2022, 18 (2), ⟨10.1145/3494540⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03750993/file/arxiv2.pdf BibTex
titre
L'écoconception d'un service numérique : des actions pour réduire l'impact environnemental du numérique
auteur
Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat
article
1024 : Bulletin de la Société Informatique de France, 2022, 19, pp.59-68. ⟨10.48556/SIF.1024.19.59⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03660118/file/1024_19_2022_59.pdf BibTex
titre
Implicit differentiation for fast hyperparameter selection in non-smooth convex learning
auteur
Quentin Bertrand, Quentin Klopfenstein, Mathurin Massias, Mathieu Blondel, Samuel Vaiter, Alexandre Gramfort, Joseph Salmon
article
Journal of Machine Learning Research, 2022, 23 (149), pp.1-43
Accès au texte intégral et bibtex
https://hal.science/hal-03228663/file/journal.pdf BibTex
titre
Optimal Checkpointing Strategies for Iterative Applications
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
IEEE Transactions on Parallel and Distributed Systems, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03338278/file/tpds-complete.pdf BibTex
titre
Proximal Based Strategies for Solving Discrete Mumford-Shah With Ambrosio-Tortorelli Penalization on Edges
auteur
Hoang T V Le, Marion Foare, Nelly Pustelnik
article
IEEE Signal Processing Letters, 2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03381093/file/SPL.pdf BibTex
titre
Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic
auteur
Jean-Michel Muller, Laurence Rideau
article
ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02972245/file/muller-rideau-hal.pdf BibTex
titre
Proof Theory of Riesz Spaces and Modal Riesz Spaces
auteur
Christophe Lucas, Matteo Mio
article
Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:32)2022⟩
Accès au bibtex
https://arxiv.org/pdf/2004.11185 BibTex
titre
Scaling matrices and counting the perfect matchings in graphs
auteur
Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article
Discrete Applied Mathematics, 2022, 308, pp.130--146. ⟨10.1016/j.dam.2020.07.016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01743802/file/dlpu22.pdf BibTex
titre
A distributed antenna orientation solution for optimizing communications in a fleet of UAVs
auteur
Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article
Computer Communications, 2022, 181, pp.102-115. ⟨10.1016/j.comcom.2021.09.020⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03400498/file/Papier_ComCom_2021.pdf BibTex
titre
Toward an intelligent and efficient beehive: A survey of precision beekeeping systems and services
auteur
Hugo Hadjur, Doreid Ammar, Laurent Lefèvre
article
Computers and Electronics in Agriculture, 2022, 192, pp.1-16. ⟨10.1016/j.compag.2021.106604⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03483914/file/surveyPB_hal.pdf BibTex
titre
Compositional Equivalences Based on Open pNets
auteur
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
article
Journal of Logical and Algebraic Methods in Programming, In press
Accès au texte intégral et bibtex
https://hal.science/hal-03894031/file/WeakBisim.pdf BibTex
titre
Differential-Difference Properties of Hypergeometric Series
auteur
Nicolas Brisebarre, Bruno Salvy
article
Proceedings of the American Mathematical Society, In press
Accès au bibtex
https://arxiv.org/pdf/2207.00393 BibTex
titre
Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
auteur
Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval
article
SIAM Journal on Matrix Analysis and Applications, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03364668/file/main.pdf BibTex
titre
Overlaying a hypergraph with a graph with bounded maximum degree
auteur
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article
Discrete Applied Mathematics, In press, 319, pp.394-406. ⟨10.1007/978-3-030-39219-2_32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02025469/file/DAM-overlay.pdf BibTex
titre
A game of quantum advantage: linking verification and simulation
auteur
Daniel Stilck França, Raúl García-Patrón
article
Quantum, 2022, 6, pp.753. ⟨10.22331/q-2022-06-30-753⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03967168/file/Verification_and_classical_simulation_of_supremacy_experiments.pdf BibTex
titre
Comparing Distributed Termination Detection Algorithms for Task-Based Runtime Systems on HPC platforms
auteur
George Bosilca, Aurélien Bouteiller, Thomas Hérault, Valentin Le Fèvre, Yves Robert, Jack J Dongarra
article
International Journal of Networking and Computing, 2022, 12 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03920388/file/ijnc22.pdf BibTex
titre
An Embedding of ReLU Networks and an Analysis of their Identifiability
auteur
Pierre Stock, Rémi Gribonval
article
Constructive Approximation, In press, ⟨10.1007/s00365-022-09578-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03292203/file/stock-gribonval.pdf BibTex
titre
Efficient Identification of Butterfly Sparse Matrix Factorizations
auteur
Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
SIAM Journal on Mathematics of Data Science, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03362626/file/main.pdf BibTex
titre
KL-UCB-switch: optimal regret bounds for stochastic bandits from both a distribution-dependent and a distribution-free viewpoints
auteur
Aurélien Garivier, Hédi Hadiji, Pierre Ménard, Gilles Stoltz
article
Journal of Machine Learning Research, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01785705/file/KL-UCB--GHMS.pdf BibTex
titre
Eager Functions as Processes (long version)
auteur
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article
Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2022.01.043⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03466150/file/efp.pdf BibTex
titre
List and shelf schedules for independent parallel tasks to minimize the energy consumption with discrete or continuous speeds
auteur
Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam
article
Journal of Parallel and Distributed Computing, 2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03920697/file/main.pdf BibTex
titre
Affine Iterations and Wrapping Effect: Various Approaches
auteur
Nathalie Revol
article
Acta Cybernetica, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03505854/file/NRevol.pdf BibTex
titre
Absolute root separation
auteur
Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejković, Bruno Salvy
article
Experimental Mathematics, 2022, 31 (3), pp.805-812. ⟨10.1080/10586458.2019.1699480⟩
Accès au bibtex
https://arxiv.org/pdf/1907.01232 BibTex

Scientific blog post

titre
Le vrai coût énergétique du numérique
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
2022
Accès au bibtex
BibTex

Conference papers

titre
Complexity and Algorithms for ISOMETRIC PATH COVER on Chordal Graphs and Beyond
auteur
Dibyayan Chakraborty, Antoine Dailly, Sandip Das, Florent Foucaud, Harmender Gahlawat, Subir Kumar Ghosh
article
33rd International Symposium on Algorithms and Computation (ISAAC 2022), Dec 2022, Seoul (Korea), France. pp.12:1--12:17, ⟨10.4230/LIPIcs.ISAAC.2022.12⟩
Accès au bibtex
BibTex
titre
PointProofs, Revisited
auteur
Benoît Libert, Alain Passelègue, Mahshid Riahinia
article
Asiacrypt 2022 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03903981/file/asiacrypt2022-final314.pdf BibTex
titre
On Rejection Sampling in Lyubashevsky's Signature Scheme
auteur
Julien Devevey, Omar Fawzi, Alain Passelègue, Damien Stehlé
article
ASIACRYPT 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03911595/file/2022-1249.pdf BibTex
titre
On Module Unique-SVP and NTRU
auteur
Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé
article
Asiacrypt 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan
Accès au bibtex
BibTex
titre
Template based Graph Neural Network with Optimal Transport Distances
auteur
Cédric Vincent-Cuaz, Rémi Flamary, Marco Corneli, Titouan Vayer, Nicolas Courty
article
NeurIPS 2022 – 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03839517/file/FGWM.pdf BibTex
titre
Benchopt: Reproducible, efficient and collaborative optimization benchmarks
auteur
Thomas Moreau, Mathurin Massias, Alexandre Gramfort, Pierre Ablin, Pierre-Antoine Bannier, Benjamin Charlier, Mathieu Dagréou, Tom Dupré La Tour, Ghislain Durif, Cassio F Dantas, Quentin Klopfenstein, Johan Larsson, En Lai, Tanguy Lefort, Benoit Malézieux, Badr Moufad, Binh T Nguyen, Alain Rakotomamonjy, Zaccharie Ramzi, Joseph Salmon, Samuel Vaiter
article
NeurIPS 2022 - 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03830604/file/Benchopt_neurips_2022-1.pdf BibTex
titre
Beyond L1: Faster and Better Sparse Models with skglm
auteur
Quentin Bertrand, Quentin Klopfenstein, Pierre-Antoine Bannier, Gauthier Gidel, Mathurin Massias
article
NeurIPS, Nov 2022, New Orleans, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03819082/file/main.pdf BibTex
titre
VNF Software Cost Modeling Based On Telecom Network
auteur
Ghoshana Bista, Eddy Caron, Anne-Lucie Vion
article
The 6th International workshop on Software Defined Networks and Network Function Virtualization 2022 (SDN-NFV2022), Nov 2022, Paris, France
Accès au bibtex
BibTex
titre
Lower Bound for Constant-Size Local Certification
auteur
Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond
article
Stabilization, Safety, and Security of Distributed Systems, 24th International Symposium, SSS 2022, Clermont-Ferrand, France, Nov 2022, Clermont-Ferrand, France. pp.239-253, ⟨10.1007/978-3-031-21017-4_16⟩
Accès au bibtex
https://arxiv.org/pdf/2208.14229 BibTex
titre
Towards a methodology for building dynamic urgent applications on continuum computing platforms
auteur
Daniel Balouek-Thomert, Laurent Lefèvre, Eddy Caron, Manish Parashar
article
CIW-IUS - International Workshop on Interactive Urgent Supercomputing Held in conjunction with SC2022: The International Conference on High Performance Computing, Networking, Storage and Analysis, Nov 2022, Dallas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03892286/file/UrgentHPC_2022_Balouek_Caron_Lefevre_Parashar.pdf BibTex
titre
Updatable Public Key Encryption from DCR: Efficient Constructions With Stronger Security
auteur
Calvin Abou Haidar, Benoit Libert, Alain Passelègue
article
ACM Conference on Computer and Communications Security (ACM-CCS) 2022, Nov 2022, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03738749/file/UPKE-acm.pdf BibTex
titre
Setting up an experimental framework for analysing an immersion cooling system
auteur
Thierry Arrabal, Lucas Betencourt, Eddy Caron, Laurent Lefèvre
article
IEEE SBAC-PAD 2022 : IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03839381/file/Immersion_cooling_Caron_Lefevre.pdf BibTex
titre
SIFRAN: Evaluating IoT Networks with a No-Code Framework based on ns-3
auteur
Samir Si-Mohammed, Malasri Janumporn, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc
article
Latin America Networking Conference, Oct 2022, Armenia, Colombia. ⟨10.1145/3545250.3560845⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03822142/file/LANC-2022%20%281%29.pdf BibTex
titre
Enhancing MPI+OpenMP task based applications for heterogenous architectures with GPU support
auteur
Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz-Angelo Steffenel, Thierry Gautier
article
IWOMP 2022 - 18th International Workshop on OpenMP, Sep 2022, Chattanooga, TH, United States. pp.3-16, ⟨10.1007/978-3-031-15922-0_1⟩
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-03749364/file/2022_iwomp_omp-target.pdf BibTex
titre
Analysing Parallel Complexity of Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03749679/file/lopstr22_paracomp.pdf BibTex
titre
Completeness Theorems for Kleene Algebra with Top
auteur
Damien Pous, Jana Wagemaker
article
CONCUR, Sep 2022, Varsovie, Poland. ⟨10.4230/LIPIcs.CONCUR.2022.26⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03644317/file/katop.pdf BibTex
titre
High-level algorithms for correctly-rounded reciprocal square roots
auteur
Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller
article
29th IEEE Symposium on Computer Arithmetic (ARITH 2022), Sep 2022, Lyon (virtual meeting due to the COVID pandemic), France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03728088/file/cr_rsqrt.pdf BibTex
titre
New and Improved Constructions for Partially Equivocable Public Key Encryption
auteur
Benoît Libert, Alain Passelègue, Mahshid Riahinia
article
SCN 2022 - 13th Conference on security and cryptography for networks, Sep 2022, Amalfi, Italy. pp.1-31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03830141/file/NCE.pdf BibTex
titre
Testing interval arithmetic libraries, including their IEEE-1788 compliance
auteur
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin
article
PPAM 2022, Roman Wyrzykowski, Sep 2022, Gdansk, Poland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03674743/file/PPAM-RBFZ-22.pdf BibTex
titre
Cumulatively All-Lossy-But-One Trapdoor Functions from Standard Assumptions
auteur
Benoît Libert, Ky Nguyen, Alain Passelègue
article
SCN 2022 - Proceedings of the 13th Conference on Security in Communication Networks, Sep 2022, Amalfi, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03820072/file/calbo-final.pdf BibTex
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
The International Symposium on Parameterized and Exact Computation (IPEC), Sep 2022, Potsdam, Germany
Accès au bibtex
https://arxiv.org/pdf/2204.00722 BibTex
titre
Compressive Clustering with an Optical Processing Unit
auteur
Luc Giffon, Rémi Gribonval
article
GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03690865/file/main.pdf BibTex
titre
Semi-relaxed Gromov-Wasserstein divergence for graphs classification
auteur
Cédric Vincent-Cuaz, Rémi Flamary, Marco Corneli, Titouan Vayer, Nicolas Courty
article
Colloque GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-03839524/file/2022_vincentcuaz998.pdf BibTex
titre
Méthodes proximales multi-niveaux pour la restauration d'images
auteur
Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
article
GRETSI'22 - 28ème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03739496/file/GRETSI_2022_Multi_niveau.pdf BibTex
titre
Galactic Token Sliding
auteur
Valentin Bartier, Nicolas Bousquet, Amer Mouawad
article
European Symposium on Algorithms, Sep 2022, Potsdam, Germany. ⟨10.4230/LIPIcs.ESA.2022.15⟩
Accès au bibtex
https://arxiv.org/pdf/2204.05549 BibTex
titre
Des règles de quadrature dans les RKHSs à base de DPPs
auteur
Ayoub Belhadji
article
GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-03630086/file/belhadji_gretsi_2022_v3.pdf BibTex
titre
Online Scheduling of Moldable Task Graphs under Common Speedup Models
auteur
Anne Benoit, Lucas Perotin, Yves Robert, Hongyang Sun
article
ICPP 2022 - 51st International Conference on Parallel Processing, Aug 2022, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03778405/file/moldable_online_new.pdf BibTex
titre
Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures
auteur
Svetlana Kulagina, Henning Meyerhenke, Anne Benoit
article
20th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar), Aug 2022, Glasgow, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03921445/file/paper_heteropar.pdf BibTex
titre
A study of live VM migration for server consolidation in Data centers
auteur
Alexandre Brandwjan, Thomas Begin, Hind Castel-Taleb, Tülin Atmaca
article
FiCloud 2022 - IEEE 9th International Conference on Future Internet of Things and Cloud, Aug 2022, Rome / Online, Italy. pp.75-82, ⟨10.1109/FiCloud57274.2022.00018⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03822518/file/conference_101719.pdf BibTex
titre
Data center disaggregation: when and how much?
auteur
Thomas Begin, Alexandre Brandwajn, Alain Tchana
article
FiCloud 2022 - 9th IEEE International Conference on Future Internet of Things and Cloud, Aug 2022, Rome / Online, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03822515/file/conference_101719.pdf BibTex
titre
Checkpointing à la Young/Daly: An Overview
auteur
Anne Benoit, Yishu Du, Thomas Herault, Loris Marchal, Guillaume Pallez, Lucas Perotin, Yves Robert, Hongyang Sun, Frédéric Vivien
article
IC3 2022 - 2022 Fourteenth International Conference on Contemporary Computing, Aug 2022, Noida, India. pp.701-710, ⟨10.1145/3549206.3549328⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03830322/file/ic3-invited.pdf BibTex
titre
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning
auteur
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
article
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-13, ⟨10.1145/3531130.3533366⟩
Accès au bibtex
https://arxiv.org/pdf/2201.09087 BibTex
titre
Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)
auteur
David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
article
LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533375⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03682126/file/main.pdf BibTex
titre
On Confluence of Parallel-Innermost Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03710007/file/iwc22_para.pdf BibTex
titre
Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
auteur
Rémi Di Guardia, Olivier Laurent
article
3rd Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA 2022), Jul 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03719939/file/MALL_TLLA_final2.pdf BibTex
titre
ADIperf: A Framework for Application-driven IoT Network Performance Evaluation
auteur
Samir Si-Mohammed, Thomas Begin, Isabelle Guérin-Lassous, Pascale Vicat-Blanc
article
ICCCN 2022 - 31st International Conference on Computer Communications and Networks, Jul 2022, Honolulu, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03738572/file/ICCCN.pdf BibTex
titre
L'analyse de cycle de vie de services numériques sur systèmes distribués : définitions et enjeux
auteur
Adrien Berthelot
article
COMPAS 2022: Conférence francophone d'informatique en Parallélisme Architecture et Système (Compas), Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03941852/file/ComPAS2022_paper_26-2.pdf BibTex
titre
A Polyhedral Approach for Scalar Promotion
auteur
Alec Sadler, Christophe Alias, Hugo Thievenaz
article
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS'22), Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03862223/file/compas22scalarization.pdf BibTex
titre
Regular expressions for tree-width 2 graphs
auteur
Amina Doumane
article
International Colloquium on Automata, Languages and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.121⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03753626/file/LIPIcs-ICALP-2022-121.pdf BibTex
titre
Deciding twin-width at most 4 is NP-complete
auteur
Pierre Bergé, Édouard Bonnet, Hugues Déprés
article
49th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2022), Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03750997/file/camera.pdf BibTex
titre
Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques
auteur
Enguerrand Prebet
article
ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03920025/file/lambda_ref.pdf BibTex
titre
Dimension-free convergence rates for gradient Langevin dynamics in RKHS
auteur
Boris Muzellec, Kanji Sato, Mathurin Massias, Taiji Suzuki
article
COLT 2022 - 35th Annual Conference on Learning Theory, Jul 2022, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03920387/file/muzellec22a.pdf BibTex
titre
Formalising Futures and Promises in Viper
auteur
Cinzia Giusto, Loïc Guizouarn, Ludovic Henrio, Etienne Lozes
article
JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03626843/file/jfla22_paper_12.pdf BibTex
titre
Beating the Sum-Rate Capacity of the Binary Adder Channel with Non-Signaling Correlations
auteur
Omar Fawzi, Paul Fermé
article
ISIT 2022 - IEEE International Symposium on Information Theory, Jun 2022, Espoo, Finland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03702410/file/MAC_NS.pdf BibTex
titre
Token Sliding on Graphs of Girth Five.
auteur
Valentin Bartier, Nicolas Bousquet, Jihad Hanna, Amer Mouawad, Sebastian Siebertz
article
WG, Jun 2022, Tubingen, Germany. pp.56--69, ⟨10.1007/978-3-031-15914-5\_5⟩
Accès au bibtex
https://arxiv.org/pdf/2205.01009 BibTex
titre
Twin-width IV: ordered graphs and matrices
auteur
Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Pierre Simon, Stéphan Thomassé, Szymon Toruńczyk
article
STOC 2022, Jun 2022, Rome, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03714452/file/main-STOC.pdf BibTex
titre
Affine Multibanking for High-Level Synthesis
auteur
Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré
article
IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03862220/file/impact22mb.pdf BibTex
titre
Rephrasing Polyhedral Optimizations with Trace Analysis
auteur
Hugo Thievenaz, Keiji Kimura, Christophe Alias
article
12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03862218/file/impact22polytrace.pdf BibTex
titre
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03676356/file/afadl_2022_baudon_hal.pdf BibTex
titre
Lightweight Array Contraction by Trace-Based Polyhedral Analysis
auteur
Hugo Thievenaz, Keiji Kimura, Christophe Alias
article
C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03862219/file/c3po22polytrace.pdf BibTex
titre
Socio-géographie de la téléphonie mobile
auteur
Éric Guichard, Anthony Busson, Thomas Begin
article
7ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’EXpérimentation des Réseaux de Communication, CORES'22, Jun 2022, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03647759/file/submitted.pdf BibTex
titre
INSPIRE : Optimisation bayésienne distribuée pour l’amélioration de la réutilisation spatiale des WLANs denses
auteur
Anthony Bardou, Thomas Begin
article
24ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, AlgoTel'22, Jun 2022, Saclay, France
Accès au bibtex
BibTex
titre
Socio-géographie de la téléphonie mobile
auteur
Éric Guichard, Anthony Busson, Thomas Begin
article
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03656995/file/Cores_2022.pdf BibTex
titre
An Efficient Parallel Implementation of a Perfect Hashing Method for Hypergraphs
auteur
Somesh Singh, Bora Uçar
article
GrAPL 2022 - Workshop on Graphs, Architectures, Programming, and Learning, IEEE, May 2022, Lyon, France. pp.265--274
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03612360/file/singhUcar-GrAPL2022.pdf BibTex
titre
Analyse de la qualité des liens Wi-Fi à partir de données expérimentales
auteur
Thierry Arrabal, Marija Stojanova, Isabelle Guérin Lassous, Joris Picot
article
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03660891/file/CoRes22_Expes_WiFi.pdf BibTex
titre
Bounding the Flow Time in Online Scheduling with Structured Processing Sets
auteur
Louis-Claude Canon, Anthony Dugois, Loris Marchal
article
IPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium, May 2022, Lyon, France. pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03561018/file/conf.pdf BibTex
titre
INSPIRE : Optimisation bayésienne distribuée pour l'amélioration de la réutilisation spatiale des WLANs denses
auteur
Anthony Bardou, Thomas Begin
article
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03650782/file/AlgoTel22_CameraReady.pdf BibTex
titre
Memory-Aware Scheduling of Tasks Sharing Data on Multiple GPUs with Dynamic Runtime Systems
auteur
Maxime Gonthier, Loris Marchal, Samuel Thibault
article
IPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium, May 2022, Lyon, France. pp.1-11, ⟨10.1109/IPDPS53621.2022.00073⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03552243/file/IPDPS-camera-ready.pdf BibTex
titre
One-Shot Fiat-Shamir-based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model
auteur
Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung
article
Eurocrypt 2022, May 2022, Trondheim, Norway. pp.488-519, ⟨10.1007/978-3-031-07085-3_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03726185/file/DCR-ring-sig-full.pdf BibTex
titre
Stratégie d'association dans un réseau hétérogène Wi-Fi/LiFi pour une meilleure efficacité énergétique
auteur
Esther Guérin, Thomas Begin, Anthony Busson, Isabelle Guérin Lassous
article
CoRes2022 - 7ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France
Accès au texte intégral et bibtex
https://hal.science/hal-03651883/file/CoRes.pdf BibTex
titre
Fast learning of fast transforms, with guarantees
auteur
Quoc-Tung Le, Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. ⟨10.1109/ICASSP43922.2022.9747791⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03438881/file/main.pdf BibTex
titre
Fast Multiscale Diffusion on Graphs
auteur
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban, Pierre Borgnat, Paulo Gonçalves
article
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. ⟨10.1109/ICASSP43922.2022.9746802⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03212764/file/icassp2022.pdf BibTex
titre
Impact des langages de programmation sur la performance énergétique des applications de calcul scientifique : un challenge ?
auteur
Cyrille Bonamy, Laurent Bourgès, Laurent Lefèvre
article
JRES 2022 - Journées Réseau de l’Enseignement et de la Recherche, RENATER, May 2022, Marseille, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03607468/file/paper19_article_rev1963_20220315_144218.pdf BibTex
titre
Total Cost Modeling for VNF Based on Licenses and Resources
auteur
Ghoshana Bista, Eddy Caron, Anne-Lucie Vion
article
CLOSER 2022 - 12th International Conference on Cloud Computing and Services Science, Apr 2022, Virtual, Portugal
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03660857/file/CLOSER2022.pdf BibTex
titre
Semi-relaxed Gromov Wasserstein divergence with applications on graphs
auteur
Cédric Vincent-Cuaz, Rémi Flamary, Marco Corneli, Titouan Vayer, Nicolas Courty
article
ICLR 2022 - 10th International Conference on Learning Representations, Apr 2022, Virtual, France. pp.1-28
Accès au bibtex
https://arxiv.org/pdf/2110.02753 BibTex
titre
Corecursion up-to via Causal Transformations
auteur
Damien Pous, Jurriaan Rot, Ruben Turkenburg
article
Coalgebraic Methods in Computer Science, Apr 2022, Munich, Germany. ⟨10.1007/978-3-031-10736-8_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03694381/file/causal-up-to.pdf BibTex
titre
Rational Modular Encoding in the DCR Setting: Non-Interactive Range Proofs and Paillier-Based Naor-Yung in the Standard Model
auteur
Julien Devevey, Benoît Libert, Thomas Peters
article
Public-Key Cryptography (PKC 2022) - 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2022, Yokohama (devenu virtuel pour cause de COVID), Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03807457/file/NY-DCR-alt.pdf BibTex
titre
Multi-Armed Bandit Algorithm for Spatial Reuse in WLANs: Minimizing Stations in Starvation
auteur
Anthony Bardou, Thomas Begin, Anthony Busson
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03596197/file/ROADEF2022.pdf BibTex
titre
Learning-Augmented Online Algorithms
auteur
Bertrand Simon
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Accès au bibtex
BibTex
titre
BV and Pomset Logic Are Not the Same
auteur
Lê Thành Dung Nguyên, Lutz Straßburger
article
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03909463/file/LIPIcs-CSL-2022-32.pdf BibTex
titre
Cyclic proofs for transfinite expressions
auteur
Emile Hazard, Denis Kuperberg
article
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Feb 2022, Göttingen, Germany. pp.23, ⟨10.4230/LIPIcs.CSL.2022.23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03669657/file/CSL22long.pdf BibTex
titre
Larger Corner-Free Sets from Combinatorial Degenerations
auteur
Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam
article
ITCS 2022 - 13th Innovations in Theoretical Computer Science Conference, Jan 2022, Berkeley, United States. pp.1-2410, ⟨10.4230/LIPIcs.ITCS.2022.48⟩
Accès au bibtex
https://arxiv.org/pdf/2111.08262 BibTex
titre
A lower bound on the space overhead of fault-tolerant quantum computation
auteur
Omar Fawzi, Alexander Müller-Hermes, Ala Shayeghi
article
13th Innovations in Theoretical Computer Science Conference (ITCS 2022), Jan 2022, Berkeley, United States. ⟨10.4230/LIPIcs.ITCS.2022.68⟩
Accès au bibtex
https://arxiv.org/pdf/2202.00119 BibTex
titre
Direction scientifique
auteur
Ludovic Pailler, Alain Tchana
article
Atelier rgpdOS 1, organisé dans le cadre du projet MSH-LSE rgpdOS, UJML3, EDIEC-CREDIP, Jan 2022, Lyon, France
Accès au bibtex
BibTex
titre
Twin-width VI: the lens of contraction sequences
auteur
Édouard Bonnet, Eun Jung Kim, Amadeus Reinald, Stéphan Thomassé
article
SODA 2022, Jan 2022, Alexandria, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430581/file/main.pdf BibTex
titre
Round-optimal lattice-based threshold signatures, revisited
auteur
Shweta Agrawal, Damien Stehlé, Anshu Yadav
article
ICALP 2022, 2022, Paris, France
Accès au bibtex
BibTex
titre
Practical, Round-Optimal Lattice-Based Blind Signatures
auteur
Shweta Agrawal, Elena Kirshanova, Damien Stehlé, Anshu Yadav
article
CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Los Angeles CA USA, France. pp.39-53, ⟨10.1145/3548606.3560650⟩
Accès au bibtex
BibTex
titre
Multi-Armed Bandit Algorithm for Spatial Reuse in WLANs : Minimizing Stations in Starvation
auteur
Anthony Bardou, Thomas Begin, Anthony Busson
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF'22, 2022, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03643750/file/ROADEF2022.pdf BibTex
titre
Towards Globally Optimized Hybrid Homomorphic Encryption - Featuring the Elisabeth Stream Cipher
auteur
Orel Cosseron, Clément Hoffmann, Pierrick Méaux, François-Xavier Standaert
article
ASIACRYPT 2022, 2022, Taipei, Taiwan
Accès au bibtex
BibTex
titre
INSPIRE: Distributed Bayesian Optimization for ImproviNg SPatIal REuse in Dense WLANs
auteur
Anthony Bardou, Thomas Begin
article
MSWiM '22: Int'l ACM Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2022, Montreal, Quebec, Canada. pp.133-142, ⟨10.1145/3551659.3559050⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03884784/file/MSWIM22_CameraReady_NoCopyright.pdf BibTex

Master thesis

titre
Type indexing in OCaml for function search in a large ecosystem
auteur
Pauline Garelli
article
Programming Languages [cs.PL]. 2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03940573/file/main.pdf BibTex

Other publications

titre
Je code : les bonnes pratiques en éco-conception de service numérique à destination des développeurs de logiciels
auteur
Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat
article
2022, pp.1-19
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03009741/file/Plaquette_EcoInfo_Ecoconception_Logicielle_vHAL4.pdf BibTex

Books

titre
33èmes Journées Francophones des Langages Applicatifs
auteur
Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, Stefania Dumbrava, Diane Gallois-Wong, Adrien Guatto, David Janin, Marie Kerjean, Luc Pellissier, Mário Pereira, Alix Trieu, Yannick Zakowski
article
Chantal Keller; Timothy Bourke. , pp.1-292, 2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03689075/file/proceedings-jfla-2022.pdf BibTex

Poster communications

titre
RoMA: Rotating MAC Address for privacy protection
auteur
Johann Hugon, Mathieu Cunche, Thomas Begin
article
SIGCOMM 2022 - 36th Conference of the ACM Special Interest Group on Data Communication -- Poster Session, Aug 2022, Amsterdam, Netherlands. ⟨10.1145/3546037.3546055⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03778273/file/Poster_Virtual_Interface.pdf BibTex
titre
Une comparaison expérimentale de wattmètres logiciels : focus sur le CPU
auteur
Vladimir Ostapenco, Laurent Lefevre, Anne-Cécile Orgerie, Benjamin Fichel
article
COMPAS 2022, Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03946331/file/Poster-COMPAS-Ostapenco-Vladimir.pdf BibTex
titre
Comparaison expérimentale de logiciels de mesure d'énergie : côté GPU
auteur
Mathilde Jay, Denis Trystram, Laurent Lefèvre
article
Compas 2022, Jul 2022, Amiens, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03945744/file/poster_JAY.pdf BibTex
titre
Block low-rank compression in mixed precision for the solution of sparse linear systems
auteur
Matthieu Gerest, Patrick Amestoy, Olivier Boiteau, Alfredo Buttari, Fabienne Jézéquel, Jean-Yves L'Excellent, Théo Mary
article
Sparse Days conference 2022, Jun 2022, Saint-Girons, France.
Accès au texte intégral et bibtex
https://hal.science/hal-03780548/file/stgirons-gerest.pdf BibTex

Proceedings

titre
A Note on the Determination of the Processing Capacity in a Multiserver Job System as a Model of Cloud Datacenters
auteur
Alexandre Brandwajn, Thomas Begin
article
2022, ⟨10.1109/CloudCom55334.2022.00017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03912321/file/ieee.pdf BibTex

Reports

titre
Reaching the Quality of SVD for Low-Rank Compression Through QR Variants
auteur
Esragul Korkmaz, Mathieu Faverge, Grégoire Pichon, Pierre Ramet
article
[Research Report] RR-9476, Inria Bordeaux - Sud Ouest. 2022, pp.43
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03718312/file/RR-9476.pdf BibTex
titre
Knit&Frog: Pattern matching compilation for custom memory representations
auteur
Thaïs Baudon, Laure Gonnord, Gabriel Radanne
article
[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03684334/file/rr-9473.pdf BibTex
titre
Algorithms and data structures for hyperedge queries
auteur
Jules Bertrand, Fanny Dufossé, Somesh Singh, Bora Uçar
article
[Research Report] RR-9390, Inria Grenoble Rhône-Alpes. 2022, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03127673/file/RR-9390.pdf BibTex
titre
Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints
auteur
Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9469, INRIA. 2022, pp.1-23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03641039/file/RR-9469-V3.pdf BibTex
titre
Inference of Wi-Fi Busy Time Fraction based on Markov Chains
auteur
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article
[Research Report] Inria Lyon. 2022, pp.1-35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03641948/file/Ad_Hoc_networks_journal_nour_2022.pdf BibTex
titre
Checkpointing strategies to protect parallel jobs from non-memoryless fail-stop errors
auteur
Anne Benoit, Lucas Perotin, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9465, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03610883/file/RR-9465.pdf BibTex
titre
Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures
auteur
Svetlana Kulagina, Henning Meyerhenke, Anne Benoit
article
[Research Report] RR-9458, Inria Grenoble Rhône-Alpes. 2022, pp.1-20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03581418/file/RR-9458.pdf BibTex
titre
Scheduling Strategies for Overloaded Real-Time Systems
auteur
Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9455, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-48
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03580853/file/rr9455.pdf BibTex
titre
Bounding the Flow Time in Online Scheduling with Structured Processing Sets (extended version)
auteur
Louis-Claude Canon, Anthony Dugois, Loris Marchal
article
[Research Report] RR-9446, INRIA. 2022, pp.1-35
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03558600/file/report.pdf BibTex
titre
Proposition de document de cadrage Évaluation environnementale de projets impliquant des méthodes d'IA
auteur
Laurent Lefèvre, Anne-Laure Ligozat, Denis Trystram, Sylvain Bouveret, Aurélie Bugeau, Jacques Combaz, Emmanuelle Frenoux, Gaël Guennebaud, Julien Lefèvre, Jean-Philippe Nicolaï
article
EcoInfo. 2022, pp.1-8
Accès au texte intégral et bibtex
https://hal.science/hal-03853135/file/Proposition%20de%20document%20de%20cadrage%20projets%20IA%20minist%C3%A8re-1.pdf BibTex

Software

titre
Ribbit
auteur
Gabriel Radanne, Laure Gonnord, Thaïs Baudon
article
2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03860442/file/ribbit-0.1.zip BibTex
titre
LinBox
auteur
The Linbox Group
article
2022, ⟨swh:1:dir:ab3150274e077cc4c4d18ab7bc074fab0a5c12d3;origin=https://hal.archives-ouvertes.fr/hal-03788347;visit=swh:1:snp:99e4a5b29527e7089567751cd8b75113ecd12c0b;anchor=swh:1:rel:35391e40ce3a7b02180e2dc159c095a89ed26a91;path=/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03788347/file/linbox-1.7.0.tar.gz BibTex
titre
Code for reproducible research - Self-supervised learning with rotation-invariant kernels
auteur
Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
article
2022, ⟨swh:1:dir:0324646066b76298702273fed6baa6a64cfb5b01;origin=https://hal.archives-ouvertes.fr/hal-03737572;visit=swh:1:snp:c7c35f9273f8f23fd018d4dd6b0aaef7e600b0dc;anchor=swh:1:rel:7b216caea6e30f84fae2f12af6235dcbfbd1a85d;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03737572/file/sfrik.zip BibTex
titre
Code for reproducible research - "Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
auteur
Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval
article
2022, ⟨swh:1:dir:96dde633bde9eb800bc2e298ae98dba0579cb052;origin=https://hal.archives-ouvertes.fr/hal-03667186;visit=swh:1:snp:5d6cba12bff4367e05a63c41938941f627ed2946;anchor=swh:1:rel:76d45ab397d6879990a7aa51621191589440f04b;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03667186/file/Code.zip BibTex
titre
Code for reproducible research - Efficient Identification of Butterfly Sparse Matrix Factorizations
auteur
Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
2022, ⟨swh:1:dir:ed569ed027c484a53ca2d3d32aa6a05c79b50dbd;origin=https://hal.archives-ouvertes.fr/hal-03620052;visit=swh:1:snp:0706d7527a325d7ac8f46744c182056af46b4756;anchor=swh:1:rel:3884bd8154b9879c5743dfd2279d55102b60358c;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03620052/file/efficient-butterfly-main.zip BibTex
titre
Code for reproducible research - Fast Multiscale Diffusion on Graphs
auteur
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban, Pierre Borgnat, Paulo Gonçalves
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03576498/file/Archive.zip BibTex
titre
Code for the paper "Structured Support Exploration For Multilayer Sparse Matrix Factorization
auteur
Quoc-Tung Le, Rémi Gribonval
article
2022, ⟨swh:1:dir:6794fd3f41d50a4e51e6e7f11ee721efafda9806;origin=https://hal.archives-ouvertes.fr/hal-03572265;visit=swh:1:snp:e5760cb4d925b5f3529486ffde997d8e3e9ea07e;anchor=swh:1:rel:a190fb7ab69d170eede1666e9e3edec33c56224b;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03572265/file/Code.zip BibTex
titre
Code for reproducible research - Fast learning of fast transforms, with guarantees
auteur
Léon Zheng, Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval
article
2022, ⟨swh:1:dir:42d42bf905c9f3bbcd6cf5e1e0cda6be2d0d63de;origin=https://hal.archives-ouvertes.fr/hal-03552956;visit=swh:1:snp:6a2256426a0f3a7491086fbf2da554d7589d1e18;anchor=swh:1:rel:f477382c82ada89647864605ea44b12383c04167;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03552956/file/Code.zip BibTex

Theses

titre
Fault-tolerant algorithms for iterative applications and batch schedulers
auteur
Yishu Du
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2022. English. ⟨NNT : 2022ENSL0045⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03955569/file/DU_Yishu_2022ENSL0045_These.pdf BibTex
titre
Non-determinism, explorable automata and cyclic proofs
auteur
Émile Hazard
article
Computational Complexity [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2022. English. ⟨NNT : 2022ENSL0022⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03969156/file/HAZARD_Emile_2022ENSL0022_These.pdf BibTex
titre
Typed Behavioural Equivalences in the Pi-Calculus
auteur
Enguerrand Prebet
article
Logic in Computer Science [cs.LO]. Ecole normale supérieure de lyon - ENS LYON; Università degli studi (Bologne, Italie), 2022. English. ⟨NNT : 2022ENSL0017⟩
Accès au texte intégral et bibtex
https://hal.science/tel-03920089/file/PREBET_Enguerrand_2022ENSL0017_These.pdf BibTex
titre
Proof Theory of Riesz Modal Logic
auteur
Christophe Lucas
article
General Mathematics [math.GM]. Ecole normale supérieure de lyon - ENS LYON, 2022. English. ⟨NNT : 2022ENSL0009⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03886259/file/LUCAS_thesis.pdf BibTex
titre
Asymptotic properties of hypergraphs and channels
auteur
Duy Hoang Ta
article
Information Theory [cs.IT]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN024⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03735720/file/TA_Duy_Hoang_2022LYSEN024_These.pdf BibTex
titre
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays
auteur
Julien Braine
article
Logic in Computer Science [cs.LO]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN014⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03771839/file/BRAINE_Julien_2022LYSEN014_These.pdf BibTex
titre
Compiling Trees : Combining Data Layouts and the Polyhedral Model
auteur
Paul Iannetta
article
Data Structures and Algorithms [cs.DS]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN013⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03771830/file/IANNETTA_Paul_2022LYSEN013_These.pdf BibTex
titre
Load inference in Wi-Fi networks : models and experimentations
auteur
Nour El Houda Bouzouita
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN003⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03616575/file/BOUZOUITA_NEH_2022LYSEN003_These.pdf BibTex

Preprints, Working Papers, ...

titre
A theory of optimal convex regularization for low-dimensional recovery
auteur
Yann Traonmilin, Rémi Gribonval, Samuel Vaiter
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03467123/file/opti_convex_reg_journal.pdf BibTex
titre
Revisiting RIP guarantees for sketching operators on mixture models
auteur
Ayoub Belhadji, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03872878/file/main.pdf BibTex
titre
Positive First-Order Logic on Words and Graphs
auteur
Denis Kuperberg
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03865495/file/main.pdf BibTex
titre
Explorable automata
auteur
Emile Hazard, Denis Kuperberg
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03669659/file/Explorable_full.pdf BibTex
titre
Complexity and algorithms for Isometric Path Cover on chordal graphs and beyond
auteur
Dibyayan Chakraborty, Antoine Dailly, Sandip Das, Florent Foucaud, Harmender Gahlawat, Subir Kumar Ghosh
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03710812/file/Isometric_Path_Cover_on_chordal_graphs_and_beyond.pdf BibTex
titre
Multilevel FISTA for image restoration
auteur
Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03831180/file/main_emptied.pdf BibTex
titre
Self-supervised learning with rotation-invariant kernels
auteur
Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03738466/file/main.pdf BibTex
titre
High-order lifting for polynomial Sylvester matrices
auteur
Clément Pernet, Hippolyte Signargout, Gilles Villard
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03740320/file/resultant.pdf BibTex
titre
On the Statistical Complexity of Estimation and Testing under Privacy Constraints
auteur
Clément Lalanne, Aurélien Garivier, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03794374/file/main.pdf BibTex
titre
On Best-Arm Identification with a Fixed Budget in Non-Parametric Multi-Armed Bandits
auteur
Antoine Barrier, Aurélien Garivier, Gilles Stoltz
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03792668/file/BaGaSt--BAI-fixed-T-v3.pdf BibTex
titre
Recolouring planar graphs of girth at least five
auteur
Valentin Bartier, Nicolas Bousquet, Carl Feghali, Marc Heinrich, Benjamin Moore, Théo Pierron
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03773048/file/Recoloring_Planar_graphs_of_large_girth.pdf BibTex
titre
Minimization of differential equations and algebraic values of $E$-functions
auteur
Alin Bostan, Tanguy Rivoal, Bruno Salvy
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03771150/file/2209.01827.pdf BibTex
titre
Semidefinite programming lower bounds on the squashed entanglement
auteur
Hamza Fawzi, Omar Fawzi
article
2022
Accès au bibtex
https://arxiv.org/pdf/2203.03394 BibTex
titre
Fundamentals of Compositional Rewriting Theory
auteur
Nicolas Behr, Russ Harmer, Jean Krivine
article
2022
Accès au bibtex
https://arxiv.org/pdf/2204.07175 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
2022
Accès au bibtex
https://arxiv.org/pdf/2206.00594 BibTex
titre
On Up-to Context Techniques in the π-calculus
auteur
Enguerrand Prebet
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03482459/file/document.pdf BibTex
titre
Doing better for jobs that failed: node stealing from a batch scheduler's perspective
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03643403/file/hal-version.pdf BibTex
titre
Zaionc paradox revisited
auteur
Pierre Lescanne
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03197423/file/Zaionc_paradox.pdf BibTex
titre
Device-independent lower bounds on the conditional von Neumann entropy
auteur
Peter Brown, Hamza Fawzi, Omar Fawzi
article
2022
Accès au bibtex
https://arxiv.org/pdf/2106.13692 BibTex
titre
Symmetric Subrank of Tensors and Applications
auteur
Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam
article
2022
Accès au bibtex
https://arxiv.org/pdf/2104.01130 BibTex
titre
Private Quantiles Estimation in the Presence of Atoms
auteur
Clément Sébastien Lalanne, Clément Gastaud, Nicolas Grislain, Aurélien Garivier, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03572701/file/hal.pdf BibTex
titre
Efficient and Validated Numerical Evaluation of Abelian Integrals
auteur
Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03561096/file/hal-abintvalid.pdf BibTex
titre
Lower bound for constant-size local certification
auteur
Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond
article
2022
Accès au bibtex
https://arxiv.org/pdf/2208.14229 BibTex
titre
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
auteur
Lê Thành Dũng Nguyễn, Lutz Straßburger
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03909547/file/2209.07825.pdf BibTex