SPLASH Companion 2016 – Proceedings

2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH Companion 2016), October 30 – November 4, 2016, Amsterdam, Netherlands

Frontmatter

Title Page
Article: splashcomp16foreword-fm000-p doi:

Welcome from the SPLASH 2016 General Chair
Article: splashcomp16foreword-fm001-p doi:

SPLASH 2016 Organization
Article: splashcomp16foreword-fm002-p doi:

SPLASH 2016 Workshop Chairs' Welcome
Article: splashcomp16foreword-sumws-welcome-p doi:

SPLASH 2016 Sponsors and Supporters
Article: splashcomp16foreword-fm003-p doi:

Keynotes

The Science of Deep Specification (Keynote)
Benjamin C. Pierce
(University of Pennsylvania, USA)
Article: splashcomp16key-key1-p doi:

A Human View of Programming Languages (Keynote)
Andrew Ko
(University of Washington, USA)
Article: splashcomp16key-key3-p doi:

Doctoral Symposium

Dedicated Support for Analyses and Optimizations in Language Workbenches
Tamás Szabó
(itemis, Germany; Delft University of Technology, Netherlands)
Article: splashcomp16doc-doc7-p doi:

Integrating Concerns with Development Environments
Ján Juhár
(Technical University of Košice, Slovakia)
Article: splashcomp16doc-doc4-p doi:

Language Support for Verifiable SDNs
Matthias Eichholz
(TU Darmstadt, Germany)
Article: splashcomp16doc-doc1-p doi:

Scaling Testing of Refactoring Engines
Melina Mongiovi
(Federal University of Campina Grande, Brazil)
Article: splashcomp16doc-doc5-p doi:

Multitier Reactive Abstractions
Pascal Weisenburger
(TU Darmstadt, Germany)
Article: splashcomp16doc-doc8-p doi:

Spray: Programming with a Persistent Distributed Heap
Marco Grandi
(University of Pisa, Italy)
Article: splashcomp16doc-doc2-p doi:

Posters

Introducing Lightweight Reactive Values to Java
Tetsuo Kamina
(Ritsumeikan University, Japan)
Article: splashcomp16posters-posters1-p doi:

Specifying CSS Layout with Reference Attribute Grammars
Scott Buckley, Anthony Sloane, and Matthew Roberts
(Macquarie University, Australia)
Article: splashcomp16posters-posters2-p doi:

Reconsidering Reliability in Distributed Actor Systems
Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
Article: splashcomp16posters-posters5-p doi:

Supporting Resource Bounded Multitenancy in Akka
Ahmed Abdel Moamen and Nadeem Jamali
(University of Saskatchewan, Canada)
Article: splashcomp16posters-posters6-p doi:

A Web Application Is a Domain-Specific Language
David H. Lorenz and Boaz Rosenan
(Open University of Israel, Israel; Technion, Israel; University of Haifa, Israel)
Article: splashcomp16posters-posters8-p doi:

A Sampling-Based Approach to Accelerating Queries in Log Management Systems
Tal Wagner, Eric Schkufza, and Udi Wieder
(Massachusetts Institute of Technology, USA; VMware, USA)
Article: splashcomp16posters-posters9-p doi:

sk_p: A Neural Program Corrector for MOOCs
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, and Regina Barzilay
(Massachusetts Institute of Technology, USA)
Article: splashcomp16posters-posters10-p doi:

libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux
Martin Alexander Neumann, Christoph Tobias Bach, Stefan Kratochwil, Marcel Kost, and Michael Beigl
(KIT, Germany)
Article: splashcomp16posters-posters12-p doi:

Removing Stagnation from Modern Code Review
Giovanni Viviani and Gail C. Murphy
(University of British Columbia, Canada)
Article: splashcomp16posters-posters13-p doi:

Student Research Competition

A Compiler for Linear Algebra Operations
Henrik Barthels
(RWTH Aachen University, Germany)
Article: splashcomp16src-srcp04-p doi:

An Approach to Compile Configurable Systems with #ifdefs Based on Impact Analysis
Larissa Braz
(Federal University of Campina Grande, Brazil)
Article: splashcomp16src-srcp05-p doi:

Flexible Initialization of Immutable Objects
Tyler Etzel
(Cornell University, USA)
Article: splashcomp16src-srcp06-p doi:

Reducing Procedure Call Bloat in ARM Binaries
Joseph Caldwell
(University of Tokyo, Japan)
Article: splashcomp16src-srcp08-p doi:

Improving Live Debugging of Concurrent Threads
Max Leske
(University of Bern, Switzerland)
Article: splashcomp16src-srcp11-p doi:

xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL
Zhen Zhang
(University of Science and Technology of China, China)
Article: splashcomp16src-srcp12-p doi:

Towards Object-Aware Development Tools
Andrei Chiş
(University of Bern, Switzerland)
Article: splashcomp16src-srcp13-p doi:

Energy Profiling with Alpaca
Logan Goldberg, Joel Katticaran, and Abraham Mhaidli
(Grinnell College, USA)
Article: splashcomp16src-srcp15-p doi:

Scrambler: Dynamic Layout Adaptation
David Chang, Thu Nguyen, and Niko Takayesu
(Grinnell College, USA)
Article: splashcomp16src-srcp16-p doi: