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
Welcome from the SPLASH 2016 General Chair
SPLASH 2016 Organization
SPLASH 2016 Workshop Chairs' Welcome
SPLASH 2016 Sponsors and Supporters

Keynotes

The Science of Deep Specification (Keynote)
Benjamin C. Pierce
(University of Pennsylvania, USA)
Publisher's Version Article Search
A Human View of Programming Languages (Keynote)
Andrew Ko
(University of Washington, USA)
Publisher's Version Article Search

Doctoral Symposium

Dedicated Support for Analyses and Optimizations in Language Workbenches
Tamás Szabó
(itemis, Germany; Delft University of Technology, Netherlands)
Publisher's Version Article Search
Integrating Concerns with Development Environments
Ján Juhár
(Technical University of Košice, Slovakia)
Publisher's Version Article Search
Language Support for Verifiable SDNs
Matthias Eichholz
(TU Darmstadt, Germany)
Publisher's Version Article Search
VeriTaS: Verification of Type System Specifications: Mechanizing Domain Knowledge about Progress and Preservation Proofs
Sylvia Grewe
(TU Darmstadt, Germany)
Publisher's Version Article Search
Scaling Testing of Refactoring Engines
Melina Mongiovi
(Federal University of Campina Grande, Brazil)
Publisher's Version Article Search
Multitier Reactive Abstractions
Pascal Weisenburger
(TU Darmstadt, Germany)
Publisher's Version Article Search
Spray: Programming with a Persistent Distributed Heap
Marco Grandi
(University of Pisa, Italy)
Publisher's Version Article Search
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)
Publisher's Version Article Search

Posters

Introducing Lightweight Reactive Values to Java
Tetsuo Kamina
(Ritsumeikan University, Japan)
Publisher's Version Article Search
Specifying CSS Layout with Reference Attribute Grammars
Scott Buckley, Anthony Sloane, and Matthew Roberts
(Macquarie University, Australia)
Publisher's Version Article Search
Reconsidering Reliability in Distributed Actor Systems
Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
Publisher's Version Article Search
Supporting Resource Bounded Multitenancy in Akka
Ahmed Abdel Moamen and Nadeem Jamali
(University of Saskatchewan, Canada)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
sk_p: A Neural Program Corrector for MOOCs
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, and Regina Barzilay
(Massachusetts Institute of Technology, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Removing Stagnation from Modern Code Review
Giovanni Viviani and Gail C. Murphy
(University of British Columbia, Canada)
Publisher's Version Article Search

Student Research Competition

Design Pattern Builder: A Concept for Refinable Reusable Design Pattern Libraries
Tobias Dürschmid
(HPI, Germany)
Publisher's Version Article Search
End-User Software Engineering of Cognitive Robot Applications using Procedural Parameters and Complex Event Processing
Floris Erich
(University of Tsukuba, Japan)
Publisher's Version Article Search
A Compiler for Linear Algebra Operations
Henrik Barthels
(RWTH Aachen University, Germany)
Publisher's Version Article Search
An Approach to Compile Configurable Systems with #ifdefs Based on Impact Analysis
Larissa Braz
(Federal University of Campina Grande, Brazil)
Publisher's Version Article Search
Flexible Initialization of Immutable Objects
Tyler Etzel
(Cornell University, USA)
Publisher's Version Article Search
Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Andrew Habib
(TU Darmstadt, Germany)
Publisher's Version Article Search
Reducing Procedure Call Bloat in ARM Binaries
Joseph Caldwell
(University of Tokyo, Japan)
Publisher's Version Article Search
PixelDust: Supporting Dynamic Area of Interest Tagging in Programming Studies with Eye Tracking
Jessica Cherayil
(Wellesley College, USA)
Publisher's Version Article Search
Improving Live Debugging of Concurrent Threads
Max Leske
(University of Bern, Switzerland)
Publisher's Version Article Search
xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL
Zhen Zhang
(University of Science and Technology of China, China)
Publisher's Version Article Search
Towards Object-Aware Development Tools
Andrei Chiş
(University of Bern, Switzerland)
Publisher's Version Article Search Info
Deducing Classes: Integrating the Domain Models of Object-Oriented Applications
Patrick Rein
(HPI, Germany)
Publisher's Version Article Search
Energy Profiling with Alpaca
Logan Goldberg, Joel Katticaran, and Abraham Mhaidli
(Grinnell College, USA)
Publisher's Version Article Search
Scrambler: Dynamic Layout Adaptation
David Chang, Thu Nguyen, and Niko Takayesu
(Grinnell College, USA)
Publisher's Version Article Search

proc time: 0.17