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 Posters

Title
A Derivation Framework for Dependent Security Label Inference
Posters
Link to publication
A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Posters
A Practical Unification of Multi-Stage Programming and Macros
Posters
Link to publication
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
Link to publication
Anomaly Analyses for Feature-Model Evolution
Posters
Link to publication
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
Link to publication
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
Link to publication
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
Chocola: Integrating Futures, Actors, and Transactions
Posters
Link to publication Pre-print
Compiling Distributed System Specifications into Implementations
Posters
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
Link to publication
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
Link to publication
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
Continuous Model Validation using Reference Attribute Grammars
Posters
Link to publication Pre-print
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
Link to publication
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
Link to publication
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
Link to publication
Distributed System Development with ScalaLoci
Posters
Link to publication
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
Link to publication
Explaining Spreadsheets with Spreadsheets
Posters
Link to publication
Exploring feature interactions without specifications: a controlled experiment
Posters
Link to publication
Faster Variational Execution with Transparent Bytecode Transformation
Posters
Link to publication
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
Link to publication
Fixing Machine Learning with Solver-Aided Languages
Posters
Format Abstraction for Sparse Tensor Algebra Compilers
Posters
Link to publication
From Debugging Towards Live Tuning of Reactive Applications
Posters
Link to publication
Generating a Java Library from Its Specification
Posters
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
GraphIt - A High-Performance Graph DSL
Posters
Link to publication
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
Handling inconsistencies in software product line using a rule-based approach
Posters
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
Link to publication
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
Link to publication
Incremental compilation for Stratego
Posters
Link to publication
METACO, a Type Checker Generator
Posters
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Posters
Link to publication
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
Link to publication
Meta-programming for cross-domain tensor optimizations
Posters
Link to publication
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
Link to publication
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
Link to publication
Modular Language Composition for the Masses
Posters
Link to publication
Multi-Device Grace
Posters
Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types
Posters
Object-Oriented Recovery for Non-Volatile Memory
Posters
Link to publication
Observable atomic consistency for CvRDTs
Posters
Link to publication
Observing the Uptake of a Language Change Making Strings Immutable
Posters
Link to publication
Obsidian: A Safer Blockchain Programming Language
Posters
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
Link to publication
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
Link to publication
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
Link to publication
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
Link to publication
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
Link to publication
Programming by example: efficient, but not "helpful"
Posters
Link to publication
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
Link to publication
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
Link to publication
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
Link to publication
Refinement in object-sensitivity points-to analysis via slicing
Posters
Link to publication
Robust Relational Layout Synthesis from Examples for Android
Posters
Link to publication
SWAN: A Swift Program Analysis Framework
Posters
Link to publication
Safe Replication through Bounded Concurrency Verification
Posters
Link to publication
Scaling the REPL Experience
Posters
Link to publication
Scopes as Types
Posters
Link to publication
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
Link to publication
Skitter: A DSL for Distributed Reactive Workflows
Posters
Link to publication
Sound Deadlock Prediction
Posters
Link to publication
Speeding up Symbolic Reasoning for Relational Queries
Posters
Link to publication
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
Link to publication
Symmetry-based Optimization of Interaction Kernels
Posters
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
Link to publication
The Software Architecture of Economy Mechanics in Digital Games
Posters
Link to publication
Thread-Safe Reactive Programming
Posters
Link to publication
Toward a Language-Parametric Code Completion Editor Service
Posters
Link to publication
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
Link to publication
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
Link to publication
goSLP: globally optimized Superword Level Parallelism framework
Posters
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 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 at any desired level of detail.

The poster session are held early in the conference to promote continued discussion among interested parties.

Submission page: https://splash18posters.hotcrp.com/ Submissions due: Sat September 22, 2018 Sat September 29, 2018

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.

The size of poster submissions should be A0 (W 841mm × L 1189mm or W 33.1in × L 46.8in). Full instructions for authors are available at here.

Authors of papers accepted to OOPSLA and co-located workshops can present their work during the poster session without submitting it for review. In that case please

Note: neither posters nor abstracts are featured in SPLASH proceedings and the DL.

In case of questions email: siekkonr@fit.cvut.cz.

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

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

17:30 - 19:30
PosterPosters at Terrace
17:30
1m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
17:31
1m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA
Link to publication
17:33
1m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
17:34
1m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Link to publication
17:36
1m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley
Link to publication
17:38
1m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg
Link to publication
17:39
1m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University
Link to publication
17:41
1m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University
Link to publication
17:43
1m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodik University of Washington
Link to publication
17:44
1m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
17:46
1m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
Link to publication
17:48
1m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson Mizutani University of São Paulo
Link to publication
17:49
1m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna Zeng Stanford University, A: Will Crichton Stanford University
Link to publication
17:51
1m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
17:53
1m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium
Link to publication Pre-print
17:54
1m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm TU Braunschweig, Germany, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig
Link to publication
17:56
1m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
17:57
1m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University
Link to publication
17:59
1m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng Huang Princeton University, A: Margaret Martonosi
Link to publication
18:01
1m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology
Link to publication
18:02
1m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University
Link to publication
18:04
1m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University
Link to publication
18:06
1m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden
Link to publication
18:07
1m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research
Link to publication
18:09
1m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France
Link to publication
18:11
1m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL
Link to publication
18:12
1m
Poster
Scaling the REPL Experience
Posters
A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu
Link to publication
18:14
1m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina Wickert TU Darmstadt
Link to publication
18:16
1m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa Soares Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia
Link to publication
18:17
1m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT
Link to publication
18:19
1m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki Sato Kochi University of Technology
18:20
1m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles
Link to publication
18:22
1m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu , A: Fei He Tsinghua University
Link to publication
18:24
1m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich
Link to publication
18:25
1m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion
Link to publication
18:27
1m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech
Link to publication
18:29
1m
Poster
Scopes as Types
Posters
A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:30
1m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:32
1m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt
Link to publication
18:34
1m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip Strömbäck Linköping University
Link to publication
18:35
1m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:37
1m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology
Link to publication
18:39
1m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:40
1m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
18:42
1m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine
Link to publication
18:43
1m
Poster
Incremental compilation for Stratego
Posters
A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:45
1m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester
Link to publication
18:47
1m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL
Link to publication
18:48
1m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University
Link to publication
18:50
1m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel Maarek Heriot-Watt University
Link to publication
18:52
1m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
18:53
1m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT
Link to publication
18:55
1m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras
Link to publication
18:57
1m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
18:58
1m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland
Link to publication
19:00
1m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens
Link to publication
19:02
1m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:03
1m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. Peled Technion—Israel Institute of Technology
19:05
1m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1
Link to publication
19:06
1m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technische Universität Darmstadt
Link to publication
19:08
1m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University
Link to publication
19:10
1m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:11
1m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University
Link to publication
19:13
1m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt
Link to publication
19:15
1m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign
Link to publication
19:16
1m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen Xie Nagoya University
19:18
1m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore
Link to publication
19:20
1m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University
Link to publication
19:21
1m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany
Link to publication Pre-print
19:23
1m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
19:25
1m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley
Link to publication
19:26
1m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
19:28
1m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

18:00 - 20:30
Poster & SRCPosters at Georgian
18:00
2m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan Wong Carnegie Mellon University, A: Jens Meinicke Magdeburg University, A: Lukas Lazarek , A: Christian Kästner Carnegie Mellon University
Link to publication
18:02
2m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick Ochoa University of Alberta, A: Andrew Craik IBM Canada, A: Jose Nelson Amaral University of Alberta, A: Karim Ali University of Alberta
18:04
2m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael Pradel TU Darmstadt, A: Koushik Sen University of California, Berkeley
Link to publication
18:06
2m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes Mey Technische Universität Dresden, A: René Schöne Technische Universität Dresden, A: Görel Hedin , A: Emma Söderberg Lund University, A: Thomas Kühn Technische Universität Dresden, A: Niklas Fors Lund University, A: Jesper Oqvist Lund University, A: Uwe Aßmann TU Dresden, Germany
Link to publication Pre-print
18:08
2m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel Leduc IRISA, University of Rennes 1, A: Thomas Degueule Centrum Wiskunde & Informatica, A: Benoit Combemale University of Rennes 1
Link to publication
18:10
2m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki Nakamaru The University of Tokyo, A: Shigeru Chiba The University of Tokyo
18:12
2m
Poster
Scopes as Types
Posters
A: Hendrik van Antwerpen TU Delft, A: Casper Bach Poulsen Delft University of Technology, A: Arjen Rouvoet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:14
2m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush Desai University of California, Berkeley, A: Amar Phanishayee Microsoft Research, A: Shaz Qadeer Microsoft Research, A: Sanjit Seshia UC Berkeley
Link to publication
18:16
2m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueen University of Alberta, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
18:18
2m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok Jeon Korea University, South Korea, A: Sehun Jeong Korea University, A: Hakjoo Oh Korea University
Link to publication
18:20
2m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan Bell George Mason University, A: Luís Pina George Mason University
18:22
2m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong Wang University of Washington, USA, A: Alvin Cheung University of Washington, A: Rastislav Bodik University of Washington
Link to publication
18:24
2m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao Ou University of California, Irvine, A: Brian Demsky University of California, Irvine
Link to publication
18:26
2m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa Soares Universidade Federal da Bahia, A: Jens Meinicke Magdeburg University, A: Sarah Nadi University of Alberta, A: Christian Kästner Carnegie Mellon University, A: Eduardo Santana de Almeida Universidade Federal da Bahia
Link to publication
18:28
2m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael Coblenz Carnegie Mellon University, A: Jonathan Aldrich Carnegie Mellon University, A: Brad A. Myers Carnegie Mellon University, A: Joshua Sunshine Carnegie Mellon University
18:30
2m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga , Shigeru Chiba The University of Tokyo
18:32
2m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, A: Michael J. Steindorfer Delft University of Technology, A: Sebastian Erdweg TU Delft, A: Eelco Visser Delft University of Technology
Link to publication
18:34
2m
Poster
Incremental compilation for Stratego
Posters
A: Jeff Smits Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:36
2m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper Denkers TU Delft, A: Louis van Gool Océ Technologies B.V., A: Eelco Visser Delft University of Technology
Link to publication
18:39
2m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung Lee Seoul National University, A: Chung-Kil Hur Seoul National University, A: Ralf Jung MPI-SWS, A: Zhengyang Liu University of Utah, A: John Regehr University of Utah, A: Nuno P. Lopes Microsoft Research
Link to publication
18:41
2m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna Zeng Stanford University, A: Will Crichton Stanford University
Link to publication
18:43
2m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem Swalens Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium
Link to publication Pre-print
18:45
2m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff Cho University of Alberta, A: Mark Mroz University of Ottawa, A: Julian Dolby IBM Research, A: Karim Ali University of Alberta
Link to publication
18:47
2m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco Harkes Delft University of Technology, A: Elmer van Chastelet Delft University of Technology, A: Eelco Visser Delft University of Technology
Link to publication
18:49
2m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith , A: Craig Anslow Victoria University of Wellington, A: Michael Homer Victoria University of Wellington
18:51
2m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India
18:53
2m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip Strömbäck Linköping University
Link to publication
18:55
2m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchen MIT, A: Shachar Itzhaky Technion, Israel, A: Daniel Jackson MIT, A: Willow Jarvis MIT
Link to publication
18:57
2m
Poster
Scaling the REPL Experience
Posters
A: Yair Chuchem Lamdu, A: Eyal Lotem Lamdu
Link to publication
18:59
2m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram Kalhauge University of California, Los Angeles, A: Jens Palsberg University of California, Los Angeles
Link to publication
19:01
2m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal Weisenburger Technische Universität Darmstadt, A: Mirko Köhler , A: Guido Salvaneschi TU Darmstadt
Link to publication
19:03
2m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham Kaki Purdue University, A: Kapil Earanky Purdue University, A: KC Sivaramakrishnan University of Cambridge, A: Suresh Jagannathan Purdue University
Link to publication
19:05
2m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi Vedurada IIT Madras, A: V Krishna Nandivada IIT Madras
Link to publication
19:07
2m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
19:09
2m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri Rama Infosys Limited, A: Raghavan Komondoor Indian Institute of Science, Bangalore, A: Himanshu Sharma Indian Institute of Science, Bangalore
Link to publication
19:11
2m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson Mizutani University of São Paulo
Link to publication
19:13
2m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba Alimadadi Northeastern University, A: Di Zhong Northeastern University, USA, A: Magnus Madsen Aarhus University, A: Frank Tip Northeastern University
Link to publication
19:16
2m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark Santolucito Yale University, USA, A: Drew Goldman Roslyn High School, A: Allyson Weseley Roslyn High School, A: Ruzica Piskac Yale University, USA
Link to publication
19:18
2m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit Daloze JKU Linz, Austria, A: Arie Tal Technion, A: Stefan Marr University of Kent, A: Hanspeter Mössenböck JKU Linz, Austria, A: Erez Petrank Technion
Link to publication
19:20
2m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki Sato Kochi University of Technology
19:22
2m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas Stucki EPFL, Switzerland, A: Aggelos Biboudis EPFL, Switzerland, A: Martin Odersky EPFL, Switzerland
Link to publication
19:24
2m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît Ries University of Luxembourg, A: Alfredo Capozucca University of Luxembourg, A: Nicolas Guelfi University of Luxembourg
Link to publication
19:26
2m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
A: James Koppel MIT, A: Varot Premtoon MIT, A: Armando Solar-Lezama MIT CSAIL
Link to publication
19:28
2m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael Nieke TU Braunschweig, Germany, A: Christoph Seidl Technische Universität Braunschweig, A: Jacopo Mauro University of Southern Denmark, A: Thomas Thüm TU Braunschweig, Germany, A: Ingrid Chieh Yu University of Oslo, A: Felix Franzke TU Braunschweig
Link to publication
19:30
2m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin Liu Virginia Tech, A: Kijin An Virginia Tech, A: Eli Tilevich Virginia Tech
Link to publication
19:32
2m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla Susungi MINES ParisTech, France, A: Norman A. Rink TU Dresden, Germany, A: Albert Cohen Google, A: Jeronimo Castrillon TU Dresden, Germany, A: Claude Tadonki MINES ParisTech, France
Link to publication
19:34
2m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho Lee Korea University, A: Dowon Song Korea University, A: Sunbeom So Korea University, A: Hakjoo Oh Korea University
Link to publication
19:36
2m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol Bielik ETH Zürich, A: Marc Fischer ETH Zurich, A: Martin Vechev ETH Zürich
Link to publication
19:38
2m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan Li Penn State University, A: Danfeng Zhang Pennsylvania State University
Link to publication
19:40
2m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign
Link to publication
19:42
2m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. Peled Technion—Israel Institute of Technology
19:44
2m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija Selakovic TU Darmstadt, Germany, A: Michael Pradel TU Darmstadt, A: Rezwana Karim Nawrin Samsung Research America, A: Frank Tip Northeastern University
Link to publication
19:46
2m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan Fumero The University of Manchester, A: Christos Kotselidis The University of Manchester
Link to publication
19:48
2m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse Zaman Vrije Universiteit Brussel, A: Kennedy Kambona Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:50
2m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome Cunha University of Minho, A: Mihai Dan Oregon State University, A: Martin Erwig Oregon State University, A: Danila Fedorin Oregon State University, A: Alex Grejuc Oregon State University
Link to publication
19:53
2m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs Saey Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
19:55
2m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha Drechsler Technische Universität Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Guido Salvaneschi TU Darmstadt, A: Mira Mezini TU Darmstadt
Link to publication
19:57
2m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina Wickert TU Darmstadt
Link to publication
19:59
2m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin Zhao KTH Royal Institute of Technology, A: Philipp Haller KTH, Sweden
Link to publication
20:01
2m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu , A: Fei He Tsinghua University
Link to publication
20:03
2m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel Maarek Heriot-Watt University
Link to publication
20:05
2m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev Alpernas Tel Aviv University, A: Cormac Flanagan University of California, Santa Cruz, A: Sadjad Fouladi Stanford University, A: Leonid Ryzhyk VMware Research, A: Mooly Sagiv Tel Aviv University, A: Thomas Schmitz , A: Keith Winstein Stanford University
Link to publication
20:07
2m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
20:09
2m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia
20:11
2m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar Mogk Technische Universität Darmstadt, A: Pascal Weisenburger Technische Universität Darmstadt, A: Julian Haas Technische Universität Darmstadt, A: David Richter Technische Universität Darmstadt
Link to publication
20:13
2m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
20:15
2m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon Cohen EPFL, Switzerland, A: David T. Aksun EPFL, A: James Larus EPFL
Link to publication
20:17
2m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen Xie Nagoya University
20:19
2m
Poster
GraphIt - A High-Performance Graph DSL
Posters
A: Yunming Zhang , A: Mengjiao Yang MIT CSAIL, A: Riyadh Baghdadi MIT, A: Shoaib Kamil Adobe, A: Julian Shun MIT, A: Saman Amarasinghe MIT
Link to publication
20:21
2m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue Li Aarhus University, Denmark, A: Tian Tan Aarhus University, Denmark, A: Anders Møller Aarhus University, A: Yannis Smaragdakis University of Athens
Link to publication
20:23
2m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng Huang Princeton University, A: Margaret Martonosi
Link to publication
20:25
2m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Link to publication
20:27
2m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent Christophe VUB, A: Coen De Roover Vrije Universiteit Brussel, A: Elisa Gonzalez Boix Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication

Not scheduled yet

Not scheduled yet
Poster
Format Abstraction for Sparse Tensor Algebra Compilers
Posters
A: Stephen Chou MIT CSAIL, A: Fredrik Kjolstad MIT CSAIL, A: Saman Amarasinghe MIT
Link to publication
Not scheduled yet
Poster
A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Posters
A: Maarten Hubrechts , A: Kennedy Kambona Vrije Universiteit Brussel, A: Thierry Renaux Vrije Universiteit Brussel, A: Simon Van de Water VUB, A: Mathijs Saey Vrije Universiteit Brussel, A: Wolfgang De Meuter Vrije Universiteit Brussel
Not scheduled yet
Poster
goSLP: globally optimized Superword Level Parallelism framework
Posters
A: Charith Mendis MIT CSAIL, A: Saman Amarasinghe MIT
Link to publication
Not scheduled yet
Poster
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Posters
A: Neville Grech University of Athens, A: Michael Kong University of Sydney, A: Anton Jurisevic University of Sydney, A: Lexi Brent University of Sydney, A: Bernhard Scholz The University of Sydney, A: Yannis Smaragdakis University of Athens
Link to publication
Not scheduled yet
Demonstration
Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types
Posters

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

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. 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 September 22 September 29.

More Information

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