Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Auguste Olivry

dblp:254/0931 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2021
—ORCID · none

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

Software engineering, systems software and programming languages · 2 · 2 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Performance modeling and evaluation · 47% Embedded and real-time systems · 41% Memory systems · 12%
Software engineering, system software, and programming languages
2 papers
Compilers and program optimization · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › real-time scheduling
complexity analysis
0.922021
IOOpt: automatic derivation of I/O complexity bounds for affine programs · PLDI 2021
Automated derivation of parametric data movement lower bounds for affine programs · PLDI 2020
Performance modeling and evaluation › storage performance modeling
i/o complexity
0.622021
IOOpt: automatic derivation of I/O complexity bounds for affine programs · PLDI 2021
Automated derivation of parametric data movement lower bounds for affine programs · PLDI 2020
Performance modeling and evaluation
data movement lower bounds
0.412020
Automated derivation of parametric data movement lower bounds for affine programs · PLDI 2020
Memory systems
data movement
0.322021
IOOpt: automatic derivation of I/O complexity bounds for affine programs · PLDI 2021
Automated derivation of parametric data movement lower bounds for affine programs · PLDI 2020

Methods — techniques the papers use, named apart from their topics

affine analysis · 1.9polyhedral analysis · 1.0parametric analysis · 0.9
YearPublicationVenuePosition
2021 IOOpt: automatic derivation of I/O complexity bounds for affine programs
abstract
Evaluating the complexity of an algorithm is an important step when developing applications, as it impacts both its time and energy performance. Computational complexity, which is the number of dynamic operations regardless of the execution order, is easy to characterize for affine programs. Data movement (or, I/O) complexity is more complex to evaluate as it refers, when considering all possible valid schedules, to the minimum required number of I/O between a slow (e.g. main memory) and a fast (e.g. local scratchpad) storage location.
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, Fabrice Rastello
PLDI1
2020 Automated derivation of parametric data movement lower bounds for affine programs
abstract
Researchers and practitioners have for long worked on improving the computational complexity of algorithms, focusing on reducing the number of operations needed to perform a computation. However the hardware trend nowadays clearly shows a higher performance and energy cost for data movements than computations: quality algorithms have to minimize data movements as much as possible.
Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello
PLDI1