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 17:00 - 17:15 at Orchid Plenary Ballroom - Parallelism

Scripting languages are widely used to compose external calls such as native libraries or network services. In such scripts, execution time is often dominated by waiting for these external calls, rendering traditional single-language optimization ineffective. To address this, we propose a novel opportunistic evaluation strategy for scripting languages based on a core lambda calculus that automatically dispatches independent external calls in parallel and streams their results. We prove that our approach is confluent, ensuring that it preserves the programmer’s original intent, and that it eventually executes every external call. We implement this approach in a scripting language called Opp. We demonstrate the versatility and performance of Opp, focusing on programs that invoke heavy external computation through the use of large language models (LLMs) and other APIs. Across five scripts, we show that opportunistic evaluation improves total running time (up to 6.2×) and latency (up to 12.7×) compared to several state-of-the-art baselines, while performing very close (between 1.3% and 18.5% running time overhead) to hand-tuned manually optimized asynchronous Rust implementations. For Tree-of-Thoughts, a prominent LLM reasoning approach, we achieve a 6.2× performance improvement over the authors’ own implementation.

This program is tentative and subject to change.

Thu 16 Oct

Displayed time zone: Perth change

16:00 - 17:30
16:00
15m
Talk
Compressed and Parallelized Structured Tensor Algebra
OOPSLA
Mahdi Ghorbani University of Edinburgh, Emilien Bauer , Tobias Grosser University of Cambridge, Amir Shaikhha University of Edinburgh
16:15
15m
Talk
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
OOPSLA
Patrick Redmond University of California, Santa Cruz, Jonathan Castello University of California, Santa Cruz, Jose Calderon Galois, Inc., Lindsey Kuper University of California, Santa Cruz
Pre-print
16:30
15m
Talk
HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition
OOPSLA
Sirui Lu OpenAI, Rastislav Bodík Google Research, Brain Team
16:45
15m
Talk
Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness
OOPSLA
Dongjae Lee Massachusetts Institute of Technology, Janggun Lee KAIST, Taeyoung Yoon Seoul National University, Minki Cho Seoul National University, Jeehoon Kang FuriosaAI, Chung-Kil Hur Seoul National University
17:00
15m
Talk
Opportunistically Parallel Lambda Calculus
OOPSLA
Stephen Mell University of Pennsylvania, Konstantinos Kallas University of California, Los Angeles, Steve Zdancewic University of Pennsylvania, Osbert Bastani University of Pennsylvania
17:15
15m
Talk
Soundness of Predictive Concurrency Analyses
OOPSLA
Shuyang Liu , Doug Lea State University of New York (SUNY) Oswego, Jens Palsberg University of California, Los Angeles (UCLA)