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 doi:

Welcome from the SPLASH 2017 General Chair
Article: splashcomp17foreword-fm001-p doi:

Message from the OOPSLA 2017 Program Chair
Article: splashcomp17foreword-fm002-p doi:

SPLASH 2017 Organization
Article: splashcomp17foreword-fm003-p doi:

SPLASH 2017 Sponsors and Supporters
Article: splashcomp17foreword-fm005-p 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 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 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 doi:

Simulation-Based Code Duplication for Enhancing Compiler Optimizations
David Leopoldseder
(JKU Linz, Austria)
Article: splashcomp17doc-splashcomp17doc5-p 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 doi:

What Merge Tool Should I Use?
Guilherme Cavalcanti
(Federal University of Pernambuco, Brazil)
Article: splashcomp17src-splash17src4-p 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 doi:

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

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

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

Undergraduate Students

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

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

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

Abstracting Resource Effects
Valerie Zhao
(Wellesley College, USA)
Article: splashcomp17src-splash17src7-p 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 doi:

Incremental Parametric Syntax for Multi-Language Transformation
James Koppel and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)
Article: splashcomp17posters-posters5-p 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 doi: