2022

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, Lucas Perotin, Yves Robert, Hongyang Sun
article: ACM Transactions on Parallel Computing, 2022, 9 (4), pp.1-25. ⟨10.1145/3548607⟩
Accès au 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

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

titre: On contraction coefficients, partial orders and approximation of capacities for quantum channels
auteur: Christoph Hirche, Cambyse Rouzé, Daniel Stilck França
article: Quantum, 2022, 6, pp.862. ⟨10.22331/q-2022-11-28-862⟩
Accès au texte intégral et 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

titre: Kempe equivalence of 4‐critical planar graphs
auteur: Carl Feghali
article: Journal of Graph Theory, 2022, 103 (1), pp.139-147. ⟨10.1002/jgt.22908⟩
Accès au 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 texte intégral et 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 Journal, 2022
Accès au texte intégral et 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

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

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

titre: Edge-partitioning 3-edge-connected graphs into paths
auteur: Tereza Klimošová, Stéphan Thomassé
article: Journal of Combinatorial Theory, Series B, 2022, 156, pp.250-293. ⟨10.1016/j.jctb.2022.05.001⟩
Accès au 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

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

titre: Le vrai coût énergétique du numérique
auteur: Anne-Cécile Orgerie, Laurent Lefèvre
article: Interstices, 2022
Accès au 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

titre: Twin-width II: small classes
auteur: Édouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
article: Combinatorial Theory, 2022, ⟨10.5070/C62257876⟩
Accès au texte intégral et 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. ⟨10.1109/tsp.2022.3180926⟩
Accès au texte intégral et 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

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, 2022, 23 (179), pp.1-66
Accès au texte intégral et 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

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

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

titre: Twin-width and Polynomial Kernels
auteur: Édouard Bonnet, Eun Jung Kim, Amadeus Reinald, Stéphan Thomassé, Rémi Watrigant
article: Algorithmica, 2022, 84 (11), pp.3300-3337. ⟨10.1007/s00453-022-00965-5⟩
Accès au 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

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

titre: Compressive Learning with Privacy Guarantees
auteur: Antoine Chatalic, Vincent Schellekens, Florimond Houssiau, Yves-Alexandre de Montjoye, Laurent Jacques, Rémi Gribonval
article: Information and Inference, 2022, 11 (1), pp.251-305. ⟨10.1093/imaiai/iaab005⟩
Accès au texte intégral et 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

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, ⟨10.1109/lsp.2022.3155307⟩
Accès au texte intégral et 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

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

titre: Twin-width I: tractable FO model checking
auteur: Édouard Bonnet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
article: Journal of the ACM (JACM), 2022, 69 (1), pp.1-46. ⟨10.1145/3486655⟩
Accès au texte intégral et 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

titre: Approximation spaces of deep neural networks
auteur: Rémi Gribonval, Gitta Kutyniok, Morten Nielsen, Felix Voigtlaender
article: Constructive Approximation, 2022, special issue on "Deep Networks in Approximation Theory", 55 (1), pp.259-367. ⟨10.1007/s00365-021-09543-4⟩
Accès au texte intégral et 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

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

titre: Degeneracy of P_t-free and C_{\>= t}-free graphs with no large complete bipartite subgraphs
auteur: Marthe Bonamy, Nicolas Bousquet, Michał Pilipczuk, Paweł Rzążewski, Stéphan Thomassé, Bartosz Walczak
article: Journal of Combinatorial Theory, Series B, 2022, 152, pp.353-378. ⟨10.1016/j.jctb.2021.10.005⟩
Accès au bibtex

titre: Graphs with polynomially many minimal separators
auteur: Tara Abrishami, Maria Chudnovsky, Cemil Dibek, Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković
article: Journal of Combinatorial Theory, Series B, 2022, 152, pp.248-280. ⟨10.1016/j.jctb.2021.10.003⟩
Accès au 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

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

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, 2022, 131, pp.100842. ⟨10.1016/j.jlamp.2022.100842⟩
Accès au texte intégral et 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

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

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 texte intégral et 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

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, France. pp.12:1--12:17, ⟨10.4230/LIPIcs.ISAAC.2022.12⟩
Accès au texte intégral et bibtex

titre: Black Box Absolute Reconstruction for Sums of Powers of Linear Forms
auteur: Pascal Koiran, Subhayan Saha
article: FSTTCS 2022, Dec 2022, Madras, India. ⟨10.4230/LIPIcs.FSTTCS.2022.24⟩
Accès au bibtex

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: IEEE 13th International Conference on Cloud Computing Technology and Science, Dec 2022, Bangkok, Thailand. ⟨10.1109/CloudCom55334.2022.00017⟩
Accès au texte intégral et 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

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

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

titre: Beyond L1: Faster and Better Sparse Models with skglm
auteur: Quentin Bertrand, Quentin Klopfenstein, Pierre-Antoine Bannier, Gauthier Gidel, Mathurin Massias
article: 36th Conference on Neural Information Processing Systems (NeurIPS 2022), Nov 2022, New Orleans, United States
Accès au texte intégral et 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

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

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 texte intégral et bibtex

titre: A 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.114068, ⟨10.1007/978-3-031-21017-4_16⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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. pp.428-440, ⟨10.1007/978-3-031-30445-3_36⟩
Accès au texte intégral et 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

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

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

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

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

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

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

titre: Algorithmes proximaux rapides déroulés pour l'analyse d'images fractales homogènes par morceaux
auteur: Hoang Trieu Vy Le, Barbara Pascal, Nelly Pustelnik, Marion Foare, Patrice Abry
article: GRETSI, Sep 2022, Nancy, France
Accès au texte intégral et 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

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. pp.1-11, ⟨10.1145/3545008.3545049⟩
Accès au texte intégral et 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

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

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

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

titre: Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
auteur: Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk
article: 37th Annual ACM/IEEE Symposium on Logic in Computer Science ( LICS 2022 ), Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533367⟩
Accès au texte intégral et 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

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

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

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

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

titre: Weakening and Iterating Laws using String Diagrams
auteur: Alexandre Goy
article: MFPS XXXVIII, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10482⟩
Accès au texte intégral et 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

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

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

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

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

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

titre: Formalising Futures and Promises in Viper
auteur: Cinzia Giusto, Loïc Germerie 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

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

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/s00453-023-01181-5⟩
Accès au 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

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

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

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

titre: 1-Extendability of Independent Sets
auteur: Pierre Bergé, Anthony Busson, Carl Feghali, Rémi Watrigant
article: IWOCA 2022, Jun 2022, Trier, Germany. pp.172-185, ⟨10.1007/978-3-031-06678-8_13⟩
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: BV and Pomset Logic Are Not the Same
auteur: Lê Thành Dung Nguyên, Lutz Straßburger
article: CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

Book sections

titre: Liveness
auteur: Benoît Boissinot, Fabrice Rastello
article: SSA-based Compiler Design, Springer International Publishing, pp.107-122, 2022, ⟨10.1007/978-3-030-80515-9_9⟩
Accès au bibtex

titre: Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model (ATAM)
auteur: Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, Guillaume Theyssier
article: Berenbrink, Petra and Monmege, Benjamin. 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), 219, 2022, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-222-8. ⟨10.4230/LIPIcs.STACS.2022.51⟩
Accès au bibtex

Lectures

titre: Privacy in Machine Learning
auteur: Rachel Cummings, Mathias Valla, Luca Nesterenko, Tamim El Ahmad, Mehrasa Ahmadipour, Veronica Lachi, Clément Lalanne, Emilia Siviero, Clément Ogier, Ashna Jose, Aadil Oufkir
article: Doctoral. CIRM – Centre International de Rencontres Mathématiques, Marseille, France. 2022, pp.18
Accès au texte intégral et 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

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

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

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

titre: Memory-Aware Scheduling Of Tasks Sharing Data On Multiple GPUs
auteur: Maxime Gonthier, Samuel Thibault, Loris Marchal
article: HiPEAC ACACES 2022 - 18th International Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Jul 2022, Fiuggi, Italy
Accès au texte intégral et bibtex

titre: Comparaison expérimentale de logiciels de mesure d'énergie : côté GPU
auteur: Mathilde Jay, Laurent Lefèvre, Denis Trystram
article: Compas 2022, Jul 2022, Amiens, France
Accès au texte intégral et bibtex

titre: Une comparaison expérimentale de wattmètres logiciels : focus sur le CPU
auteur: Vladimir Ostapenco, Laurent Lefèvre, Anne-Cécile Orgerie, Benjamin Fichel
article: COMPAS 2022, Jul 2022, Amiens, France
Accès au texte intégral et 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

titre: Bonnes pratiques en éco-conception de service numérique
auteur: Cyrille Bonamy, Cédric Boudinet, Karin Dassas, Laurent Lefèvre, Francis Vivat, Benjamin Ninassi, Laurent Bourgès
article: JRES (Journées réseaux de l'enseignement et de la recherche ) 2021, May 2022, Marseille, France. 2022
Accès au texte intégral et bibtex

Documents associated with scientific events

titre: Memory-Aware Scheduling of Tasks Sharing Data on Multiple GPUs with Dynamic Runtime Systems
auteur: Maxime Gonthier, Loris Marchal, Samuel Thibault
article: 15th Scheduling for Large Scale Systems Workshop, Jun 2022, Fréjus, France
Accès au texte intégral et bibtex

Reports

titre: Compositional Flexible Memory Representations for Algebraic Data Types
auteur: Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article: 9495, Inria. 2022
Accès au texte intégral et bibtex

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

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

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

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

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

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

titre: Locality-aware batch scheduling of I/O intensive workloads
auteur: Maxime Gonthier, Loris Marchal, Samuel Thibault, Elisabeth Larsson, Carl Nettelblad
article: RR-9497, ENS Lyon; Inria Bordeaux; Uppsala Universitet. 2022, pp.25
Accès au texte intégral et 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

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

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

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

Software

titre: Artifact: An experimental comparison of software-based power meters
auteur: Mathilde Jay, Vladimir Ostapenco
article: 2022, ⟨swh:1:dir:3f96aa52df97e6ee64540a296ddf1e399e808cf3;origin=https://hal.archives-ouvertes.fr/hal-03974900;visit=swh:1:snp:b0ac5615ad2ca549c14feea48856b4e5b782acff;anchor=swh:1:rel:bbf9820f1799be1e04a06a7eaf8c4e156dd7f9b7;path=/⟩
Accès au texte intégral et bibtex

titre: Ribbit
auteur: Gabriel Radanne, Thaïs Baudon, Laure Gonnord
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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Study of dynamical social networks of pre-school children using wearable wireless sensors
auteur: Sicheng Dai
article: Social and Information Networks [cs.SI]. Université de Lyon; East China normal university (Shanghai), 2022. English. ⟨NNT : 2022LYSEN015⟩
Accès au texte intégral et 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

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

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

Preprints, Working 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: 2022
Accès au texte intégral et 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

titre: Semidefinite programming lower bounds on the squashed entanglement
auteur: Hamza Fawzi, Omar Fawzi
article: 2022
Accès au bibtex

titre: On Up-to Context Techniques in the π-calculus
auteur: Enguerrand Prebet
article: 2022
Accès au texte intégral et bibtex

titre: The faster proximal algorithm, the better unfolded deep learning architecture ? The study case of image denoising
auteur: Hoang Trieu Vy Le, Nelly Pustelnik, Marion Foare
article: 2022
Accès au texte intégral et bibtex

titre: Zaionc paradox revisited
auteur: Pierre Lescanne
article: 2022
Accès au texte intégral et bibtex

titre: Symmetric Subrank of Tensors and Applications
auteur: Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam
article: 2022
Accès au bibtex