Powered by
Conference Publishing Consulting

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

SPLASH Companion 2016 – Proceedings

Contents - Abstracts - Authors

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:
VeriTaS: Verification of Type System Specifications: Mechanizing Domain Knowledge about Progress and Preservation Proofs
Sylvia Grewe
(TU Darmstadt, Germany)
Article: splashcomp16doc-doc3-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:
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)
Article: splashcomp16doc-doc6-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

Design Pattern Builder: A Concept for Refinable Reusable Design Pattern Libraries
Tobias Dürschmid
(HPI, Germany)
Article: splashcomp16src-srcp01-p doi:
End-User Software Engineering of Cognitive Robot Applications using Procedural Parameters and Complex Event Processing
Floris Erich
(University of Tsukuba, Japan)
Article: splashcomp16src-srcp03-p doi:
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:
Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Andrew Habib
(TU Darmstadt, Germany)
Article: splashcomp16src-srcp07-p doi:
Reducing Procedure Call Bloat in ARM Binaries
Joseph Caldwell
(University of Tokyo, Japan)
Article: splashcomp16src-srcp08-p doi:
PixelDust: Supporting Dynamic Area of Interest Tagging in Programming Studies with Eye Tracking
Jessica Cherayil
(Wellesley College, USA)
Article: splashcomp16src-srcp09-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:
Deducing Classes: Integrating the Domain Models of Object-Oriented Applications
Patrick Rein
(HPI, Germany)
Article: splashcomp16src-srcp14-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:

proc time: 0.03