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

The SPLASH Posters track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties.

Poster Presentation Logistics

The poster board size at the conference is 1m × 1m.

Accepted Posters Listing

The “Accepted Posters” tab only includes posters that are not associated with OOPSLA or Onward! Papers/Essays.

Dates
Tracks
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 16 Oct

Displayed time zone: Perth change

18:00 - 20:00
18:00
2h
Social Event
SPLASH SRC Poster Session
Student Research Competition

18:00 - 20:00
SPLASH Posters SessionPosters at Orchid Dining Hall
18:00
2h
Poster
Toward Automated Verification of Static Analysis Results of Android Applications
Posters
Hannuri Kim Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00
2h
Poster
Existentialize your Generics
Posters
Dimi Racordon EPFL, Matt Bovel EPFL, Hamza Remmal EPFL, LAMP
18:00
2h
Poster
View Types in Rust
Posters
Sasha Pak The Australian National University, Richard Willie National University of Singapore, Umang Mathur National University of Singapore, Singapore, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
18:00
2h
Poster
Simplifying Lifter-generated Emulation Style LLVM IR for Analysis Suitability
Posters
Yujin An Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00
2h
Poster
Verifying Extract Method Refactoring in Rust
Posters
Matthew Britton The Australian National University, Alex Potanin Australian National University, Sasha Pak The Australian National University
18:00
2h
Poster
Reproducibility Debt in Scientific Software
Posters
Zara Hassan Australian National University, Christoph Treude Singapore Management University, Graham Williams Australian National University, Michael Norrish Australian National University, Alex Potanin Australian National University
18:00
2h
Poster
Lemma Discovery for Inductive Equational Proofs via Recursive Function Synthesis
Posters
Mingyu Jo Korea University, Hakjoo Oh Korea University
18:00
2h
Poster
Logically Qualified Types for Scala
Posters
18:00
2h
Poster
Incremental and Unbounded Loop Analysis
Posters
Arpita Dutta National University of Singapore, Joxan Jaffar National University of Singapore
18:00
2h
Poster
Type Checking for Python Using Intersection Types
Posters
Mingyeong Jeong Chungnam National University, Sungho Lee Chungnam National University, Korea
18:00
2h
Poster
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc—and We Can do Better
Posters
Aaron Bembenek The University of Melbourne

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15

Call for Posters

The SPLASH Posters track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference to promote continued discussion among interested parties.

Independent Posters

We invite submissions of posters that are within the scope of any of the SPLASH tracks and affiliated conferences / workshops and:

  • showcase ongoing work that has not yet reached sufficient maturity for publication in a conference or journal
  • highlight research challenges that existing work has failed to address
  • outline planned research activities (e.g., M.Sc. or Ph.D. projects) and illustrate their relevance and potential impact, or
  • describe new Free / Open Source Software tools or systems that
    • are aimed at practitioners, or
    • are aimed at researchers and contribute to research infrastructure, i.e., enable or simplify research activities

The extended abstracts of accepted independent posters will be included in the SPLASH Companion proceedings and become available in the ACM Digital Library.

Submissions

Posters will be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals should include ONE of the following, in PDF format:

  • A two-page extended abstract in the ACM acmart Master Article Template, sigplan subformat, with 10pt font, or, alternatively
  • The poster itself. Posters should consist of one or more landscape slides. The poster board size is 1m × 1m. Note that posters will not be included in the SPLASH Companion Proceedings, only extended abstracts.

Poster authors are required to attend the scheduled interactive poster session, staying with their poster so that they can discuss their work with conference attendees. We will provide more details on the exact date and time of the poster sessions closer to the conference.

Demonstrations

Demos offer an effective platform for explaining an idea in action. They are an excellent way to share technical aspects of designs, tools or systems that are difficult to capture with a “static” poster. At the same time, they naturally increase the level of interaction between presenters and attendees of the poster sessions and promote lively discussions.

We strongly encourage authors of accepted posters to prepare a demo of their work if applicable. Authors who intend to supplement their poster with a demo should indicate that when submitting their poster.

Posters for Works Accepted at OOPSLA and Onward!

We encourage authors of papers and essays accepted at OOPSLA and Onward! to present a poster that summarizes their work. Such posters will not be subject to further review and they will have no separate extended abstract in the SPLASH Companion proceeding.

We do require posters for accepted papers and essays at OOPSLA and Onward! (and any accompanying demos) to be registered in a separate registration form by September 14 so that we can order the necessary supplies.

Student Submissions and Related Events

The SPLASH Posters track is a venue for researchers at any level of experience, but we explicitly welcome students to submit their in-progress work. If you are a student and considering submitting a poster, we recommend you to also explore the Doctoral Symposium and the ACM Student Research Competition. These related events are additional opportunities for feedback and suggestions on your dissertation work and may provide you with contacts for further interaction, as well as experience in communicating with other professionals.