SPLASH Companion 2017 – Proceedings

2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2017), October 22–27, 2017, Vancouver, BC, Canada

Frontmatter

Title Page
Article: splashcomp17foreword-fm000-p (type: Frontmatter) doi:

Welcome from the SPLASH 2017 General Chair
Article: splashcomp17foreword-fm001-p (type: Frontmatter) doi:

Message from the OOPSLA 2017 Program Chair
Article: splashcomp17foreword-fm002-p (type: Frontmatter) doi:

SPLASH 2017 Organization
Article: splashcomp17foreword-fm003-p (type: Frontmatter) doi:

Message from the SPLASH 2017 Workshop Chairs
Article: splashcomp17foreword-fm004-p (type: Welcome (2 pages)) doi:

SPLASH 2017 Sponsors and Supporters
Article: splashcomp17foreword-fm005-p (type: Frontmatter) doi:

Doctoral Symposium

How to Make Tasks Faster: Revealing the Complex Interactions of Tasks in the Memory System
Germán Ceballos
(Uppsala University, Sweden)
Article: splashcomp17doc-splashcomp17doc1-p (type: Full Paper) doi:

Combining Visual and Textual Languages for Dyslexia
Luis F. González
(Universidad Politécnica de Madrid, Spain; Politecnico Colombiano Jaime Isaza Cadavid, Colombia)
Article: splashcomp17doc-splashcomp17doc8-p (type: Full Paper) doi:

Genetic Improvement in Code Interpreters and Compilers
Oliver Krauss
(JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria)
Article: splashcomp17doc-splashcomp17doc4-p (type: Full Paper) doi:

Simulation-Based Code Duplication for Enhancing Compiler Optimizations
David Leopoldseder
(JKU Linz, Austria)
Article: splashcomp17doc-splashcomp17doc5-p (type: Full Paper) doi:

Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs
Carmen Torres Lopez
(Vrije Universiteit Brussel, Belgium)
Article: splashcomp17doc-splashcomp17doc7-p (type: Full Paper) doi:

Student Research Competition

Graduate Students

Framework Support for Usability Evaluation of Domain-Specific Languages
Ankica Barišić
(Nova University of Lisbon, Portugal)
Article: splashcomp17src-splash17src14-p (type: Full Paper) doi:

What Merge Tool Should I Use?
Guilherme Cavalcanti
(Federal University of Pernambuco, Brazil)
Article: splashcomp17src-splash17src4-p (type: Full Paper) doi:

Understanding the Interplay between Task Scheduling, Memory and Performance
Germán Ceballos, Erik Hagersten, and David Black-Schaffer
(Uppsala University, Sweden)
Article: splashcomp17src-splash17src2-p (type: Full Paper) doi:

Automatic Testing of Interactive JavaScript Debuggers
Daniel Lehmann
(TU Darmstadt, Germany)
Article: splashcomp17src-splash17src6-p (type: Full Paper) doi:

Computer-Assisted Specification of Asynchronous Interfaces with Non-deterministic Behavior
Nicholas V. Lewchenko
(University of Colorado at Boulder, USA)
Article: splashcomp17src-splash17src5-p (type: Full Paper) doi:

Verifying the Proxy Design Pattern using Object Propositions
Ligia Nistor
(Carnegie Mellon University, USA)
Article: splashcomp17src-splash17src11-p (type: Full Paper) doi:

Undergraduate Students

ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing
Monica Figuera
(Simón Bolívar University, Venezuela)
Article: splashcomp17src-splash17src10-p (type: Full Paper) doi:

How to Efficiently Process 2¹⁰⁰ List Variations
Lukas Lazarek
(University of Massachusetts at Lowell, USA)
Article: splashcomp17src-splash17src12-p (type: Full Paper) doi:

How Are Programming Questions from Women Received on Stack Overflow? A Case Study of Peer Parity
Savannah Morgan
(Centre College, USA)
Article: splashcomp17src-splash17src13-p (type: Full Paper) doi:

Devirtualization in LLVM
Piotr Padlewski
(University of Warsaw, Poland)
Article: splashcomp17src-splash17src8-p (type: Full Paper) doi:

Principles, Patterns, and Techniques for Designing and Implementing Practical Fluent Interfaces in Java
Haochen Xie
(Nagoya University, Japan)
Article: splashcomp17src-splash17src9-p (type: Full Paper) doi:

Abstracting Resource Effects
Valerie Zhao
(Wellesley College, USA)
Article: splashcomp17src-splash17src7-p (type: Full Paper) doi:

Posters

SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Julien Gascon-Samson, Mohammad Rafiuzzaman, and Karthik Pattabiraman
(University of British Columbia, Canada)
Article: splashcomp17posters-posters4-p (type: Full Paper) doi:

Incremental Parametric Syntax for Multi-Language Transformation
James Koppel and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)
Article: splashcomp17posters-posters5-p (type: Full Paper) doi:

QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Derrick Lin, James Koppel, Angela Chen, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; Google, USA)
Article: splashcomp17posters-posters7-p (type: Full Paper) doi: