EDBT 2026 Demo / reviewers in the wild / expert
Manuel Weiel
dblp:162/1916
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
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.
| Software engineering, system software, and programming languages
1 paper |
Software maintenance and evolution · 50% Program analysis · 50% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software maintenance and evolution
build systems |
0.2 | 1 | 2015 | A sound and optimal incremental build system with dynamic dependencies · OOPSLA 2015 |
Program analysis
dynamic analysis |
0.2 | 1 | 2015 | A sound and optimal incremental build system with dynamic dependencies · OOPSLA 2015 |
Program analysis › dynamic analysis
dynamic dependency analysis |
0.2 | 1 | 2015 | A sound and optimal incremental build system with dynamic dependencies · OOPSLA 2015 |
Software maintenance and evolution › build systems
incremental build |
0.2 | 1 | 2015 | A sound and optimal incremental build system with dynamic dependencies · OOPSLA 2015 |
Methods — techniques the papers use, named apart from their topics
timestamp generalization · 0.2dynamic dependency analysis · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | A sound and optimal incremental build system with dynamic dependenciesabstractBuild systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a build, generated files consistently reflect the latest source files) and efficient (recheck and rebuild as few build units as possible). Contemporary build systems provide limited efficiency because they lack support for expressing fine-grained file dependencies. We present a build system called pluto that supports the definition of reusable, parameterized, interconnected builders. When run, a builder notifies the build system about dynamically required and produced files as well as about other builders whose results are needed. To support fine-grained file dependencies, we generalize the traditional notion of time stamps to allow builders to declare their actual requirements on a file's content. pluto collects the requirements and products of a builder with their stamps in a build summary. This enables pluto to provides provably sound and optimal incremental rebuilding. To support dynamic dependencies, our rebuild algorithm interleaves dependency analysis and builder execution and enforces invariants on the dependency graph through a dynamic analysis. We have developed pluto as a Java API and used it to implement more than 25 builders. We describe our experience with migrating a larger Ant build script to pluto and compare the respective build times. Sebastian Erdweg, Moritz Lichter, Manuel Weiel |
OOPSLA | 3 |