Olivier Bodini

dblp:27/1208 · DBLP profile ↗
← Back
25ranked-venue papers
20as first author
5since 2021 · last 2026
0000-0002-1867-667XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 21 · 17 first-author · 4 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Efficient Sampling of Increasing Trees
abstract
This article introduces an algorithm, MergeShuffle, which is an extremely efficient algorithm to generate random permutations (or to randomly permute an existing array). It is easy to implement, runs in $n\log_2 n + O(1)$ time, is in-place, uses $n\log_2 n + Θ(n)$ random bits, and can be parallelized accross any number of processes, in a shared-memory PRAM model. Finally, our preliminary simulations using OpenMP suggest it is more efficient than the Rao-Sandelius algorithm, one of the fastest existing random permutation algorithms. We also show how it is possible to further reduce the number of random bits consumed, by introducing a second algorithm BalancedShuffle, a variant of the Rao-Sandelius algorithm which is more conservative in the way it recursively partitions arrays to be shuffled. While this algorithm is of lesser practical interest, we believe it may be of theoretical value. Our full code is available at: https://github.com/axel-bacher/mergeshuffle
Nadja Azzouz, Olivier Bodini, Francis Durand, Bernhard Gittenberger
AofA2
2026 Asymptotic Analysis of Generating Functions Arising from Dynamic Graphs
abstract
Quantum physics has revealed many interesting formal properties associated with the algebra of two operators, A and B, satisfying the partial commutation relation AB-BA=1. This study surveys the relationships between classical combinatorial structures and the reduction to normal form of operator polynomials in such an algebra. The connection is achieved through suitable labelled graphs, or "diagrams", that are composed of elementary "gates". In this way, many normal form evaluations can be systematically obtained, thanks to models that involve set partitions, permutations, increasing trees, as well as weighted lattice paths. Extensions to q-analogues, multivariate frameworks, and urn models are also briefly discussed.
Nadja Azzouz, Olivier Bodini, Francis Durand, Bernhard Gittenberger
AofA2
2025 Optimal Random Bit Complexity in Efficient Sampling of Set Partition-Like Structures
Olivier Bodini, Francis Durand
IWOCA1
2024 Do Recommender Systems Promote Local Music? A Reproducibility Study Using Music Streaming Data
abstract
This paper examines the influence of recommender systems on local music representation, discussing prior findings from an empirical study on the LFM-2b public dataset 1. This prior study argued that different recommender systems exhibit algorithmic biases shifting music consumption either towards or against local content. However, LFM-2b users do not reflect the diverse audience of music streaming services. To assess the robustness of this study’s conclusions, we conduct a comparative analysis using proprietary listening data from a global music streaming service, which we publicly release alongside this paper. We observe significant differences in local music consumption patterns between our dataset and LFM-2b, suggesting that caution should be exercised when drawing conclusions on local music based solely on LFM-2b. Moreover, we show that the algorithmic biases exhibited in the original work vary in our dataset, and that several unexplored model parameters can significantly influence these biases and affect the study’s conclusion on both datasets. Finally, we discuss the complexity of accurately labeling local music, emphasizing the risk of misleading conclusions due to unreliable, biased, or incomplete labels. To encourage further research and ensure reproducibility, we have publicly shared our dataset and code.
Kristina Matrosova, Lilian Marey, Guillaume Salha, Thomas Louail, Olivier Bodini, Manuel Moussallam
RecSys5
2022 A Combinatorial Link Between Labelled Graphs and Increasingly Labelled Schröder Trees
Olivier Bodini, Antoine Genitrini, Mehdi Naima
LATIN1
2019 The Combinatorics of Barrier Synchronization
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
Petri Nets1
2018 Asymptotic Distribution of Parameters in Random Maps
abstract
We consider random rooted maps without regard to their genus, with fixed large number of edges, and address the problem of limiting distributions for six different parameters: vertices, leaves, loops, root edges, root isthmus, and root vertex degree. Each of these leads to a different limiting distribution, varying from (discrete) geometric and Poisson distributions to different continuous ones: Beta, normal, uniform, and an unusual distribution whose moments are characterised by a recursive triangular array.
Olivier Bodini, Julien Courtiel, Sergey Dovgal, Hsien-Kuei Hwang
AofA1
2018 Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes
abstract
In this paper we focus on concurrent processes built on synchronization by means of futures. This concept is an abstraction for processes based on a main execution thread but allowing to delay some computations. The structure of a general concurrent process is a directed acyclic graph (DAG). Since the quantitative study of increasingly labeled DAG (directly related to processes) seems out of reach (this is a #P-complete problem), we restrict ourselves to the study of arch processes, a simplistic model of processes with futures. They are based on two parameters related to their sizes and their numbers of arches. The increasingly labeled structures seems not to be specifiable in the classical sense of Analytic Combinatorics, but we manage to derive a recurrence equation for the enumeration. For this model we first exhibit an exact and an asymptotic formula for the number of runs of a given process. The second main contribution is composed of a uniform random sampler algorithm and an unranking one that allow efficient generation and exhaustive enumeration of the runs of a given arch process.
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Alfredo Viola
AofA1
2018 Enumerating lambda terms by weighted length of their De Bruijn representation
Olivier Bodini, Bernhard Gittenberger, Zbigniew Golebiewski
Discret. Appl. Math.1
2017 On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms
Olivier Bodini, Paul Tarau
LOPSTR1
2017 Generating Random Permutations by Coin Tossing: Classical Algorithms, New Analysis, and Modern Implementation
abstract
Several simple, classical, little-known algorithms in the statistics and computer science literature for generating random permutations by coin tossing are examined, analyzed, and implemented. These algorithms are either asymptotically optimal or close to being so in terms of the expected number of times the random bits are generated. In addition to asymptotic approximations to the expected complexity, we also clarify the corresponding variances, as well as the asymptotic distributions. A brief comparative discussion with numerical computations in a multicore system is also given.
Axel Bacher, Olivier Bodini, Hsien-Kuei Hwang, Tsung-Hsi Tsai
ACM Trans. Algorithms2
2017 Efficient random sampling of binary and unary-binary trees via holonomic equations
Axel Bacher, Olivier Bodini, Alice Jacquot
Theor. Comput. Sci.2
2016 Increasing Diamonds
Olivier Bodini, Matthieu Dien, Xavier Fontaine, Antoine Genitrini, Hsien-Kuei Hwang
LATIN1
2013 The Combinatorics of Non-determinism
abstract
A deep connection exists between the interleaving semantics of concurrent processes and increasingly labelled combinatorial structures. In this paper we further explore this connection by studying the rich combinatorics of partially increasing structures underlying the operator of non-deterministic choice. Following the symbolic method of analytic combinatorics, we study the size of the computation trees induced by typical non-deterministic processes, providing a precise quantitative measure of the so-called "combinatorial explosion" phenomenon. Alternatively, we can see non-deterministic choice as encoding a family of tree-like partial orders. Measuring the (rather large) size of this family on average offers a key witness to the expressiveness of the choice operator. As a practical outcome of our quantitative study, we describe an efficient algorithm for generating computation paths uniformly at random.
Olivier Bodini, Antoine Genitrini, Frédéric Peschanski
FSTTCS1
2013 Asymptotics and random sampling for BCI and BCK lambda terms
Olivier Bodini, Danièle Gardy, Alice Jacquot
Theor. Comput. Sci.1
2013 Boltzmann samplers for v-balanced cycles
Olivier Bodini, Alice Jacquot
Theor. Comput. Sci.1
2012 Boltzmann samplers for first-order differential specifications
Olivier Bodini, Olivier Roussel, Michèle Soria
Discret. Appl. Math.1
2012 Boys-and-girls Birthdays and Hadamard Products
abstract
Boltzmann models from statistical physics, combined with methods from analytic combinatorics, give rise to efficient and easy-to-write algorithms for the random generation of combinatorial objects. This paper proposes to extend Boltzmann generators t
Olivier Bodini, Danièle Gardy, Olivier Roussel
Fundam. Informaticae1
2011 Distances on rhombus tilings
Olivier Bodini, Thomas Fernique, Michaël Rao, Eric Rémila
Theor. Comput. Sci.1
2008 A characterization of flip-accessibility for rhombus tilings of the whole plane
Olivier Bodini, Thomas Fernique, Eric Rémila
Inf. Comput.1
2007 A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane
Olivier Bodini, Thomas Fernique, Eric Rémila
LATA1
2006 Tiling an Interval of the Discrete Line
Olivier Bodini, Eric Rivals
CPM1
2004 Z-Tilings of Polyominoes and Standard Basis
Olivier Bodini, Bertrand Nouvel
IWCIA1
2004 Tilings with trichromatic colored-edges triangles
Olivier Bodini, Eric Rémila
Theor. Comput. Sci.1
2002 On the Minimum Size of a Contraction-Universal Tree
Olivier Bodini
WG1