PostersSPLASH 2022
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.
Submissions for Independent Posters Due: August 15th, 2022
Submission Link: https://splash22posters.hotcrp.com
Registrations for Posters for Works Accepted at OOPSLA and Onward! Due: September 30th, 2022
Registration Form: https://forms.gle/r7tbTogmYVy69vdk7
Mon 5 DecDisplayed time zone: Auckland, Wellington change
18:00 - 20:00 | SPLASH PostersStudent Research Competition / Posters at Atrium Chair(s): Xujie Si McGill University, Canada, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
18:00 2hPoster | Simple Extensible Programming through Precisely-Typed Open Recursion Student Research Competition Andong Fan Hong Kong University of Science and Technology DOI | ||
18:00 2hPoster | CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis Student Research Competition Chengpeng Wang Hong Kong University of Science and Technology DOI | ||
18:00 2hPoster | LoRe: Local-First Reactive Programming with Verified Safety Guarantees Student Research Competition Julian Haas TU Darmstadt DOI | ||
18:00 2hPoster | Qiwi: A Beginner Friendly Quantum Language Student Research Competition DOI | ||
18:00 2hPoster | Provably Correct Smart Contracts: An Approach using DeepSEA Posters DOI | ||
18:00 2hPoster | Tower: Data Structures in Quantum Superposition Posters Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
18:00 2hPoster | Using Mutations to Analyze Formal Specifications Student Research Competition Siraphob Phipathananunth Vanderbilt University DOI | ||
18:00 2hPoster | Competitive Debugging: Toward Contests Promoting Debugging as a Skill Posters Patrick Rein University of Potsdam; Hasso Plattner Institute, Tom Beckmann University of Potsdam; Hasso Plattner Institute, Leonard Geier University of Potsdam; Hasso Plattner Institute, Toni Mattis University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute | ||
18:00 2hPoster | Foundationally Sound Annotation Verifier via Control Flow Splitting Student Research Competition Litao Zhou Shanghai Jiao Tong University DOI | ||
18:00 2hPoster | Semi-symbolic Inference for Efficient Streaming Probabilistic Programming Posters Eric Atkinson Massachusetts Institute of Technology, Charles Yuan Massachusetts Institute of Technology, Guillaume Baudart Inria, Louis Mandel IBM Research, Michael Carbin Massachusetts Institute of Technology | ||
18:00 2hPoster | A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis Student Research Competition Aditya Anand IIT Mandi DOI | ||
18:00 2hPoster | Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration Posters DOI | ||
18:00 2hPoster | Katara: Synthesizing CRDTs with Verified Lifting Posters Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Mae Milano University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California at Berkeley | ||
18:00 2hPoster | Explicit Code Reuse Recommendation Posters DOI | ||
18:00 2hPoster | Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm Student Research Competition DOI | ||
18:00 2hPoster | Composing Linear Types and Separation Logic Proofs of Memory Safety Posters Pilar Selene Linares Arévalo University of Melbourne DOI | ||
18:00 2hPoster | ARENA: Enhancing Abstract Refinement for Neural Network Verification Student Research Competition Yuyi Zhong National University of Singapore, Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore DOI | ||
18:00 2hPoster | Termination of Recursive Functions by Lexicographic Orders of Linear Combinations Student Research Competition DOI | ||
Wed 7 DecDisplayed time zone: Auckland, Wellington change
Accepted Papers
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 15th, 2022.
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.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
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. However, these posters will be eligible for the Poster Competition.
We do require posters for accepted OOPSLA and Onward! papers (and any accompanying demos) to be registered in a separate registration form by September 30th, 2022 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.
| Fri 30 Sep 2022 Poster Registration for Works Accepted at OOPSLA and Onward! |
| Thu 22 Sep 2022 Camera-Ready Deadline for Abstracts of Accepted Independent Posters |
| Thu 1 Sep 2022 Acceptance Notification for Independent Abstract/Poster |
| Mon 15 Aug 2022 Independent Abstract/Poster Submission |
