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 is A0 in landscape orientation.

Note, the “Accepted Posters” tab just contains posters that do not have an affiliated OOPSLA paper or SRC submission.

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

Wed 23 Oct

Displayed time zone: Pacific Time (US & Canada) change

17:40 - 19:40
17:40
8m
Poster
AUTOINC: Incrementality for Free
Posters
17:48
8m
Poster
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Posters
17:57
8m
Poster
Ordering Rejectable Stacks in SGLR Parsing
Posters
Jeff Smits Delft University of Technology, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands
18:05
8m
Poster
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Posters
Kyle Liang Carnegie Mellon University, Edward Andert Arizona State University, Aviral Shrivastava Arizona State University, Jonathan Aldrich Carnegie Mellon University
18:14
8m
Poster
Algebraic effect handlers with bidirectional type-checking
Student Research Competition
18:22
8m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Youwei Zhong Shanghai Jiao Tong University
18:31
8m
Poster
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Student Research Competition
18:40
8m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
18:48
8m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
18:57
8m
Poster
Grammar Derivation Visualization in Automata Theory
Student Research Competition
19:05
8m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
19:14
8m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui Columbia University, New York
19:22
8m
Poster
Understanding Program Visualizations in the Wild
Student Research Competition
Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
19:31
8m
Poster
VESC:Towards Temporal Verification of Smart Contracts
Student Research Competition
Samuel Larsen , Kevin Johanson , Cyrus Liu Samsung Semiconductor
DOI
17:40 - 19:40
Reception and Poster sessionCatering at California
17:40
2h
Dinner
Reception
Catering

Thu 24 Oct

Displayed time zone: Pacific Time (US & Canada) change

17:40 - 19:40
17:45
15m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
18:00
15m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Youwei Zhong Shanghai Jiao Tong University
18:15
15m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
18:30
15m
Poster
Understanding Program Visualizations in the Wild
Student Research Competition
Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
18:45
15m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
19:00
15m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui Columbia University, New York

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. Note that posters will not be included in the SPLASH Companion Proceedings, only extended abstracts.

Posters should be submitted here by August 25.

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 that 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 OOPSLA papers (and any accompanying demos) to be registered in a separate registration form by September 22 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.