Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

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

Accepted Papers

Title
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Alpaca: Intermittent Execution Without Checkpoints
Posters
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Automated Testing of Graphics Shader Compilers
Posters
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
Concurrent Circular Reference Attribute Grammars
Posters
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
DYOL: Design a Language, Know the Consequences
Posters
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Incremental Parametric Syntax for Multi-Language Transformation
Posters
Iota: A Calculus for Internet of Things Automation
Posters
Locality-Guided Scheduling in CAF
Posters
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Practical Initialization Race Detection for JavaScript Web Applications
Posters
P/Taint: Unified Points-To and Information Flow Analysis
Posters
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
Reasoning on Divergent Computations with Coaxioms
Posters
Refining Semantics for Multi-stage Programming
Posters
Reliable and Automatic Composition of Language Extensions to C
Posters
Robust Programs with Filtered Iterators
Posters
Selfie and the Basics
Posters
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Systems Level Liveness with Extempore
Posters
The Tensor Algebra Compiler
Posters
Towards a Taxonomy of Grammar Smells
Posters
Towards Compositional and Generative Tensor Optimizations
Posters
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
What merge tool should I use?
Posters
ZenSheet Studio: a visual environment for functional reactive computing
Posters

Call for Submissions

Posters can be independent presentations or associated with one of the other parts of SPLASH.

Scope

We invite poster submissions that:

  • present early work that is not yet ready for submission to a refereed conference or journal
  • identify new research problems, preferably with empirical evidence
  • showcase open-source tools and technologies developed by the author(s)
  • describe student research projects, especially Masters/PhD dissertation proposals.
  • We encourage students to participate in the ACM Student Research Competition and PhD students to participate in the Doctoral Symposium.

Posters Associated with other SPLASH Tracks, Workshops, and Conferences

In addition to independent poster submissions, we invite authors of all accepted papers to all other SPLASH Tracks, Workshops, and Conferences to sign up and present a poster summarizing their work. We hope that this will provide authors an opportunity to increase the visibility of their papers and engage in more one-on-one discussions. We still require authors to sign up so that we can order enough poster boards and other supplies.

If you have a paper appearing at SPLASH and would like to present a poster, please fill out this form. You must complete this form by October 1.

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. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

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

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

17:30 - 19:30
Poster Reception MondayPosters at Poster Area
Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson Imperial College London
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi MINES ParisTech, France
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury Tata Consultancy Services Research
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen Australian National University
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher Carnegie Mellon University
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito Yale University
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona University of Genova
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson University of Minnesota, USA
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist Lund University
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj ReactorLabs
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge University of British Columbia, Canada
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera Universidad Simón Bolívar
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove IBM Research
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch University of Salzburg
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani University of Montreal
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg Tufts University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb University of California at Berkeley
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila FAMAF, UNC / CONICET
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen Massachusetts Institute of Technology
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen Aarhus University
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng Carnegie Mellon University, USA
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa Iowa State University
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev Raincode Labs, Belgium

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

17:30 - 19:30
Poster Reception WednesdayPosters at Poster Area
Chair(s): Jonathan Bell George Mason University, Patrick Lam University of Waterloo
17:30
2h
Talk
DYOL: Design a Language, Know the Consequences
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
Synthesizing Configuration File Specifications with Association Rule Learning
Posters
Mark Santolucito Yale University
17:30
2h
Talk
ZenSheet Studio: a visual environment for functional reactive computing
Posters
Monica Figuera Universidad Simón Bolívar
17:30
2h
Talk
Alpaca: Intermittent Execution Without Checkpoints
Posters
Kiwan Maeng Carnegie Mellon University, USA
17:30
2h
Talk
Reliable and Automatic Composition of Language Extensions to C
Posters
Travis Carlson University of Minnesota, USA
17:30
2h
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
Posters
Mallku Soldevila FAMAF, UNC / CONICET
17:30
2h
Talk
P/Taint: Unified Points-To and Information Flow Analysis
Posters
17:30
2h
Talk
An Auditing Language for Preventing Correlated Failures in the Cloud
Posters
Ruzica Piskac Yale University
17:30
2h
Talk
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Posters
17:30
2h
Talk
Incremental Parametric Syntax for Multi-Language Transformation
Posters
17:30
2h
Talk
Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots
Posters
17:30
2h
Talk
Towards Compositional and Generative Tensor Optimizations
Posters
Adilla Susungi MINES ParisTech, France
17:30
2h
Talk
SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Posters
Julien Gascon-Samson , Rafiuzzaman Mohammad University of British Columbia, Karthik Pattabiraman University of British Columbia
17:30
2h
Talk
Concurrent Circular Reference Attribute Grammars
Posters
Jesper Oqvist Lund University
17:30
2h
Talk
Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
Posters
Eugene Syriani University of Montreal
17:30
2h
Talk
Towards a Taxonomy of Grammar Smells
Posters
Vadim Zaytsev Raincode Labs, Belgium
17:30
2h
Talk
Reasoning on Divergent Computations with Coaxioms
Posters
Davide Ancona University of Genova
17:30
2h
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
Posters
17:30
2h
Talk
Markedly: a cartographic approach for mapping eDSL implementation costs
Posters
Karl Cronburg Tufts University
17:30
2h
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Posters
Petr Maj ReactorLabs
17:30
2h
Talk
Dynamic Atomicity: Optimizing Swift Memory Management
Posters
David Grove IBM Research
17:30
2h
Talk
How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Posters
Germán Ceballos Uppsala University, Erik Hagersten Uppsala University, David Black-Schaffer Uppsala University
17:30
2h
Talk
Selfie and the Basics
Posters
Christoph Kirsch University of Salzburg
17:30
2h
Talk
Refining Semantics for Multi-stage Programming
Posters
Rui Ge University of British Columbia, Canada
17:30
2h
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Posters
Samantha Syeda Khairunnesa Iowa State University
17:30
2h
Talk
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Posters
Derrick Lin Independent Researcher, James Koppel MIT, Angela Chen Google, Inc, Armando Solar-Lezama MIT CSAIL
17:30
2h
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
Posters
Darya Melicher Carnegie Mellon University
17:30
2h
Talk
Iota: A Calculus for Internet of Things Automation
Posters
Julie L. Newcomb University of California at Berkeley
17:30
2h
Talk
Systems Level Liveness with Extempore
Posters
Andrew Sorensen Australian National University
17:30
2h
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Posters
Christoffer Quist Adamsen Aarhus University
17:30
2h
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
The Tensor Algebra Compiler
Posters
17:30
2h
Talk
What merge tool should I use?
Posters
17:30
2h
Talk
Robust Programs with Filtered Iterators
Posters
Jiasi Shen Massachusetts Institute of Technology
17:30
2h
Talk
Automated Testing of Graphics Shader Compilers
Posters
Alastair F. Donaldson Imperial College London
17:30
2h
Talk
Locality-Guided Scheduling in CAF
Posters
17:30
2h
Talk
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Posters
17:30
2h
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Posters
Hakjoo Oh Korea University
17:30
2h
Talk
A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Posters
Suman Roychoudhury Tata Consultancy Services Research

Submissions

Posters shall be evaluated both on their contributions and on how effectively they communicate those contributions. All poster proposals should include the following two files in PDF format:

  • A two-page extended abstract in the ACM acmart Master Article Template, sigplan subformat, with 10pt font (PDF Format).
  • The poster itself in PDF format. Posters should be A0-sized or smaller (portrait or landscape).

The two page extended abstract will be published in the DL and should conform with the SIGPLAN (formatting) standards. 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.

Poster authors may post an informal schedule along with their poster, listing times when they plan to be available for discussion later on during the conference. Sign-up sheets allow interested viewers to obtain further information. All posters will have an associated message board, on which viewers can post comments, ideas, and questions and on which poster authors will be able to post responses.

Poster authors should submit their extended abstract and poster via HotCRP. Submissions are now closed: Please see below if you have a paper appearing at SPLASH and would like to have a poster on that topic as well.

On the submission form, please submit the 2-page extended abstract as the “Submission”, and the actual poster as the “Poster”. The maximum size of each PDF file can be 30MB.

Posters Associated with other SPLASH Tracks, Workshops, and Conferences

Given that the papers have already been thoroughly reviewed before acceptance, such posters will not be reviewed by the Posters Committee and there will be no separate extended abstract in the SPLASH Companion proceedings. We still require authors to sign up so that we can order enough poster boards and other supplies.

If you have a paper appearing at SPLASH and would like to present a poster, please fill out this form. You must complete this form by October 1.

More Information

For additional information, clarification, or answers to questions please contact the Posters Co-Chairs at posters@splashcon.org.