SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Thu 16 Oct 2025 15:15 - 15:30 at Orchid East - Compilation 1

Effect handlers are a programming language feature that has recently gained popularity. They allow for non-local 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.

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

13:45 - 15:30
Compilation 1OOPSLA at Orchid East
13:45
15m
Talk
Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation
OOPSLA
Jihee Park KAIST, Insu Yun KAIST, Sukyoung Ryu KAIST
14:00
15m
Talk
Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation
OOPSLA
Philipp Schuster University of Tübingen, Marius Müller University of Tübingen, Klaus Ostermann University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen
14:15
15m
Talk
HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming
OOPSLA
Yiyu Zhang Nanjing University, Yongzhi Wang Xidian University, Yanfeng Gao Nanjing University, Xuandong Li Nanjing University, Zhiqiang Zuo Nanjing University
14:30
15m
Talk
JavART: a Lightweight Rule-Based JIT Compiler Using Translation Rules Extracted from a Learning Approach
OOPSLA
Hanzhang Wang Fudan University, China, Wei Peng Fudan University, Wenwen Wang University of Georgia, Yunping Lu Fudan University, Pen-Chung Yew University of Minnesota at Twin Cities, Weihua Zhang Fudan University
14:45
15m
Talk
Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers
OOPSLA
Arya Vohra University of Chicago, Leo Seojun Lee University of Oxford, Jakub Bachurski University of Cambridge, Oleksandr Zinenko Brium, Phitchaya Mangpo Phothilimthana OpenAI, Albert Cohen Google DeepMind, William S. Moses University of Illinois Urbana-Champaign
15:00
15m
Talk
Scaling Optimization Over Uncertainty via Compilation
OOPSLA
Minsung Cho , John Gouwar Northeastern University, Steven Holtzen Northeastern University
15:15
15m
Talk
Tracing Just-in-time Compilation for Effects and Handlers
OOPSLA
Marcial Gaißert University of Tübingen, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Jonathan Immanuel Brachthäuser University of Tübingen
Pre-print