Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

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.

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

Mon 21 Oct

Displayed time zone: Beirut change

17:30 - 19:30
Poster #1Posters at Kallirhoe
17:30
3m
Poster
Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
17:33
3m
Poster
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Posters
Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
17:36
3m
Poster
A Symmetry-Based $N$-Body Solver Compiler
Posters
Shigeyuki Sato The University of Tokyo
17:39
3m
Poster
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Posters
Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland
17:42
3m
Poster
Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans
Posters
Matúš Sulír Technical University of Košice
Pre-print
17:45
3m
Poster
MetaDL : Declarative Program Analysis for the Masses
Posters
Alexandru Dura Lund University, Hampus Balldin Lund University
17:48
3m
Poster
Obsidian: Typestate and Assets for Safer Smart Contracts
Posters
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
17:52
3m
Poster
Component-Based Computation-Energy Modeling for Embedded Systems
Posters
Adam Seewald University of Southern Denmark, Ulrik Pagh Schultz University of Southern Denmark, Julius Roede University of Amsterdam, Benjamin Rouxel University of Amsterdam, Clemens Grelck University of Amsterdam
17:55
3m
Poster
Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT
Posters
Nafise Eskandani Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
17:58
3m
Poster
Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
Posters
Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, South Korea, Hakjoo Oh Korea University
18:01
3m
Poster
Automatically Fixing Memory-Leaks
Posters
Seongjoon Hong Korea University, Junhee Lee Korea University, South Korea, Jeongsoo Lee Korea University, Hakjoo Oh Korea University
18:04
3m
Poster
Precise Safety Verification of Smart Contracts
Posters
Sunbeom So Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
18:07
3m
Poster
Towards a WebAssembly Standalone Runtime on GraalVM
Posters
Salim S. Salim University of Manchester, Andrew Nisbet The University of Manchester, Mikel Luján University of Manchester
18:11
3m
Poster
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Posters
Ari Rasch University of Münster, Richard Schulze University of Münster, Sergei Gorlatch
18:14
3m
Poster
Squirrel: An Extensible Distributed KV Store
Posters
Kevin De Porre , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication
18:17
3m
Poster
Memory efficient CRDTs in dynamic environments
Posters
Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication
18:20
3m
Poster
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Posters
Ikuta Tanigawa Kyusyu University, Harumi Watanabe Tokai University, Nobuhiro Ohe Tokai Univ., Mikiko Sato Tokai University, Nobuhiko Ogura Tokyo City University, Takeshi Ohkawa Tokai Univ., Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
Link to publication
18:23
3m
Poster
Generating a Fluent API with Syntax Checking from an LR Grammar
Posters
Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo, Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo
Link to publication
18:26
3m
Poster
Multitier Reactive Programming in High Performance Computing
Posters
Daniel Sokolowski Technische Universität Darmstadt, Philipp Martens Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
Link to publication
18:30
3m
Poster
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Posters
Shengyi Wang National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Anshuman Mohan National University of Singapore, Aquinas Hobor National University of Singapore
Link to publication DOI
18:33
3m
Poster
Sound and Reusable Components for Abstract Interpretation
Posters
Sven Keidel JGU Mainz, Sebastian Erdweg JGU Mainz
Link to publication
18:36
3m
Poster
Puppy: An Educational Simplification of Python with a Live Playground
Posters
Makoto Sakane Japan Women’s University, Yuka Akinobu Japan Women’s University, Taku Tada Yokohama National University, Kimio Kuramitsu Japan Women’s University
18:39
3m
Poster
Agile Construction of Data Science DSLs (Tool Demo)
Posters
Artur Andrzejak Heidelberg University, Kevin Kiefer , Diego Costa Heidelberg University, Oliver Wenz Heidelberg University
Link to publication
18:42
3m
Poster
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Posters
Ragnar Mogk Technische Universität Darmstadt, Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
Link to publication
18:45
3m
Poster
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Posters
Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium
Link to publication
18:48
3m
Poster
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Posters
Dowon Song Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
Link to publication
18:52
3m
Poster
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Posters
Yu-Ping Wang Tsinghua University, China, Xu-Qiang Hu Tsinghua Univeraity, China, Zi-Xin Zou Tsinghua Univeraity, China, Wende Tan Tsinghua University, China
Link to publication
18:55
3m
Poster
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
Posters
David Richter Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt
Link to publication
18:58
3m
Poster
Language-Integrated Privacy-Aware Distributed Queries
Posters
Guido Salvaneschi Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Daniel Sokolowski Technische Universität Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg JGU Mainz, Mira Mezini Technische Universität Darmstadt
Link to publication
19:01
3m
Poster
Towards Efficient, Multi-Language Dynamic Taint Analysis
Posters
Jacob Kreindl Johannes Kepler University Linz, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria
Link to publication
19:04
3m
Poster
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
Posters
Raphael Mosaner Johannes Kepler University Linz, David Leopoldseder Johannes Kepler University Linz, Manuel Rigger ETH Zurich, Roland Schatz Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz, Austria
Link to publication
19:07
3m
Poster
Reflection in Attribute Grammars
Posters
Lucas Kramer University of Minnesota, Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA
Link to publication
19:11
3m
Poster
An Empirical Study of Programming Language Effect on OSS Development Effort
Posters
Muna Altherwi Southampton University
19:14
3m
Poster
Practical Second Futamura Projection
Posters
Florian Latifi Johannes Kepler University Linz
19:17
3m
Poster
Debugging Support for Multi-paradigm Concurrent Programs
Posters
Dominik Aumayr Johannes Kepler University Linz, Austria
19:20
3m
Poster
Gradual Program Analysis
Posters
Samuel Estep Liberty University, Jenna Wise Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook
19:23
3m
Poster
Incremental Scannerless Generalized LR Parsing
Posters
Maarten P. Sijm Delft University of Technology
19:26
3m
Poster
Linear capabilities for CHERI
Posters
Aaron Lippeveldts Vrije Universiteit Brussel, Dominique Devriese Vrije Universiteit Brussel

Thu 24 Oct

Displayed time zone: Beirut change

17:30 - 19:30
Poster #2Posters at Foyer
17:30
2m
Poster
Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts
Posters
Mohammadreza Ashouri University of Potsdam, Germany
17:32
2m
Poster
Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
17:35
2m
Poster
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Posters
Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
17:38
2m
Poster
A Symmetry-Based $N$-Body Solver Compiler
Posters
Shigeyuki Sato The University of Tokyo
17:40
2m
Poster
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Posters
Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland
17:43
2m
Poster
MetaDL : Declarative Program Analysis for the Masses
Posters
Alexandru Dura Lund University, Hampus Balldin Lund University
17:46
2m
Poster
Obsidian: Typestate and Assets for Safer Smart Contracts
Posters
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
17:49
2m
Poster
Component-Based Computation-Energy Modeling for Embedded Systems
Posters
Adam Seewald University of Southern Denmark, Ulrik Pagh Schultz University of Southern Denmark, Julius Roede University of Amsterdam, Benjamin Rouxel University of Amsterdam, Clemens Grelck University of Amsterdam
17:51
2m
Poster
Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT
Posters
Nafise Eskandani Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
17:54
2m
Poster
Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
Posters
Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, South Korea, Hakjoo Oh Korea University
17:57
2m
Poster
Automatically Fixing Memory-Leaks
Posters
Seongjoon Hong Korea University, Junhee Lee Korea University, South Korea, Jeongsoo Lee Korea University, Hakjoo Oh Korea University
18:00
2m
Poster
Precise Safety Verification of Smart Contracts
Posters
Sunbeom So Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
18:02
2m
Poster
Towards a WebAssembly Standalone Runtime on GraalVM
Posters
Salim S. Salim University of Manchester, Andrew Nisbet The University of Manchester, Mikel Luján University of Manchester
18:05
2m
Poster
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Posters
Ari Rasch University of Münster, Richard Schulze University of Münster, Sergei Gorlatch
18:08
2m
Poster
Squirrel: An Extensible Distributed KV Store
Posters
Kevin De Porre , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication
18:10
2m
Poster
Memory efficient CRDTs in dynamic environments
Posters
Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication
18:13
2m
Poster
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Posters
Ikuta Tanigawa Kyusyu University, Harumi Watanabe Tokai University, Nobuhiro Ohe Tokai Univ., Mikiko Sato Tokai University, Nobuhiko Ogura Tokyo City University, Takeshi Ohkawa Tokai Univ., Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
Link to publication
18:16
2m
Poster
Generating a Fluent API with Syntax Checking from an LR Grammar
Posters
Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo, Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo
Link to publication
18:19
2m
Poster
Multitier Reactive Programming in High Performance Computing
Posters
Daniel Sokolowski Technische Universität Darmstadt, Philipp Martens Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
Link to publication
18:21
2m
Poster
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Posters
Shengyi Wang National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Anshuman Mohan National University of Singapore, Aquinas Hobor National University of Singapore
Link to publication DOI
18:24
2m
Poster
Aroma: Code Recommendation via Structural Code Search
Posters
Sifei Luan Facebook, Inc., Di Yang University of California, Irvine, Celeste Barnaby Facebook, Inc., Koushik Sen University of California, Berkeley, Satish Chandra Facebook
Link to publication
18:27
2m
Poster
System FR: Formalized Foundations for the Stainless Verifier
Posters
Jad Hamza EPFL, Switzerland, Nicolas Voirol EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
Link to publication
18:30
2m
Poster
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Posters
Ragnar Mogk Technische Universität Darmstadt, Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
Link to publication
18:32
2m
Poster
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Posters
Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium
Link to publication
18:35
2m
Poster
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Posters
Dowon Song Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
Link to publication
18:38
2m
Poster
Asphalion: Trustworthy Shielding against Byzantine Faults
Posters
Ivana Vukotic SnT, University of Luxembourg, Vincent Rahli University of Birmingham, Paulo Esteves-Veríssimo SnT, University of Luxembourg
Link to publication
18:40
2m
Poster
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Posters
Yu-Ping Wang Tsinghua University, China, Xu-Qiang Hu Tsinghua Univeraity, China, Zi-Xin Zou Tsinghua Univeraity, China, Wende Tan Tsinghua University, China
Link to publication
18:43
2m
Poster
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
Posters
David Richter Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt
Link to publication
18:46
2m
Poster
TLA+ model checking made symbolic
Posters
Igor Konnov Inria Nancy - Grand Est, France, Jure Kukovec TU Wien, Austria, Thanh-Hai Tran TU Wien, Austria
Link to publication
18:49
2m
Poster
Getafix: Learning to Fix Bugs Automatically
Posters
Johannes Bader Facebook, Andrew Scott Facebook, Michael Pradel University of Stuttgart, Satish Chandra Facebook
Link to publication
18:51
2m
Poster
Dependence-Aware, Unbounded Sound Predictive Race Detection
Posters
Kaan Genç Ohio State University, Jake Roemer Ohio State University, Yufan Xu Ohio State University, Michael D. Bond Ohio State University
Link to publication
18:54
2m
Poster
Effective Lock Handling in Stateless Model Checking
Posters
Michalis Kokologiannakis MPI-SWS, Germany, Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
Link to publication
18:57
2m
Poster
Language-Integrated Privacy-Aware Distributed Queries
Posters
Guido Salvaneschi Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Daniel Sokolowski Technische Universität Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg JGU Mainz, Mira Mezini Technische Universität Darmstadt
Link to publication
19:00
2m
Poster
I/O Dependent Idempotence Bugs in Intermittent Systems
Posters
Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
Link to publication
19:02
2m
Poster
Vision Paper: Generating Incremental Type Services
Posters
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
Link to publication
19:05
2m
Poster
Static Analysis with Demand-Driven Value Refinement
Posters
Benno Stein University of Colorado Boulder, Benjamin Barslev Nielsen Aarhus University, Bor-Yuh Evan Chang University of Colorado Boulder | Amazon, Anders Møller Aarhus University
Link to publication
19:08
2m
Poster
Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks
Posters
Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas, Son Nguyen The University of Texas at Dallas
Link to publication
19:10
2m
Poster
Reflection in Attribute Grammars
Posters
Lucas Kramer University of Minnesota, Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA
Link to publication
19:13
2m
Poster
DeepSEA: A Language for Certified System Software
Posters
Vilhelm Sjöberg Yale University, Yuyang Sang Yale University, Shu-chun Weng Yale University, Zhong Shao Yale University
Link to publication
19:16
2m
Poster
Practical Second Futamura Projection
Posters
Florian Latifi Johannes Kepler University Linz
19:19
2m
Poster
Gradual Program Analysis
Posters
Samuel Estep Liberty University, Jenna Wise Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook
19:21
2m
Poster
Incremental Scannerless Generalized LR Parsing
Posters
Maarten P. Sijm Delft University of Technology
19:24
2m
Poster
Improving Performance and Quality of Database-Backed Software
Posters
Junwen Yang university of chicago, Cong Yan University of Washington, Chengcheng Wan The University of Chicago, Alvin Cheung University of California, Berkeley, Shan Lu University of Chicago
19:27
2m
Poster
On the Fly Synthesis of Edit Suggestions
Posters
Anders Miltner Princeton University, Sumit Gulwani Microsoft, Vu Le Microsoft, Alan Leung Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft, Abhishek Udupa Microsoft
Link to publication

Call for Posters

The SPLASH Poster 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 accept two kinds of posters: Independent Posters, typically of ongoing work, which are subject to a lightweight review process, and Posters for Accepted Papers.

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.

Posters for Papers Accepted in Other SPLASH Tracks and Affiliated Workshops and Conferences

We encourage authors of papers accepted to other SPLASH tracks or to co-located conferences and workshops to present a poster that summarises their work. Such posters will not be subject to further review, but we require posters for accepted papers to be registered in a separate registration form by the 12th of October (extended).

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.

Submissions

Posters shall 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 be A0-sized (portrait). A0 format dimensions are: W 841mm × L 1189mm or W 33.1in × L 46.8in. 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.

Extended abstracts for accepted posters that were presented at SPLASH will be included in the SPLASH Companion Proceedings.

Accepted Papers

Title
A Fault-Tolerant Programming Model for Distributed Interactive Applications
Posters
Link to publication
A Symmetry-Based $N$-Body Solver Compiler
Posters
Agile Construction of Data Science DSLs (Tool Demo)
Posters
Link to publication
An Empirical Study of Programming Language Effect on OSS Development Effort
Posters
Aroma: Code Recommendation via Structural Code Search
Posters
Link to publication
Asphalion: Trustworthy Shielding against Byzantine Faults
Posters
Link to publication
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Posters
Link to publication
Automatically Fixing Memory-Leaks
Posters
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Posters
Link to publication DOI
Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
Posters
Component-Based Computation-Energy Modeling for Embedded Systems
Posters
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Posters
Link to publication
Debugging Support for Multi-paradigm Concurrent Programs
Posters
DeepSEA: A Language for Certified System Software
Posters
Link to publication
Dependence-Aware, Unbounded Sound Predictive Race Detection
Posters
Link to publication
Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT
Posters
Effective Lock Handling in Stateless Model Checking
Posters
Link to publication
Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts
Posters
Generating a Fluent API with Syntax Checking from an LR Grammar
Posters
Link to publication
Getafix: Learning to Fix Bugs Automatically
Posters
Link to publication
Gradual Program Analysis
Posters
I/O Dependent Idempotence Bugs in Intermittent Systems
Posters
Link to publication
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Posters
Link to publication
Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks
Posters
Link to publication
Improving Performance and Quality of Database-Backed Software
Posters
Incremental Scannerless Generalized LR Parsing
Posters
Language-Integrated Privacy-Aware Distributed Queries
Posters
Link to publication
Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Posters
Linear capabilities for CHERI
Posters
Memory efficient CRDTs in dynamic environments
Posters
Link to publication
MetaDL : Declarative Program Analysis for the Masses
Posters
Multitier Reactive Programming in High Performance Computing
Posters
Link to publication
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Posters
Obsidian: Typestate and Assets for Safer Smart Contracts
Posters
On the Fly Synthesis of Edit Suggestions
Posters
Link to publication
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Posters
Practical Second Futamura Projection
Posters
Precise Safety Verification of Smart Contracts
Posters
Puppy: An Educational Simplification of Python with a Live Playground
Posters
Reflection in Attribute Grammars
Posters
Link to publication
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Posters
Sound and Reusable Components for Abstract Interpretation
Posters
Link to publication
Squirrel: An Extensible Distributed KV Store
Posters
Link to publication
Static Analysis with Demand-Driven Value Refinement
Posters
Link to publication
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
Posters
Link to publication
System FR: Formalized Foundations for the Stainless Verifier
Posters
Link to publication
TLA+ model checking made symbolic
Posters
Link to publication
Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans
Posters
Pre-print
Towards Efficient, Multi-Language Dynamic Taint Analysis
Posters
Link to publication
Towards a WebAssembly Standalone Runtime on GraalVM
Posters
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
Posters
Link to publication
Vision Paper: Generating Incremental Type Services
Posters
Link to publication
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Posters
Link to publication

Submissions

Posters shall be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals should include ONE of the following two files 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 be A0-sized (portrait). A0 format dimensions are: W 841mm × L 1189mm or W 33.1in × L 46.8in. Please note that we will only include your submission in the companion proceedings if you submit an abstract.

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.

Extended abstracts for accepted posters that were presented at SPLASH will be included in the SPLASH Companion Proceedings.

  • Independent Posters shall be submitted through the hotcrp posters submission link.
  • Posters for Accepted Papers shall be registered through a separate Google Forms mechanism (closed now; please contact us directly ASAP if you missed the registration window!)
Questions? Use the SPLASH Posters contact form.