SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

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 Due: 15 August 2021

Submission Link: https://splash21posters.hotcrp.com/

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

Wed 20 Oct

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

09:00 - 09:20
Opening SessionOpening at Zurich D +8h
09:00
20m
Day opening
Opening SessionIn-Person
Opening
Hridesh Rajan Iowa State University
09:00 - 09:01
SPLASH StartOpening at Zurich D
09:00
1m
Day opening
SPLASH Conference at Chicago Starts NowIn-Person
Opening

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich D +8h
09:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
10:20 - 10:50
Posters Virtual SessionPosters at Zurich D +8h
10:20
30m
Poster
SkyQuery: An Aerial Drone Video Sensing PlatformVirtualOnward! Papers
Posters
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
10:20
30m
Poster
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-FreedomVirtualOnward! Papers
Posters
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
10:20
30m
Poster
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed SystemsVirtualOOPSLA
Posters
Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
10:20
30m
Poster
The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtualOOPSLA
Posters
Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London
10:20
30m
Poster
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA
Posters
Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University
10:20
30m
Poster
Towards Self-Adaptable LanguagesVirtualOnward! Papers
Posters
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
17:00 - 19:00
Posters In-Person SessionPosters at Zurich A
17:00
2h
Poster
Programming and Execution Models for Parallel Bounded Exhaustive TestingOOPSLAIn-Person
Posters
Nader Al Awar University of Texas at Austin, Kush Jain University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric University of Texas at Austin
17:00
2h
Poster
Motivating Complexity Understanding By Profiling Energy UsageOnward! PapersDemoIn-Person
Posters
Joshua B. Gross California State University at Monterey Bay, Kevin Coogan Hampton University, Daniel Jacoby California State University at Monterey Bay, Aaron Helman California State University at Monterey Bay
17:00
2h
Poster
Verifying Concurrent Multicopy Search StructuresOOPSLAIn-Person
Posters
Nisarg Patel New York University, Siddharth Krishna Microsoft Research, Dennis Shasha New York University, Thomas Wies New York University
17:00
2h
Poster
Copy-and-Patch CompilationOOPSLAIn-Person
Posters
Haoran Xu Stanford University, Fredrik Kjolstad Stanford University
17:00
2h
Poster
Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA
Posters
Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University
17:00
2h
Poster
Rewrite Rule Inference Using Equality SaturationOOPSLAIn-Person
Posters
Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Amy Zhu University of Washington, Yisu Remy Wang University of Washington, Brett Saiki University of Washington, Adam Anderson University of Washington, Adriana Schulz University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington
17:00
2h
Poster
Static Detection of Silent Misconfigurations with Deep Interaction AnalysisOOPSLAIn-Person
Posters
Jialu Zhang Yale University, Ruzica Piskac Yale University, Ennan Zhai Alibaba Group, Tianyin Xu
17:00
2h
Poster
Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA
Posters
Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
17:00
2h
Poster
Programming with Neural Surrogates of ProgramsOnward! PapersIn-Person
Posters
Alex Renda , Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
17:00
2h
Poster
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA
Posters
Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University
17:00 - 18:50
ReceptionOpening at Zurich B
17:00
1h50m
Other
ReceptionIn-Person
Opening

17:00 - 17:20
Opening SessionOpening at Zurich D
17:00
20m
Day opening
Opening SessionIn-Person
Opening
Hridesh Rajan Iowa State University
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich D
17:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
18:20 - 18:50
Posters Virtual SessionPosters at Zurich D
18:20
30m
Poster
SkyQuery: An Aerial Drone Video Sensing PlatformVirtualOnward! Papers
Posters
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
18:20
30m
Poster
The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtualOOPSLA
Posters
Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London
18:20
30m
Poster
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-FreedomVirtualOnward! Papers
Posters
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
18:20
30m
Poster
Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA
Posters
Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University
18:20
30m
Poster
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed SystemsVirtualOOPSLA
Posters
Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University
18:20
30m
Poster
Towards Self-Adaptable LanguagesVirtualOnward! Papers
Posters
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University

Thu 21 Oct

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

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich D +8h
Chair(s): Jonathan Aldrich Carnegie Mellon University
09:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli University of Oxford
10:20 - 10:50
Posters Virtual SessionPosters at Zurich D +8h
10:20
30m
Poster
Coarsening Optimization for Differentiable ProgrammingVirtualOOPSLA
Posters
Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Shivers Northeastern University, USA, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook
10:20
30m
Poster
Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA
Posters
Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
10:20
30m
Poster
Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA
Posters
Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University
10:20
30m
Poster
Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA
Posters
Ori Roth Technion
17:00 - 18:50
ReceptionOpening at Zurich B
17:00
1h50m
Other
ReceptionIn-Person
Opening

17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich D
Chair(s): Jonathan Aldrich Carnegie Mellon University
17:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli University of Oxford
18:20 - 18:50
Posters Virtual SessionPosters at Zurich D
18:20
30m
Poster
Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA
Posters
Ori Roth Technion
18:20
30m
Poster
Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA
Posters
Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
18:20
30m
Poster
Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA
Posters
Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University
18:20
30m
Poster
Coarsening Optimization for Differentiable ProgrammingVirtualOOPSLA
Posters
Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Shivers Northeastern University, USA, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook

Fri 22 Oct

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

09:00 - 09:05
SPLASH 2022 IntroductionOpening at Zurich D +8h
09:00
5m
Other
Introduction to SPLASH 2022
Opening
Alex Potanin Victoria University of Wellington
09:05 - 09:20
AwardsAwards at Zurich D +8h
Chair(s): Isil Dillig University of Texas at Austin, Sophia Drossopoulou Facebook and Imperial College London
09:05
15m
Awards
SPLASH Awards
Awards

09:20 - 10:20
Onward! Keynote TalkOnward! Papers at Zurich D +8h
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
09:20
60m
Keynote
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
10:20 - 10:50
Posters Virtual SessionPosters at Zurich D +8h
10:20
30m
Poster
Formal Verification of High-Level SynthesisVirtualDemoOOPSLA
Posters
Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London
10:20
30m
Poster
Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtualDemoOOPSLA
Posters
Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo
15:10 - 17:00
Closing SessionClosing at Zurich D
15:10
1h50m
Day closing
Ice Cream Social
Closing
Hridesh Rajan Iowa State University
17:00 - 17:05
SPLASH 2022 IntroductionOpening at Zurich D
17:00
5m
Other
Introduction to SPLASH 2022
Opening
Alex Potanin Victoria University of Wellington
17:05 - 17:20
AwardsAwards at Zurich D
17:05
15m
Awards
SPLASH Awards
Awards

17:20 - 18:20
Onward! Keynote TalkOnward! Papers at Zurich D
Chair(s): Elisa Baniassad University of British Columbia
17:20
60m
Keynote
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
18:20 - 18:50
Posters Virtual SessionPosters at Zurich D
18:20
30m
Poster
Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtualDemoOOPSLA
Posters
Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo
18:20
30m
Poster
Formal Verification of High-Level SynthesisVirtualDemoOOPSLA
Posters
Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London

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 15.

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. However, these posters will be eligible for the Poster Competition.

We do require posters for accepted OOPSLA papers (and any accompanying demos) to be registered using this separate registration form by September 30 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.

This year, SPLASH Posters track will be a hybrid event. You can choose whether you would prefer to participate in the in-person session or the online sessions. The in-person session will follow the usual pre-COVID format of SPLASH Posters. The online sessions will take place during the first break of each day of OOPSLA and Onward! and will feature poster videos of the papers of the day. Hence, the online sessions will play the role of an online advertisements for the talks to follow later in the day.

Our goal is to give the authors the opportunity to reach the biggest audience possible and to make available to the attendees as much content as possible. Hence, we ask that all authors prepare an up to 3 minutes video presentation of their work (up to 5 minutes if a demo is included). In other words, the online sessions will feature all posters even if their authors will attend the in-person session. Unfortunately, logistics do not allow to do the inverse, i.e., print the posters of authors that will attend the online sessions and display them during the in-person event.

To register your poster, please fill in this form by September 30.

Poster Preparation

Poster: Physical posters should be A0-sized (portrait). A0 format dimensions are: W 841mm × L 1189mm or W 33.1in × L 46.8in.

Poster Video: Please prepare a 3 min video that gives a teaser of your work. You can also include a demo in the video. If you chose to do so, the poster video can be up to 5 minutes. The video should be either an MOV or an MP4 file. The preferred resolution is 1920x1080 @ 30 FPS but 1280x720 @ 30 FPS is also acceptable. Please keep in mind that 1280x720 videos will be resized to 1920x1080 for streaming. In addition to the video, please also prepare subtitles in SRT format (extension .srt).

Sneak Peek Thumbnail: In addition to the physical poster and the poster video, you can also prepare a sneak peek thumbnail that will show up in the overview page of the online space that will host the online poster sessions. You can also use the poster itself for that purpose but keep in mind that the poster may contain too much information to be readable from the overview page.

Closer to the dates of SPLASH, we will follow up with instructions about how to upload your poster video and thumbnail.

What to Expect During the Event

If you choose to attend the in-person session, please print your poster and bring it to the designated space for Posters. You should stay next to your poster for the duration of the session to chat with attendees and answer questions. You do not have to attend the online sessions that will feature your poster video, but you are welcome to do so if you like.

If you choose to attend the online session, you should join the designated online room for your poster during the session that will feature your poster or its mirror. Attendees will be able to visit the booth of your poster, watch the video, and join the room to chat with you and ask questions.