VLDB 2026 Research / reviewers in the wild / expert
Marcial Gaißert
dblp:294/4671
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · unresolved
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 |
Runtime systems and virtual machines · 61% Programming languages and type systems · 30% Compilers and program optimization · 9% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › computational effects › algebraic effects
effect handlers |
0.9 | 1 | 2025 | Tracing Just-in-Time Compilation for Effects and Handlers · Proc. ACM Program. Lang. 2025 |
Runtime systems and virtual machines › dynamic compilation
just-in-time compilation |
0.9 | 1 | 2025 | Tracing Just-in-Time Compilation for Effects and Handlers · Proc. ACM Program. Lang. 2025 |
Runtime systems and virtual machines › dynamic compilation › just-in-time compilation
trace-based compilation |
0.9 | 1 | 2025 | Tracing Just-in-Time Compilation for Effects and Handlers · Proc. ACM Program. Lang. 2025 |
Compilers and program optimization
dynamic optimization |
0.3 | 1 | 2025 | Tracing Just-in-Time Compilation for Effects and Handlers · Proc. ACM Program. Lang. 2025 |
Methods — techniques the papers use, named apart from their topics
meta-tracing · 0.9RPython · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Tracing Just-in-Time Compilation for Effects and HandlersabstractEffect handlers are a programming language feature that has recently gained popularity. They allow for nonlocal yet structured control flow and subsume features like generators, exceptions, asynchronicity, etc. However, implementations of effect handlers currently often sacrifice features to enable efficient implementations. Meta-tracing just-in-time (JIT) compilers promise to yield the performance of a compiler by implementing an interpreter. They record execution in a trace, dynamically detect hot loops, and aggressively optimize those using information available at runtime. They excel at optimizing dynamic control flow, which is exactly what effect handlers introduce. We present the first evaluation of tracing JIT compilation specifically for effect handlers. To this end, we developed RPython-based tracing JIT implementations for Eff, Effekt, and Koka by compiling them to a common bytecode format. We evaluate the performance, discuss which classes of effectful programs are optimized well and how our additional optimizations influence performance. We also benchmark against a baseline of state-of-the-art mainstream language implementations. Marcial Gaißert, Carl Friedrich Bolz-Tereick, Jonathan Immanuel Brachthäuser |
Proc. ACM Program. Lang. | 1 |