PostersSPLASH 2021
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/
Wed 20 OctDisplayed time zone: Central Time (US & Canada) change
09:00 - 09:20 | |||
09:00 20mDay opening | Opening SessionIn-Person Opening Hridesh Rajan Iowa State University |
09:00 - 09:01 | |||
09:00 1mDay opening | SPLASH Conference at Chicago Starts NowIn-Person Opening |
09:20 - 10:20 | |||
09:20 60mKeynote | Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote Keynotes |
10:20 - 10:50 | |||
10:20 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 | |||
17:00 2hPoster | 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 2hPoster | 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 2hPoster | 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 2hPoster | Copy-and-Patch CompilationOOPSLAIn-Person Posters | ||
17:00 2hPoster | 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 2hPoster | 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 2hPoster | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisOOPSLAIn-Person Posters | ||
17:00 2hPoster | 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 2hPoster | 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 2hPoster | 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 | |||
17:00 1h50mOther | ReceptionIn-Person Opening |
17:00 - 17:20 | |||
17:00 20mDay opening | Opening SessionIn-Person Opening Hridesh Rajan Iowa State University |
17:20 - 18:20 | |||
17:20 60mKeynote | Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote Keynotes |
18:20 - 18:50 | |||
18:20 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | 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 OctDisplayed time zone: Central Time (US & Canada) change
09:20 - 10:20 | |||
09:20 60mTalk | Integrated Scientific Modeling and Lab AutomationKeynote Keynotes |
10:20 - 10:50 | |||
10:20 30mPoster | 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 30mPoster | 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 30mPoster | 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 30mPoster | Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA Posters Ori Roth Technion |
17:00 - 18:50 | |||
17:00 1h50mOther | ReceptionIn-Person Opening |
17:20 - 18:20 | |||
17:20 60mTalk | Integrated Scientific Modeling and Lab AutomationKeynote Keynotes |
18:20 - 18:50 | |||
18:20 30mPoster | Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA Posters Ori Roth Technion | ||
18:20 30mPoster | 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 30mPoster | 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 30mPoster | 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 OctDisplayed time zone: Central Time (US & Canada) change
09:00 - 09:05 | |||
09:00 5mOther | Introduction to SPLASH 2022 Opening Alex Potanin Victoria University of Wellington |
09:05 - 09:20 | AwardsAwards at Zurich D +8h Chair(s): Işıl Dillig University of Texas at Austin, Sophia Drossopoulou Facebook and Imperial College London | ||
09:05 15mAwards | 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 60mKeynote | Designing Safe Programmed Molecular SystemsVirtualKeynote Onward! Papers |
10:20 - 10:50 | |||
10:20 30mPoster | 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 30mPoster | 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 | |||
15:10 1h50mDay closing | Ice Cream Social Closing Hridesh Rajan Iowa State University |
17:00 - 17:05 | |||
17:00 5mOther | Introduction to SPLASH 2022 Opening Alex Potanin Victoria University of Wellington |
17:05 - 17:20 | |||
17:05 15mAwards | SPLASH Awards Awards |
17:20 - 18:20 | Onward! Keynote TalkOnward! Papers at Zurich D Chair(s): Elisa Baniassad University of British Columbia | ||
17:20 60mKeynote | Designing Safe Programmed Molecular SystemsVirtualKeynote Onward! Papers |
18:20 - 18:50 | |||
18:20 30mPoster | 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 30mPoster | 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.
Instructions for Authors
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.