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 14:15 - 14:30 at Orchid East - Compilation 1

Persistent memory (PM), with its data persistence, has found widespread applications. However, programmers have to manually annotate PM operations in programming to achieve crash consistency, which is labor-intensive and error-prone. In this paper, to alleviate the burden of programming PM applications, we develop HybridPersist, a compiler support for user-friendly and efficient PM programming. On the one hand, HybridPersist automatically achieves crash consistency, minimally intruding on programmers with negligible annotations. On the other hand, it enhances both performance and correctness of PM programs through a series of dedicated analysis passes. The evaluations on well-known benchmarks validate that HybridPersist offers superior programming productivity and runtime performance compared to the state-of-the-art.

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