Laboratoire de l'Informatique du Parallélisme

2021

Journal articles

titre

Subspace Detours Meet Gromov-Wasserstein

auteur

Clément Bonet, Titouan Vayer, Nicolas Courty, François Septier, Lucas Drumetz

article

Algorithms, 2021, Special Issue Optimal Transport: Algorithms and Applications, 14 (12), pp.366. ⟨10.3390/a14120366⟩

Accès au texte intégral et bibtex

titre

On the tree-width of even-hole-free graphs

auteur

Pierre Aboulker, Isolde Adler, Eun Jung Kim, Ni Luh Dewi Sintiari, Nicolas Trotignon

article

European Journal of Combinatorics, 2021, 98, pp.103394. ⟨10.1016/j.ejc.2021.103394⟩

Accès au texte intégral et bibtex

titre

Dynamics of cascades on burstiness-controlled temporal networks

auteur

Samuel Unicomb, Gerardo Iñiguez, James Gleeson, Màrton Karsai

article

Nature Communications, 2021, 12 (1), pp.1-9. ⟨10.1038/s41467-020-20398-4⟩

Accès au bibtex

titre

Derandomization and absolute reconstruction for sums of powers of linear forms

auteur

Pascal Koiran, Mateusz Skomra

article

Theoretical Computer Science, 2021, 887, pp.63-84. ⟨10.1016/j.tcs.2021.07.005⟩

Accès au texte intégral et bibtex

titre

Modular coinduction up-to for higher-order languages via first-order transition systems

auteur

Jean-Marie Madiot, Damien Pous, Davide Sangiorgi

article

Logical Methods in Computer Science, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩

Accès au bibtex

titre

Sketching Data Sets for Large-Scale Learning: Keeping only what you need

auteur

Rémi Gribonval, Antoine Chatalic, Nicolas Keriven, Vincent Schellekens, Laurent Jacques, Philip Schniter

article

IEEE Signal Processing Magazine, 2021, 38 (5), pp.12-36. ⟨10.1109/MSP.2021.3092574⟩

Accès au texte intégral et bibtex

titre

Modular, compositional, and executable formal semantics for LLVM IR

auteur

Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic

article

Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473572⟩

Accès au texte intégral et bibtex

titre

Compressive Statistical Learning with Random Feature Moments

auteur

Rémi Gribonval, Gilles Blanchard, Nicolas Keriven, Yann Traonmilin

article

Mathematical Statistics and Learning, 2021, 3 (2), pp.113-164. ⟨10.4171/msl/20⟩

Accès au texte intégral et bibtex

titre

Statistical Learning Guarantees for Compressive Clustering and Compressive Mixture Modeling

auteur

Rémi Gribonval, Gilles Blanchard, Nicolas Keriven, Yann Traonmilin

article

Mathematical Statistics and Learning, 2021, 3 (2), pp.165-257. ⟨10.4171/msl/21⟩

Accès au texte intégral et bibtex

titre

Convexly independent subsets of Minkowski sums of convex polygons

auteur

Mateusz Skomra, Stéphan Thomassé

article

Discrete Mathematics, 2021, 344 (8), pp.112472. ⟨10.1016/j.disc.2021.112472⟩

Accès au texte intégral et bibtex

titre

Resilient Scheduling of Moldable Parallel Jobs to Cope with Silent Errors

auteur

Anne Benoit, Valentin Le Fèvre, Lucas Perotin, Padma Raghavan, Yves Robert, Hongyang Sun

article

IEEE Transactions on Computers, 2021, pp.1-14. ⟨10.1109/TC.2021.3104747⟩

Accès au texte intégral et bibtex

titre

Latency-Aware Strategies for Deploying Data Stream Processing Applications on Large Cloud-Edge Infrastructure

auteur

Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre

article

IEEE Transactions on Cloud Computing, 2021, pp.1-12. ⟨10.1109/TCC.2021.3097879⟩

Accès au texte intégral et bibtex

titre

An Optimised Flow for Futures: From Theory to Practice

auteur

Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud

article

The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩

Accès au texte intégral et bibtex

titre

Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support

auteur

Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy

article

Integration, the VLSI Journal, 2021, 79, pp.23-40. ⟨10.1016/j.vlsi.2020.12.006⟩

Accès au texte intégral et bibtex

titre

Adaptively Secure Distributed PRFs from LWE

auteur

Benoît Libert, Damien Stehlé, Radu Titiu

article

Journal of Cryptology, 2021, 34 (3), pp.1-46. ⟨10.1007/s00145-021-09393-0⟩

Accès au texte intégral et bibtex

titre

(Theta, triangle)‐free and (even hole, K4)‐free graphs. Part 2: Bounds on treewidth

auteur

Ni Luh Dewi Sintiari, Marcin Pilipczuk, Stéphan Thomassé, Nicolas Trotignon

article

Journal of Graph Theory, 2021, 97 (4), pp.624-641. ⟨10.1002/jgt.22675⟩

Accès au texte intégral et bibtex

titre

Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic

auteur

Sylvie Boldo, Christoph Q. Lauter, Jean-Michel Muller

article

IEEE Transactions on Computers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩

Accès au texte intégral et bibtex

titre

Coinductive Algorithms for Büchi Automata

auteur

Damien Pous, Denis Kuperberg, Laureline Pinault

article

Fundamenta Informaticae, 2021, 180 (4), pp.351-373. ⟨10.3233/FI-2021-2046⟩

Accès au texte intégral et bibtex

titre

Assigning Channels in WLANs with Channel Bonding: A Fair and Robust Strategy

auteur

Amel Chadda, Marija Stojanova, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous

article

Computer Networks, 2021, pp.1-17. ⟨10.1016/j.comnet.2021.108200⟩

Accès au texte intégral et bibtex

titre

Covert Cycle Stealing in a Single FIFO Server

auteur

Bo Jiang, Philippe Nain, Don Towsley

article

ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2021, 6 (2), pp.1-33. ⟨10.1145/3462774⟩

Accès au texte intégral et bibtex

titre

SO-CCA secure PKE from pairing based all-but-many lossy trapdoor functions

auteur

Dingding Jia, Benoît Libert

article

Designs, Codes and Cryptography, 2021, 89 (5), pp.895-923. ⟨10.1007/s10623-021-00849-9⟩

Accès au texte intégral et bibtex

titre

Monoparametric Tiling of Polyhedral Programs

auteur

Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye

article

International Journal of Parallel Programming, 2021, 49, pp.376-409. ⟨10.1007/s10766-021-00694-2⟩

Accès au texte intégral et bibtex

titre

Toward Safe and Efficient Reconfiguration with Concerto

auteur

Maverick Chardet, Hélène Coullon, Simon Robillard

article

Science of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩

Accès au texte intégral et bibtex

titre

Disproving the normal graph conjecture

auteur

Ararat Harutyunyan, Lucas Pastor, Stéphan Thomassé

article

Journal of Combinatorial Theory, Series B, 2021, 147, pp.238-251. ⟨10.1016/j.jctb.2020.04.001⟩

Accès au bibtex

titre

Non-Asymptotic Sequential Tests for Overlapping Hypotheses and application to near optimal arm identification in bandit models

auteur

Aurélien Garivier, Emilie Kaufmann

article

Sequential Analysis, 2021, 40 (1), pp.61-96. ⟨10.1080/07474946.2021.1847965⟩

Accès au texte intégral et bibtex

titre

Explicit degree bounds for right factors of linear differential operators

auteur

Alin Bostan, Tanguy Rivoal, Bruno Salvy

article

Bulletin of the London Mathematical Society, 2021, 53 (1), pp.53--62. ⟨10.1112/blms.12396⟩

Accès au texte intégral et bibtex

titre

On the Stochastic Analysis of a Quantum Entanglement Distribution Switch

auteur

Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley

article

IEEE Transactions on Quantum Engineering, 2021, ⟨10.1109/TQE.2021.3058058⟩

Accès au texte intégral et bibtex

titre

Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions

auteur

Celine Chevalier, Fabien Laguillaumie, Damien Vergnaud

article

Algorithmica, 2021, 83 (1), pp.72-115. ⟨10.1007/s00453-020-00750-2⟩

Accès au texte intégral et bibtex

titre

La mécanique quantique comme garant de sécurité pour l’échange de clé secrète

auteur

Omar Fawzi

article

Interstices, 2021

Accès au bibtex

titre

Defining quantum divergences via convex optimization

auteur

Hamza Fawzi, Omar Fawzi

article

Quantum, 2021, 5, pp.1-26. ⟨10.22331/q-2021-01-26-387⟩

Accès au texte intégral et bibtex

titre

Computing conditional entropies for quantum correlations

auteur

Peter Brown, Hamza Fawzi, Omar Fawzi

article

Nature Communications, 2021, ⟨10.1038/s41467-020-20018-1⟩

Accès au bibtex

titre

Avoidability of Palindrome Patterns

auteur

Pascal Ochem, Matthieu Rosenfeld

article

The Electronic Journal of Combinatorics, 2021, 28 (1), pp.#1.4. ⟨10.37236/9593⟩

Accès au texte intégral et bibtex

titre

An aperiodic set of 11 Wang tiles

auteur

Emmanuel Jeandel, Michael Rao

article

Advances in Combinatorics, 2021, ⟨10.19086/aic.18614⟩

Accès au texte intégral et bibtex

titre

Bounds on Lyapunov Exponents via Entropy Accumulation

auteur

David Sutter, Omar Fawzi, Renato Renner

article

IEEE Transactions on Information Theory, 2021, 67 (1), pp.10-24. ⟨10.1109/TIT.2020.3026959⟩

Accès au bibtex

titre

Constant overhead quantum fault tolerance with quantum expander codes

auteur

Omar Fawzi, Antoine Grospellier, Anthony Leverrier

article

Communications of the ACM, 2021, 64 (1), pp.106-114. ⟨10.1145/3434163⟩

Accès au texte intégral et bibtex

titre

Dynamic DAG Scheduling Under Memory Constraints for Shared-Memory Platforms

auteur

Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault

article

International Journal of Networking and Computing, 2021, pp.1-29. ⟨10.15803/ijnc.11.1_27⟩

Accès au texte intégral et bibtex

titre

The (theta, wheel)-free graphs Part IV: Induced paths and cycles

auteur

Marko Radovanović, Nicolas Trotignon, Kristina Vušković

article

Journal of Combinatorial Theory, Series B, 2021, 146, pp.495-531. ⟨10.1016/j.jctb.2020.06.002⟩

Accès au texte intégral et bibtex

titre

Faster and enhanced inclusion-minimal cograph completion

auteur

Christophe Crespelle, Daniel Lokshtanov, Thi Ha Duong Phan, Eric Thierry

article

Discrete Applied Mathematics, 2021, 288, pp.138-151. ⟨10.1016/j.dam.2020.08.002⟩

Accès au bibtex

titre

Cyclic proofs, system T, and the power of contraction

auteur

Denis Kuperberg, Laureline Pinault, Damien Pous

article

Proceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3434282⟩

Accès au texte intégral et bibtex

titre

Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems

auteur

Stephen Melczer, Bruno Salvy

article

Journal of Symbolic Computation, 2021, 103, pp.234--279. ⟨10.1016/j.jsc.2020.01.001⟩

Accès au bibtex

titre

(Theta, triangle)‐free and (even hole, K4)‐free graphs—Part 1: Layered wheels

auteur

Ni Luh Dewi Sintiari, Nicolas Trotignon

article

Journal of Graph Theory, 2021, ⟨10.1002/jgt.22666⟩

Accès au texte intégral et bibtex

titre

Setting the basis of best practices and standards for curation and annotation of logical models in biology—highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop

auteur

Anna Niarakis, Martin Kuiper, Marek Ostaszewski, Rahuman Malik Sheriff, Cristina Casals-Casas, Denis Thieffry, Tom Freeman, Paul Thomas, Vasundra Touré, Vincent Noël, Gautier Stoll, Julio Saez-Rodriguez, Aurélien Naldi, Eugenia Oshurko, Ioannis Xenarios, Sylvain Soliman, Claudine Chaouiya, Tomáš Helikar, Laurence Calzone

article

Briefings in Bioinformatics, 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩

Accès au texte intégral et bibtex

titre

Resilient Scheduling Heuristics for Rigid Parallel Jobs

auteur

Anne Benoit, Valentin Le Fèvre, Padma Raghavan, Yves Robert, Hongyang Sun

article

International Journal of Networking and Computing, 2021, 11 (1), pp.1-25. ⟨10.15803/ijnc.11.1_2⟩

Accès au texte intégral et bibtex

titre

A Markov Model for Performance Evaluation of Channel Bonding in IEEE 802.11

auteur

Marija Stojanova, Thomas Begin, Anthony Busson

article

Ad Hoc Networks, 2021, ⟨10.1016/j.adhoc.2021.102449⟩

Accès au texte intégral et bibtex

titre

Sparsity-based audio declipping methods: selected overview, new algorithms, and large-scale evaluation

auteur

Clément Gaultier, Srđan Kitić, Rémi Gribonval, Nancy Bertin

article

IEEE/ACM Transactions on Audio, Speech and Language Processing, 2021, 29, pp.1174-1187. ⟨10.1109/TASLP.2021.3059264⟩

Accès au texte intégral et bibtex

titre

One-dimensional Service Networks and Batch Service Queues

auteur

Philippe Nain, Nitish K Panigrahy, Prithwish Basu, Don Towsley

article

Queueing Systems, 2021, ⟨10.1007/s11134-021-09703-0⟩

Accès au texte intégral et bibtex

titre

Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on IaaS Cloud platforms

auteur

Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert

article

Concurrency and Computation: Practice and Experience, 2021, 33 (17), pp.1-25

Accès au texte intégral et bibtex

titre

Computing the multilinear factors of lacunary polynomials without heights

auteur

Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki

article

Journal of Symbolic Computation, 2021, 104, pp.183-206. ⟨10.1016/j.jsc.2020.04.013⟩

Accès au bibtex

titre

EPTAS and Subexponential Algorithm for Maximum Clique on Disk and Unit Ball Graphs

auteur

Marthe Bonamy, Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Panos Giannopoulos, Eun Jung Kim, Paweł Rzążewski, Florian Sikora, Stéphan Thomassé

article

Journal of the ACM (JACM), 2021, 68 (2), pp.1-38. ⟨10.1145/3433160⟩

Accès au texte intégral et bibtex

Conference papers

titre

Shared-memory implementation of the Karp-Sipser kernelization process

auteur

Johannes Langguth, Ioannis Panagiotas, Bora Uçar

article

HiPC 2021 - 28th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.71-80, ⟨10.1109/HiPC53243.2021.00021⟩

Accès au texte intégral et bibtex

titre

Deciding Non-Compressible Blocks in Sparse Direct Solvers using Incomplete Factorization

auteur

Esragul Korkmaz, Mathieu Faverge, Grégoire Pichon, Pierre Ramet

article

HiPC 2021 - 28th IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.1-10, ⟨10.1109/HiPC53243.2021.00024⟩

Accès au texte intégral et bibtex

titre

Work-in-Progress: Evaluating Task Dropping Strategies for Overloaded Real-Time Systems

auteur

Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien

article

RTSS 2021 - 42nd IEEE Real-Time Systems Symposium, Dec 2021, Dortmund, Germany. pp.1-4, ⟨10.1109/RTSS52674.2021.00057⟩

Accès au texte intégral et bibtex

titre

An analysis of Ermakov-Zolotukhin quadrature using kernels

auteur

Ayoub Belhadji

article

NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtual-only Conference, Australia. pp.1-17

Accès au texte intégral et bibtex

titre

Sequential Algorithms for Testing Closeness of Distributions

auteur

Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir

article

NeurIPS 2021, Dec 2021, Virtual, France. ⟨10.48550/arXiv.2205.06069⟩

Accès au texte intégral et bibtex

titre

On the hardness of the NTRU problem

auteur

Alice Pellet-Mary, Damien Stehlé

article

Asiacrypt 2021 - 27th Annual International Conference on the Theory and Applications of Cryptology and Information Security, Dec 2021, Singapore, Singapore. ⟨10.1007/978-3-030-92062-3_1⟩

Accès au bibtex

titre

An Anonymous Trace-and-Revoke Broadcast Encryption Scheme

auteur

Olivier Blazy, Sayantan Mukherjee, Huyen Nguyen, Duong Hieu Phan, Damien Stehlé

article

ACISP 2021 - Australasian Conference on Information Security and Privacy, Dec 2021, Perth, Australia. pp.214-233, ⟨10.1007/978-3-030-90567-5_11⟩

Accès au bibtex

titre

Exploiting Frame Aggregation to Enhance Access Point Selection

auteur

Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano

article

PE-WASUN 2021 - 18th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Nov 2021, Alicante, Spain. pp.1-8, ⟨10.1145/3479240.3488507⟩

Accès au texte intégral et bibtex

titre

Improving the Spatial Reuse in IEEE 802.11ax WLANs: A Multi-Armed Bandit Approach

auteur

Anthony Bardou, Thomas Begin, Anthony Busson

article

MSWiM 2021 - 24th ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2021, Alicante, Spain. ⟨10.1145/3479239.3485715⟩

Accès au bibtex

titre

Towards a Throughput and Energy Efficient Association Strategy for Wi-Fi/LiFi Heterogeneous Networks

auteur

Esther Guérin, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous

article

PE-WASUN 2021 - 18th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Nov 2021, Alicante, Spain. ⟨10.1145/3479240.3488514⟩

Accès au bibtex

titre

Evaluation of two topology-aware heuristics on level-3 BLAS library for multi-GPU platforms

auteur

Thierry Gautier, Joao Vicente Ferreira Lima

article

PAW-ATM 2021 - 4th Annual Parallel Applications Workshop, Alternatives To MPI+X, Nov 2021, Saint Louis, United States. pp.1-11

Accès au texte intégral et bibtex

titre

Fully-succinct Publicly Verifiable Delegation from Constant-Size Assumptions

auteur

Alonso González, Alexandros Zacharakis

article

TCC 2021 - 19th International Conference Theory of Cryptography, Nov 2021, Raleigh, United States. pp.1-79, ⟨10.1007/978-3-030-90459-3_18⟩

Accès au texte intégral et bibtex

titre

S4BXI: the MPI-ready Portals 4 Simulator

auteur

Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon

article

MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩

Accès au texte intégral et bibtex

titre

Free Modal Riesz Spaces are Archimedean: A Syntactic Proof

auteur

Christophe Lucas, Matteo Mio

article

9th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Uli Fahrenberg Mai Gehrke Luigi Santocanale Michael Winter, Nov 2021, Marseille, France. pp.275 - 291, ⟨10.1007/978-3-030-88701-8_17⟩

Accès au texte intégral et bibtex

titre

Tell me when you are sleepy and what may wake you up!

auteur

Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller

article

SoCC 2021 - ACM Symposium on Cloud Computing, Nov 2021, Seattle WA USA, United States. pp.562-569, ⟨10.1145/3472883.3487013⟩

Accès au texte intégral et bibtex

titre

Optimization of the Diffusion Time in Graph Diffused-Wasserstein Distances: Application to Domain Adaptation

auteur

Amélie Barbe, Paulo Gonçalves, Marc Sebban, Pierre Borgnat, Rémi Gribonval, Titouan Vayer

article

ICTAI 2021 - 33rd IEEE International Conference on Tools with Artificial Intelligence, Nov 2021, Virtual conference, France. pp.1-8, ⟨10.1109/ICTAI52525.2021.00125⟩

Accès au texte intégral et bibtex

titre

On Tools for Completeness of Kleene Algebra with Hypotheses

auteur

Damien Pous, Jurriaan Rot, Jana Wagemaker

article

19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 ), Nov 2021, Luminy, France. pp.378-395, ⟨10.1007/978-3-030-88701-8_23⟩

Accès au texte intégral et bibtex

titre

Shelf schedules for independent moldable tasks to minimize the energy consumption

auteur

Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam

article

SBAC-PAD 2021 - IEEE 33rd International Symposium on Computer Architecture and High Performance Computing, Oct 2021, Belo Horizonte, Brazil. pp.1-11, ⟨10.1109/SBAC-PAD53543.2021.00024⟩

Accès au texte intégral et bibtex

titre

Enabling microservices management for Deep Learning applications across the Edge-Cloud Continuum

auteur

Zeina Houmani, Daniel Balouek-Thomert, Eddy Caron, Manish Parashar

article

SBAC-PAD 2021 - IEEE 33rd International Symposium on Computer Architecture and High Performance Computing, Oct 2021, Belo Horizonte, Brazil. pp.1-10, ⟨10.1109/SBAC-PAD53543.2021.00025⟩

Accès au texte intégral et bibtex

titre

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

auteur

Julien Braine, Laure Gonnord, David Monniaux

article

SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩

Accès au texte intégral et bibtex

titre

Compiling pattern matching to in-place modifications

auteur

Paul Iannetta, Laure Gonnord, Gabriel Radanne

article

GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩

Accès au texte intégral et bibtex

titre

Bifurcated Signatures: Folding the Accountability vs. Anonymity Dilemma into a Single Private Signing Scheme

auteur

Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung

article

Eurocrypt 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb (partiellement virtuel), Croatia. pp.1-48, ⟨10.1007/978-3-030-77883-5_18⟩

Accès au texte intégral et bibtex

titre

Instruction Set Design Methodology for In-Memory Computing through QEMU-based System Emulator

auteur

Kévin Mambu, Henri-Pierre Charles, Julie Dumas, Maha Kooli

article

32rd International Workshop on Rapid System Prototyping, Oct 2021, Rennes (Virtual Conference), France

Accès au texte intégral et bibtex

titre

Budget-aware Static Scheduling of Stochastic Workflows with DIET

auteur

Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert

article

ADVCOMP 2021 - 15th International Conference on Advanced Engineering Computing and Applications in Sciences, Oct 2021, Barcelona, Spain. pp.1-8

Accès au texte intégral et bibtex

titre

Extension of Flocking Models to Environments with Obstacles and Degraded Communications

auteur

Alexandre Bonnefond, Olivier Simonin, Isabelle Guérin-Lassous

article

IROS 2021 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2021, Prague / Virtual, Czech Republic. pp.9139-9145, ⟨10.1109/IROS51168.2021.9635944⟩

Accès au texte intégral et bibtex

titre

Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications

auteur

Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier

article

IWOMP 2021 - 17th International Workshop on OpenMP, Sep 2021, Bristol, United Kingdom. pp.1-15, ⟨10.1007/978-3-030-85262-7_14⟩

Accès au texte intégral et bibtex

titre

ENSnano: a 3D modeling software for DNA nanostructures

auteur

Nicolas Levy, Nicolas Schabanel

article

DNA27 - 27th International Conference on DNA Computing and Molecular Programming, Sep 2021, Oxford, France. ⟨10.4230/LIPIcs.DNA.2021.12⟩

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

IPEC 2021, Sep 2021, Lisbon, Portugal

Accès au texte intégral et bibtex

titre

Experimental Workflow for Energy and Temperature Profiling on HPC Systems

auteur

Kameswar Rao Vaddina, Laurent Lefèvre, Anne-Cécile Orgerie

article

ISCC 2021 - IEEE Symposium on Computers and Communications, Sep 2021, Athens, Greece. pp.1-7, ⟨10.1109/ISCC53001.2021.9631413⟩

Accès au texte intégral et bibtex

titre

Presenting convex sets of probability distributions by convex semilattices and unique bases

auteur

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

article

9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Aug 2021, Salzburg, Austria. ⟨10.4230/LIPIcs.CALCO.2021.11⟩

Accès au texte intégral et bibtex

titre

Update on the Asymptotic Optimality of LPT

auteur

Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam

article

Euro-Par 2021 - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon, Portugal. pp.1-14, ⟨10.1007/978-3-030-85665-6_4⟩

Accès au texte intégral et bibtex

titre

Locality-Aware Scheduling of Independent Tasks for Runtime Systems

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

COLOC 2021 - 5th workshop on data locality - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon, Portugal. pp.1-12, ⟨10.1007/978-3-031-06156-1_1⟩

Accès au texte intégral et bibtex

titre

Taming Tail Latency in Key-Value Stores: a Scheduling Perspective

auteur

Sonia Ben Mokhtar, Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière

article

Euro-Par 2021 - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon (virtual), Portugal. pp.136-150, ⟨10.1007/978-3-030-85665-6_9⟩

Accès au texte intégral et bibtex

titre

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes

auteur

Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi

article

32nd International Conference on Concurrency Theory, CONCUR 2021, Aug 2021, Virtual conference, France. pp.34:1--34:22

Accès au texte intégral et bibtex

titre

Isomorphisms are back!

auteur

Clément Allain, Gabriel Radanne, Laure Gonnord

article

ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3

Accès au texte intégral et bibtex

titre

Epsilon Best Arm Identification in Spectral Bandits

auteur

Aurélien Garivier, Tomáš Kocák

article

Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}, Aug 2021, Montreal, Canada. pp.2636-2642, ⟨10.24963/ijcai.2021/363⟩

Accès au bibtex

titre

Multi-Resource List Scheduling of Moldable Parallel Jobs under Precedence Constraints

auteur

Lucas Perotin, Hongyang Sun, Padma Raghavan

article

ICPP 2021 - Proceedings of the 50th International Conference on Parallel Processing, Aug 2021, Chicago, United States. ⟨10.1145/3472456.3472487⟩

Accès au texte intégral et bibtex

titre

Coppersmith's block Wiedemann method for polynomial problems

auteur

Gilles Villard

article

International Conference on Applications of Computer Algebra (ACA) 2021, Jul 2021, Virtual, online, Canada

Accès au bibtex

titre

Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices

auteur

Clément Pernet, Hippolyte Signargout, Pierre Karpman, Gilles Villard

article

ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.249-256, ⟨10.1145/3452143.3465542⟩

Accès au texte intégral et bibtex

titre

Fully-dynamic Weighted Matching Approximation in Practice

auteur

Eugenio Angriman, Henning Meyerhenke, Christian Schulz, Bora Uçar

article

ACDA 2021 - SIAM Conference on Applied and Computational Discrete Algorithms, SIAM, Jul 2021, Virtual, France. ⟨10.1137/1.9781611976830.4⟩

Accès au texte intégral et bibtex

titre

Online Graph Dictionary Learning

auteur

Cédric Vincent-Cuaz, Titouan Vayer, Rémi Flamary, Marco Corneli, Nicolas Courty

article

ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Virtual Conference, United States. ⟨10.48550/arXiv.2102.06555⟩

Accès au texte intégral et bibtex

titre

Positional Injectivity for Innocent Strategies

auteur

Lison Blondeau-Patissier, Pierre Clairambault

article

6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina

Accès au texte intégral et bibtex

titre

Parallel Complexity of Term Rewriting Systems

auteur

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

article

WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6

Accès au texte intégral et bibtex

titre

Twin-width III: Max Independent Set, Min Dominating Set, and Coloring

auteur

Edouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant

article

48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2021, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.35⟩

Accès au texte intégral et bibtex

titre

4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time n^4/3

auteur

Édouard Bonnet

article

ICALP 2021, Jul 2021, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.24⟩

Accès au texte intégral et bibtex

titre

A hierarchy of efficient bounds on quantum capacities exploiting symmetry

auteur

Omar Fawzi, Ala Shayeghi, Hoang Ta

article

2021 IEEE International Symposium on Information Theory (ISIT), Jul 2021, Melbourne, France. pp.272-277, ⟨10.1109/ISIT45174.2021.9517913⟩

Accès au bibtex

titre

Quasi-polynomial time algorithms for free quantum games in bounded dimension

auteur

Hyejung Jee, Carlo Sparaciari, Omar Fawzi, Mario Berta

article

48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2021, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.82⟩

Accès au bibtex

titre

X-Aevol: GPU implementation of an evolutionary experimentation simulator

auteur

Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas

article

GECCO 2021 - Genetic and Evolutionary Computation Conference, Jul 2021, Lille France, France. pp.1-9, ⟨10.1145/3449726.3463195⟩

Accès au texte intégral et bibtex

titre

Evidenced Frames: A Unifying Framework Broadening Realizability Models

auteur

Liron Cohen, Étienne Miquey, Ross Tate

article

LICS 2021, Jul 2021, Rome, Italy

Accès au texte intégral et bibtex

titre

Positive First-order Logic on Words

auteur

Denis Kuperberg

article

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470602⟩

Accès au texte intégral et bibtex

titre

On sequentiality and well-bracketing in the π-calculus

auteur

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

article

LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470559⟩

Accès au texte intégral et bibtex

titre

Extension des Modèles de Flocking aux Environnements avec Obstacles et Communications Dégradées

auteur

Alexandre Bonnefond, Olivier Simonin, Isabelle Guérin-Lassous

article

JFSMA 2021 - 29èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2021, Bordeaux, France

Accès au texte intégral et bibtex

titre

Click and coLLecT An Interactive Linear Logic Prover

auteur

Etienne Callies, Olivier Laurent

article

5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy

Accès au texte intégral et bibtex

titre

Completion to Chordal Distance-Hereditary Graphs: A Quartic Vertex-Kernel

auteur

Christophe Crespelle, Benjamin Gras, Anthony Perez

article

Graph-Theoretic Concepts in Computer Science - 47th International Workshop, Jun 2021, Varsovie, Poland. pp.156-168, ⟨10.1007/978-3-030-86838-3_12⟩

Accès au bibtex

titre

$a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?

auteur

Jean-Michel Muller

article

ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨10.1109/ARITH51176.2021.00015⟩

Accès au texte intégral et bibtex

titre

Structured Support Exploration For Multilayer Sparse Matrix Factorization

auteur

Quoc-Tung Le, Rémi Gribonval

article

ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto, Ontario, Canada. pp.1-5, ⟨10.1109/ICASSP39728.2021.9414238⟩

Accès au texte intégral et bibtex

titre

Concurrency Theorems for Non-linear Rewriting Theories

auteur

Russ Harmer, Nicolas Behr, Jean Krivine

article

ICGT 2021 - 14th International Conference on Graph Transformation, Jun 2021, Bergen, Norway. pp.3-21, ⟨10.1007/978-3-030-78946-6_1⟩

Accès au texte intégral et bibtex

titre

Heuristic for license-aware, performant and energy efficient deployment of multiple software in Cloud architecture

auteur

Eddy Caron, Arthur Chevalier, Noëlle Baillon-Bachoc, Anne-Lucie Vion

article

ICICS 2021 - 12th International Conference on Information and Communication Systems, May 2021, Valencia, Spain. ⟨10.1109/ICICS52457.2021.9464578⟩

Accès au texte intégral et bibtex

titre

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

auteur

Amaury Maillé, Ludovic Henrio, Matthieu Moy

article

FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩

Accès au texte intégral et bibtex

titre

Max-stretch minimization on an edge-cloud platform

auteur

Anne Benoit, Redouane Elghazi, Yves Robert

article

IPDPS 2021 - IEEE International Parallel and Distributed Processing Symposium, May 2021, Portland, Oregon, United States. pp.1-10, ⟨10.1109/IPDPS49936.2021.00086⟩

Accès au texte intégral et bibtex

titre

Distributed-memory multi-GPU block-sparse tensor contraction for electronic structure

auteur

Thomas Herault, Yves Robert, George Bosilca, Robert J Harrison, Cannada A Lewis, Edward F Valeev, Jack J Dongarra

article

IPDPS 2021 - IEEE International Parallel and Distributed Processing Symposium, May 2021, Portland, OR, United States. pp.1-10, ⟨10.1109/IPDPS49936.2021.00062⟩

Accès au texte intégral et bibtex

titre

Non-Interactive CCA2-Secure Threshold Cryptosystems: Achieving Adaptive Security in the Standard Model Without Pairings

auteur

Julien Devevey, Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung

article

PKC 2021 - 24th edition of the International Conference on Practice and Theory of Public-Key Cryptography, May 2021, Edinburgh (devenu virtuel pour cause de COVID), United Kingdom. pp.1-66, ⟨10.1007/978-3-030-75245-3_24⟩

Accès au texte intégral et bibtex

titre

On the Integer Polynomial Learning with Errors Problem

auteur

Julien Devevey, Amin Sakzad, Damien Stehlé, Ron Steinfeld

article

PKC 2021 - 24th edition of the International Conference on Practice and Theory of Public-Key Cryptography, May 2021, Edinburgh, United Kingdom. pp.184-214, ⟨10.1007/978-3-030-75245-3_8⟩

Accès au bibtex

titre

Kwollect: Metrics Collection for Experiments at Scale

auteur

Simon Delamare, Lucas Nussbaum

article

CNERT 2021 - Workshop on Computer and Networking Experimental Research using Testbeds, May 2021, Virtual, United States. pp.1-6, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484540⟩

Accès au texte intégral et bibtex

titre

Training with Quantization Noise for Extreme Model Compression

auteur

Pierre Stock, Angela Fan, Benjamin Graham, Edouard Grave, Rémi Gribonval, Herve Jegou, Armand Joulin

article

ICLR 2021 - International Conference on Learning Representations, May 2021, Vienna, Austria

Accès au bibtex

titre

OFC: an opportunistic caching system for FaaS platforms

auteur

Djob Mvondo, Mathieu Bacou, Kevin Nguetchouang, Lucien Ndjie, Stéphane Pouget, Josiane Kouam, Renaud Lachaize, Jinho Hwang, Tim Wood, Daniel Hagimont, Noël de Palma, Bernabé Batchakui, Alain Tchana

article

EUROSYS 2021 - 16th European Conference on Computer Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.228-244, ⟨10.1145/3447786.3456239⟩

Accès au texte intégral et bibtex

titre

Mitigating vulnerability windows with hypervisor transplant

auteur

Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont

article

EuroSys 2021 - European Conference on Computer Systems, Apr 2021, Edinburgh / Virtual, United Kingdom. pp.1-14, ⟨10.1145/3447786.3456235⟩

Accès au texte intégral et bibtex

titre

Temporal Refinements for Guarded Recursive Types

auteur

Guilhem Jaber, Colin Riba

article

ESOP 2021 - 30th European Symposium on Programming, Mar 2021, Luxembourg, Luxembourg. pp.548-578, ⟨10.1007/978-3-030-72019-3_20⟩

Accès au texte intégral et bibtex

titre

Types for Complexity of Parallel Computation in Pi-Calculus

auteur

Patrick Baillot, Alexis Ghyselen

article

30th European Symposium on Programming (ESOP 2021), Mar 2021, Luxembourg, Luxembourg. pp.59-86

Accès au texte intégral et bibtex

titre

Schema Inference for Property Graphs

auteur

Hanâ Lbath, Angela Bonifati, Russ Harmer

article

EDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia, Cyprus. pp.499-504, ⟨10.5441/002/edbt.2021.58⟩

Accès au texte intégral et bibtex

titre

Streaming Hypergraph Partitioning Algorithms on Limited Memory Environments

auteur

Fatih Taşyaran, Berkay Demireller, Kamer Kaya, Bora Uçar

article

HPCS 2020 - International Conference on High Performance Computing & Simulation, Mar 2021, Virtual online, Spain. pp.1-8

Accès au texte intégral et bibtex

titre

Tight Approximation Guarantees for Concave Coverage Problems

auteur

Siddharth Barman, Omar Fawzi, Paul Fermé

article

STACS 2021, Mar 2021, Saarbücken, Germany

Accès au texte intégral et bibtex

titre

Inapproximability of Diameter in super-linear time: Beyond the 5/3 ratio

auteur

Édouard Bonnet

article

STACS 2021, Mar 2021, Saarbrücken, Germany. ⟨10.4230/LIPIcs.STACS.2021.47⟩

Accès au texte intégral et bibtex

titre

Use of a Weighted Conflict Graph in the Channel Selection Operation for Wi-Fi Networks

auteur

Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous

article

WONS 2021 - 16th Wireless On-demand Network systems and Services Conference, Mar 2021, Virtual Conference, France. pp.1-4, ⟨10.23919/WONS51326.2021.9415558⟩

Accès au texte intégral et bibtex

titre

Data-Aware Process Networks

auteur

Christophe Alias, Alexandru Plesco

article

CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩

Accès au texte intégral et bibtex

titre

A New Memory Layout for Self-Rebalancing Trees

auteur

Paul Iannetta

article

CGO'21, Feb 2021, Séoul, South Korea

Accès au texte intégral et bibtex

titre

Realizability with stateful computations for nonstandard analysis

auteur

Bruno Dinis, Étienne Miquey

article

CSL 2021 - Computer Science Logic, Jan 2021, Ljubljana, Slovenia

Accès au texte intégral et bibtex

titre

An Anti-Locally-Nameless Approach to Formalizing Quantifiers

auteur

Olivier Laurent

article

Certified Programs and Proofs, Jan 2021, virtual, Denmark. pp.300-312, ⟨10.1145/3437992.3439926⟩

Accès au texte intégral et bibtex

titre

Twin-width II: small classes

auteur

Edouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant

article

ACM-SIAM Symposium on Discrete Algorithms (SODA21), Jan 2021, Alexandria, United States

Accès au texte intégral et bibtex

titre

Simple Intrinsic Simulation of Cellular Automata in Oritatami Molecular Folding Model

auteur

Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, Yuki Ubukata

article

14th LATIN 2020: São Paulo, Brazil, Jan 2021, Sao Paulo, Brazil. pp.425-436, ⟨10.1007/978-3-030-61792-9_34⟩

Accès au texte intégral et bibtex

titre

Revisiting Credit Distribution Algorithms for Distributed Termination Detection

auteur

George Bosilca, Aurélien Bouteiller, Thomas Herault, Valentin Le Fèvre, Yves Robert, Jack Dongarra

article

APDCM 2021 - 23rd Workshop on Advances in Parallel and Distributed Computational Models, 2021, Portland, OR, United States

Accès au texte intégral et bibtex

Book sections

titre

Arithmétique et Précision des Calculs sur Ordinateur

auteur

Jean-Michel Muller

article

De la mesure en toutes choses, CNRS Editions, 2021

Accès au texte intégral et bibtex

titre

Categories with Families: Unityped, Simply Typed, and Dependently Typed

auteur

Pierre Clairambault, Simon Castellan, Peter Dybjer

article

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩

Accès au bibtex

Other publications

titre

Non-applicability of the Gaborit&Aguilar-Melchor patent to Kyber and Saber

auteur

Damien Stehlé, Vadim Lyubashevsky

article

2021

Accès au bibtex

Poster communications

titre

Modelling Systems Biology Wide and Deep

auteur

Sébastien Légaré, Jean Krivine, Russ Harmer, Jérôme Feret

article

CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB

Accès au texte intégral et bibtex

titre

Locality-Aware Scheduling Of Independent Tasks For Runtime Systems

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

HiPEAC ACACES 2021, Sep 2021, Fiuggi, Italy

Accès au texte intégral et bibtex

Reports

titre

Affine Multibanking for High-Level Synthesis

auteur

Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré

article

[Research Report] RR-9440, Inria - Research Centre Grenoble – Rhône-Alpes. 2021

Accès au texte intégral et bibtex

titre

Towards Trace-Based Array Contraction

auteur

Hugo Thievenaz, Keiji Kimura, Christophe Alias

article

[Research Report] RR-9442, Inria; Waseda University. 2021, pp.20

Accès au texte intégral et bibtex

titre

Shelf schedules for independent moldable tasks to minimize the energy consumption

auteur

Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam

article

[Research Report] RR-9436, Institut National de Recherche en Informatique et en Automatique (INRIA). 2021, pp.19

Accès au texte intégral et bibtex

titre

A Polyhedral Approach for Auto-Parallelization using a Distributed Virtual Machine

auteur

Damien de Montis, Jean-Baptiste Besnard, Christophe Alias

article

[Research Report] RR-9432, INRIA LIP - ENS Lyon; Paratools. 2021, pp.25

Accès au texte intégral et bibtex

titre

Non-applicability of the Gaborit&Aguilar-Melchor patent to Kyber and Saber

auteur

Vadim Lyubashevsky, Damien Stehlé

article

[Research Report] ENS de Lyon; IBM Zürich. 2021, pp.1-8

Accès au texte intégral et bibtex

titre

Checkpointing Workflows à la Young/Daly Is Not Good Enough

auteur

Anne Benoit, Lucas Perotin, Yves Robert, Hongyang Sun

article

[Research Report] RR-9413, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.54

Accès au texte intégral et bibtex

titre

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

auteur

Julien Braine, Laure Gonnord, David Monniaux

article

[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29

Accès au texte intégral et bibtex

titre

Parallelizing Structural Transformations on Tarbres

auteur

Paul Iannetta, Laure Gonnord, Gabriel Radanne

article

[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21

Accès au texte intégral et bibtex

titre

Minimizing energy consumption for real-time tasks on heterogeneous platforms under deadline and reliability constraints

auteur

Yiqin Gao, Li Han, Jing Liu, Yves Robert, Frédéric Vivien

article

[Research Report] RR-9403, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.417

Accès au texte intégral et bibtex

titre

Draft: sOMP: NUMA and cache-aware simulations for task-based applications

auteur

Idriss Daoudi, Samuel Thibault, Thierry Gautier

article

[Research Report] RR-9400, Inria. 2021, pp.25

Accès au texte intégral et bibtex

titre

Update on the Asymptotic Optimality of LPT

auteur

Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam

article

[Research Report] RR-9397, Inria Grenoble - Rhône-Alpes. 2021, pp.23

Accès au texte intégral et bibtex

titre

Resilient Scheduling of Moldable Parallel Jobs to Cope with Silent Errors

auteur

Anne Benoit, Valentin Le Fèvre, Lucas Perotin, Padma Raghavan, Yves Robert, Hongyang Sun

article

[Research Report] RR-9340, Inria - Research Centre Grenoble – Rhône-Alpes. 2021

Accès au texte intégral et bibtex

titre

Locality-Aware Scheduling of Independant Tasks for Runtime Systems

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

[Research Report] RR-9394, Inria Grenoble -Rhône-Alpes. 2021, pp.21

Accès au texte intégral et bibtex

titre

Deciding Non-Compressible Blocks in Sparse Direct Solvers using Incomplete Factorization

auteur

Esragul Korkmaz, Mathieu Faverge, Grégoire Pichon, Pierre Ramet

article

[Research Report] RR-9396, Inria Bordeaux - Sud Ouest. 2021, pp.16

Accès au texte intégral et bibtex

Software

titre

FADAlib: an open source C++ library for fuzzy array dataflow analysis

auteur

Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati

article

2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩

Accès au texte intégral et bibtex

Theses

titre

Data-driven Management Solution for Microservice-based Deep Learning Applications

auteur

Zeina Houmani

article

Other [cs.OH]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN092⟩

Accès au texte intégral et bibtex

titre

Diffusion-Wasserstein Distances for Attributed Graphs

auteur

Dominique Barbe

article

Artificial Intelligence [cs.AI]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN090⟩

Accès au texte intégral et bibtex

titre

Cryptographic aspects of orthogonal lattices

auteur

Thanh Huyên Nguyen

article

Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN071⟩

Accès au texte intégral et bibtex

titre

Scheduling independent tasks under budget and time constraints

auteur

Yiqin Gao

article

Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN051⟩

Accès au texte intégral et bibtex

titre

Performance Modelling and Simulation of OpenMP Applications

auteur

Idriss Daoudi

article

Calcul parallèle, distribué et partagé [cs.DC]. Université de Bordeaux, 2021. Français. ⟨NNT : 2021BORD0210⟩

Accès au texte intégral et bibtex

titre

Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus

auteur

Alexis Ghyselen

article

Computational Complexity [cs.CC]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN036⟩

Accès au texte intégral et bibtex

titre

Inference of conflict graphs in WIFI infrastructure networks

auteur

Lafdal Abd El Wedoud

article

Web. Université de Lyon; Université de Nouakchott, 2021. Français. ⟨NNT : 2021LYSE1171⟩

Accès au texte intégral et bibtex

titre

From automata to cyclic proofs : equivalence algorithms and descriptive complexity

auteur

Laureline Pinault

article

Logic in Computer Science [cs.LO]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN024⟩

Accès au texte intégral et bibtex

titre

Functional encryption for blind external data processing

auteur

Adel Hamdi

article

Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSE1144⟩

Accès au texte intégral et bibtex

titre

Width Parameters on Even-Hole-Free Graphs

auteur

Ni Luh Dewi Sintiari

article

Other [cs.OH]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN026⟩

Accès au texte intégral et bibtex

titre

Efficiency and Redundancy in Deep Learning Models : Theoretical Considerations and Practical Applications

auteur

Pierre Stock

article

Artificial Intelligence [cs.AI]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN008⟩

Accès au texte intégral et bibtex

titre

From WiFi Performance Evaluation to Controlled Mobility in Drone Networks

auteur

Rémy Grünblatt

article

Networking and Internet Architecture [cs.NI]. Université Claude Bernard Lyon 1, 2021. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

From WiFi performance evaluation to controlled mobility in drone networks

auteur

Rémy Grünblatt

article

Networking and Internet Architecture [cs.NI]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSE1002⟩

Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre

L-types for resource awareness: an implicit name approach

auteur

Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Pierre Lescanne

article

2021

Accès au texte intégral et bibtex

titre

On sequentiality and well-bracketing in the π-calculus (Long Version)

auteur

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

article

2021

Accès au texte intégral et bibtex

titre

Further remarks on Kahan summation with decreasing ordering

auteur

Claude-Pierre Jeannerod

article

2021

Accès au texte intégral et bibtex

titre

A Polyhedral Approach for Scalar Promotion

auteur

Alec Sadler, Christophe Alias, Hugo Thievenaz

article

2021

Accès au texte intégral et bibtex

titre

Identifiability in Two-Layer Sparse Matrix Factorization

auteur

Léon Zheng, Elisa Riccietti, Rémi Gribonval

article

2021

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

2021

Accès au bibtex

titre

Subquadratic-time algorithm for the diameter and all eccentricities on median graphs

auteur

Pierre Bergé, Guillaume Ducoffe, Michel Habib

article

2021

Accès au bibtex

titre

Semialgebras and Weak Distributive Laws

auteur

Daniela Petrişan, Ralph Sarkis

article

2021

Accès au texte intégral et bibtex

titre

Covert Cycle Stealing in a Single FIFO Server (extended version)

auteur

Bo Jiang, Philippe Nain, Don Towsley

article

2021

Accès au texte intégral et bibtex

titre

Claude Pair's Computer Science

auteur

Marion Créhange, Pierre Lescanne, Alain Quéré

article

2021

Accès au texte intégral et bibtex

titre

Taming Tail Latency in Key-Value Stores: a Scheduling Perspective (extended version)

auteur

Sonia Ben Mokhtar, Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière

article

2021

Accès au texte intégral et bibtex

titre

Sketching Datasets for Large-Scale Learning (long version)

auteur

Rémi Gribonval, Antoine Chatalic, Nicolas Keriven, Vincent Schellekens, Laurent Jacques, Philip Schniter

article

2021

Accès au texte intégral et bibtex

titre

Temporal Refinements for Guarded Recursive Types (full version)

auteur

Guilhem Jaber, Colin Riba

article

2021

Accès au texte intégral et bibtex

titre

Coloring graphs with no induced subdivision of $K_4^+$

auteur

Louis Esperet, Nicolas Trotignon

article

2021

Accès au texte intégral et bibtex

titre

Maximum independent sets in (pyramid, even hole)-free graphs

auteur

Maria Chudnovsky, Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković

article

2021

Accès au texte intégral et bibtex