466 citations
- Université Grenoble AlpesFR232 papers
- Centre National de la Recherche ScientifiqueFR186 papers
- Institut polytechnique de GrenobleFR119 papers
- Institut national de recherche en sciences et technologies du numériqueFR74 papers
- Centre Inria de l'Université Grenoble AlpesFR61 papers
- GIPSA-LabFR38 papers
- POLARIS: Évaluation et optimisation des performances des grandes infrastructuresFR18 papers
- Laboratoire de l'Informatique du ParallélismeFR17 papers
- École Normale Supérieure de LyonFR16 papers
- Laboratoire Jean KuntzmannFR16 papers
- Université Joseph FourierFR16 papers
- Pôle de recherche et d'enseignement supérieur Université de GrenobleFR13 papers
452 papers
Speaker Group Encoding in Self-supervised Speech Recognition Models
Felix Herron, Solange Rossato Alexandre Allauzen, Benoit Favre +1
We investigate what self-supervised speech recognition models (S3Ms) learn about speaker groups (SGs). We examine several states of S3Ms: pretrained, finetuned on speaker identific…
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
Richard Casetta, Nils Gesbert, Pierre Genevès
Modern web applications combine persistent state updates, concurrent interactions, and unreliable communication with external services. Failures such as timeouts can occur after pa…
Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
Hubert Garavel
LNT is a modern language for the formal description of concurrent systems. It generalizes traditional process calculi and overcomes their known limitations by incorporating feature…
Correlation of Rankings in Matching Markets
Rémi Castera, Patrick Loiseau, Bary S. R. Pradelski
We study the role of correlation in matching markets, where multiple decision-makers simultaneously face selection problems from the same pool of candidates. We propose a model in…
Mitigating Shared Storage Congestion Using Control Theory
Thomas Collignon, Kouds Halitim, Raphaël Bleuse +5
Efficient data access in High-Performance Computing (HPC) systems is essential to the performance of intensive computing tasks. Traditional optimizations of the I/O stack aim to im…
Integrating Aggregated Electric Vehicle Flexibilities in Unit Commitment Models using Submodular Optimization
Hélène Arvis, Olivier Beaude, Nicolas Gast +2
The Unit Commitment (UC) problem consists in controlling a large fleet of heterogeneous electricity production units in order to minimize the total production cost while satisfying…