SPLASH Companion 2016- Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

Full Citation in the ACM Digital Library

SESSION: Keynotes

The science of deep specification (keynote)

• Benjamin C. Pierce

A human view of programming languages (keynote)

• Andrew Ko

SESSION: Doctoral Symposium

Dedicated support for analyses and optimizations in language workbenches

• Tamás Szabó

Integrating concerns with development environments

• Ján Juhár

Language support for verifiable SDNs

• Matthias Eichholz

VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs

• Sylvia Grewe

Scaling testing of refactoring engines

• Melina Mongiovi

Multitier reactive abstractions

• Pascal Weisenburger

Spray: programming with a persistent distributed heap

• Marco Grandi

Towards practical release-level dynamic software updating on stock Java: evaluating an efficient and safely programmable Java dynamic updating system

• Martin Alexander Neumann

SESSION: Posters

Introducing lightweight reactive values to Java

• Tetsuo Kamina

Specifying CSS layout with reference attribute grammars

• Scott Buckley
• Anthony Sloane
• Matthew Roberts

Reconsidering reliability in distributed actor systems

• Raphael Hiesgen
• Dominik Charousset
• Thomas C. Schmidt

Supporting resource bounded multitenancy in Akka

• Ahmed Abdel Moamen
• Nadeem Jamali

A web application is a domain-specific language

• David H. Lorenz
• Boaz Rosenan

A sampling-based approach to accelerating queries in log management systems

• Tal Wagner
• Eric Schkufza
• Udi Wieder

sk_p: a neural program corrector for MOOCs

• Yewen Pu
• Karthik Narasimhan
• Armando Solar-Lezama
• Regina Barzilay

libDSU: towards hot-swapping dynamically linked libraries on stock Linux

• Martin Alexander Neumann
• Christoph Tobias Bach
• Stefan Kratochwil
• Marcel Kost
• Michael Beigl

Removing stagnation from modern code review

• Giovanni Viviani
• Gail C. Murphy

SESSION: Student Research Competition

Design pattern builder: a concept for refinable reusable design pattern libraries

• Tobias Dürschmid

End-user software engineering of cognitive robot applications using procedural parameters and complex event processing

• Floris Erich

A compiler for linear algebra operations

• Henrik Barthels

An approach to compile configurable systems with #ifdefs based on impact analysis

• Larissa Braz

Flexible initialization of immutable objects

• Tyler Etzel

Finding concurrency bugs using graph-based anomaly detection in big code

• Andrew Habib

Reducing procedure call bloat in ARM binaries

• Joseph Caldwell

PixelDust: supporting dynamic area of interest tagging in programming studies with eye tracking

• Jessica Cherayil

Improving live debugging of concurrent threads

• Max Leske

xWIDL: modular and deep JavaScript API misuses checking based on extended WebIDL

• Zhen Zhang

Towards object-aware development tools

• Andrei Chiş

Deducing classes: integrating the domain models of object-oriented applications

• Patrick Rein

Energy profiling with Alpaca

• Logan Goldberg
• Joel Katticaran
• Abraham Mhaidli

Scrambler: dynamic layout adaptation

• David Chang
• Thu Nguyen
• Niko Takayesu