Title Page

Welcome from the SPLASH 2016 General Chair

SPLASH 2016 Organization

SPLASH 2016 Workshop Chairs' Welcome

SPLASH 2016 Sponsors and Supporters

The Science of Deep Specification (Keynote)
Benjamin C. Pierce
(University of Pennsylvania, USA)

A Human View of Programming Languages (Keynote)
Andrew Ko
(University of Washington, USA)

Dedicated Support for Analyses and Optimizations in Language Workbenches
Tamás Szabó
(itemis, Germany; Delft University of Technology, Netherlands)

Integrating Concerns with Development Environments
Ján Juhár
(Technical University of Košice, Slovakia)

Language Support for Verifiable SDNs
Matthias Eichholz
(TU Darmstadt, Germany)

VeriTaS: Verification of Type System Specifications: Mechanizing Domain Knowledge about Progress and Preservation Proofs
Sylvia Grewe
(TU Darmstadt, Germany)

Scaling Testing of Refactoring Engines
Melina Mongiovi
(Federal University of Campina Grande, Brazil)

Multitier Reactive Abstractions
Pascal Weisenburger
(TU Darmstadt, Germany)

Spray: Programming with a Persistent Distributed Heap
Marco Grandi
(University of Pisa, Italy)

Towards Practical Release-Level Dynamic Software Updating on Stock Java: Evaluating an Efficient and Safely Programmable Java Dynamic Updating System
Martin Alexander Neumann
(KIT, Germany)

Introducing Lightweight Reactive Values to Java
Tetsuo Kamina
(Ritsumeikan University, Japan)

Specifying CSS Layout with Reference Attribute Grammars
Scott Buckley, Anthony Sloane, and Matthew Roberts
(Macquarie University, Australia)

Reconsidering Reliability in Distributed Actor Systems
Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)

Supporting Resource Bounded Multitenancy in Akka
Ahmed Abdel Moamen and Nadeem Jamali
(University of Saskatchewan, Canada)

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)

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)

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

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)

Removing Stagnation from Modern Code Review
Giovanni Viviani and Gail C. Murphy
(University of British Columbia, Canada)

Design Pattern Builder: A Concept for Refinable Reusable Design Pattern Libraries
Tobias Dürschmid
(HPI, Germany)

End-User Software Engineering of Cognitive Robot Applications using Procedural Parameters and Complex Event Processing
Floris Erich
(University of Tsukuba, Japan)

A Compiler for Linear Algebra Operations
Henrik Barthels
(RWTH Aachen University, Germany)

An Approach to Compile Configurable Systems with #ifdefs Based on Impact Analysis
Larissa Braz
(Federal University of Campina Grande, Brazil)

Flexible Initialization of Immutable Objects
Tyler Etzel
(Cornell University, USA)

Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Andrew Habib
(TU Darmstadt, Germany)

Reducing Procedure Call Bloat in ARM Binaries
Joseph Caldwell
(University of Tokyo, Japan)

PixelDust: Supporting Dynamic Area of Interest Tagging in Programming Studies with Eye Tracking
Jessica Cherayil
(Wellesley College, USA)

Improving Live Debugging of Concurrent Threads
Max Leske
(University of Bern, Switzerland)

xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL
Zhen Zhang
(University of Science and Technology of China, China)

Towards Object-Aware Development Tools
Andrei Chiş
(University of Bern, Switzerland)

Info

Deducing Classes: Integrating the Domain Models of Object-Oriented Applications
Patrick Rein
(HPI, Germany)

Energy Profiling with Alpaca
Logan Goldberg, Joel Katticaran, and Abraham Mhaidli
(Grinnell College, USA)

Scrambler: Dynamic Layout Adaptation
David Chang, Thu Nguyen, and Niko Takayesu
(Grinnell College, USA)