Marcial Gaißert

dblp:294/4671 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Programming languages and type systems › computational effects › algebraic effects
effect handlers
0.912025
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.912025
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.912025
Tracing Just-in-Time Compilation for Effects and Handlers · Proc. ACM Program. Lang. 2025
Compilers and program optimization
dynamic optimization
0.312025
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
YearPublicationVenuePosition
2025 Tracing Just-in-Time Compilation for Effects and Handlers
abstract
Effect 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