SPLASH 2026
Sat 3 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

results

People (7 results)
Tim Menzies

Tim Menzies

… …

Dimi Racordon

Dimi Racordon

… …

Işıl Dillig

Işıl Dillig

… …

Events (21 results)

Fully-Automatic Type Inference for Borrows with Lifetimes

OOPSLA People: William Brandon, Benjamin Driscoll, Frank Dai, Jonathan Ragan-Kelley, Mae Milano, Alex Aiken

… inference. We find that our system is able to eliminate almost all reference count …–100% on all benchmarks with reference count increments under the baseline. As result, we achieve a 1.48x geomean speedup overall on all benchmarks. …

Grammar Repair with Examples and Tree Automata

OOPSLA People: Yunjeong Lee, Gokul Rajiv, Ilya Sergey

… of the major challenges in defining a desired syntax is ruling out all possible … ways of resolving ambiguities all in a single TA, and (2) an efficient algorithm …

Mixed Choice in Asynchronous Multiparty Session Types

OOPSLA People: Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon Thompson

… We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state between distributed participants, but ensures all

Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection

OOPSLA People: Zong Cao, Yuqiang Sun, Zhengzi Xu, Kaixuan Li, Yeqi Fu, Yiran Zhang, Ziqiao Kong, Yang Liu

all potential vulnerable paths. After segmentation, deduplication, feasibility … with all unnecessary constraints removed, and three open-source detectors, which …

Attending Information (1 result)

Visa Letter

… ACM takes care of visa support letters. Please refer all requests to supportletters@acm.org. Please allow up to 10 business days to receive a letter. All requests are handled in the order they are received.

See this website for more …

Tracks (14 results)

Artifact evaluation

… , and get it accepted wherever possible. Typically, almost all artifacts are accepted … Committee. We encourage nominations and self-nominations across all levels …. - Complete: To the extent possible, all components relevant to the paper in question …

Tool Demonstrations

… 2026. All three tracks share the same deadlines.**

The ACM SIGSOFT International … results of conducted validation studies or the design of planned studies * All … demonstration submission may not exceed four pages, including all text, figures …

Posters

… 2026. All three tracks share the same deadlines.”**

The Posters Track at ISSTA …, and research visions in an interactive setting. We invite submissions across all areas … effectively they communicate those contributions. All poster proposals should include …

General (1 result)

SPLASH 2026 Homepage

… SPLASH 2026 Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon!

In the meantime, please consider this overview of the schedule …