EDBT 2026 Demo / reviewers in the wild / expert
David Voigt
dblp:426/2846
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2025
0009-0003-0140-6379ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 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.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › control operators
continuations |
0.9 | 1 | 2025 | Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems › control operators
delimited control |
0.9 | 1 | 2025 | Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems › control operators
dynamic-wind |
0.9 | 1 | 2025 | Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems › computational effects › algebraic effects
effect handlers |
0.9 | 1 | 2025 | Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems
language design |
0.9 | 1 | 2025 | Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems
language semantics |
0.9 | 1 | 2025 | Dynamic Wind for Effect Handlers · Proc. ACM Program. Lang. 2025 |
Methods — techniques the papers use, named apart from their topics
lexical effect handlers · 0.9formalization · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Dynamic Wind for Effect HandlersabstractEffect handlers offer an attractive way of abstracting over effectful computation. Moreover, languages with effect handlers usually statically track effects, which ensures the user is aware of all side effects different parts of a program might have. Similarly to exception handlers, effect handlers discharge effects by locally defining their behavior. In contrast to exception handlers, they allow for resuming computation, possibly later and possibly multiple times. In this paper we present a design, formalization, and implementation for a variant of dynamic wind that integrates well with lexical effect handlers. It has well-defined semantics in the presence of arbitrary control effects in arbitrary places. Specifically, the behavior of capturing and resuming continuations in the pre- or postlude is well-defined and respects resource bracketing. We demonstrate how these features can be used to express backtracking of external state and finalization of external resources. David Voigt, Philipp Schuster, Jonathan Immanuel Brachthäuser |
Proc. ACM Program. Lang. | 1 |