Frontmatter

Keynotes

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


@InProceedings{SPLASH Companion16p1, author = {Benjamin C. Pierce}, title = {The Science of Deep Specification (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p3, author = {Andrew Ko}, title = {A Human View of Programming Languages (Keynote)}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2016}, }

Doctoral Symposium

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


@InProceedings{SPLASH Companion16p5, author = {Tamás Szabó}, title = {Dedicated Support for Analyses and Optimizations in Language Workbenches}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {5-4}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p8, author = {Ján Juhár}, title = {Integrating Concerns with Development Environments}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {8-7}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p11, author = {Matthias Eichholz}, title = {Language Support for Verifiable SDNs}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p14, author = {Sylvia Grewe}, title = {VeriTaS: Verification of Type System Specifications: Mechanizing Domain Knowledge about Progress and Preservation Proofs}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p17, author = {Melina Mongiovi}, title = {Scaling Testing of Refactoring Engines}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2016}, }

Multitier Reactive Abstractions
Pascal Weisenburger
(TU Darmstadt, Germany)


@InProceedings{SPLASH Companion16p20, author = {Pascal Weisenburger}, title = {Multitier Reactive Abstractions}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {20-19}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p23, author = {Marco Grandi}, title = {Spray: Programming with a Persistent Distributed Heap}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2016}, }

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)


@InProceedings{SPLASH Companion16p26, author = {Martin Alexander Neumann}, title = {Towards Practical Release-Level Dynamic Software Updating on Stock Java: Evaluating an Efficient and Safely Programmable Java Dynamic Updating System}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {26-25}, doi = {}, year = {2016}, }

Posters

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


@InProceedings{SPLASH Companion16p29, author = {Tetsuo Kamina}, title = {Introducing Lightweight Reactive Values to Java}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p31, author = {Scott Buckley and Anthony Sloane and Matthew Roberts}, title = {Specifying CSS Layout with Reference Attribute Grammars}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p33, author = {Raphael Hiesgen and Dominik Charousset and Thomas C. Schmidt}, title = {Reconsidering Reliability in Distributed Actor Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p35, author = {Ahmed Abdel Moamen and Nadeem Jamali}, title = {Supporting Resource Bounded Multitenancy in Akka}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2016}, }

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)


@InProceedings{SPLASH Companion16p37, author = {David H. Lorenz and Boaz Rosenan}, title = {A Web Application Is a Domain-Specific Language}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, }

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)


@InProceedings{SPLASH Companion16p39, author = {Tal Wagner and Eric Schkufza and Udi Wieder}, title = {A Sampling-Based Approach to Accelerating Queries in Log Management Systems}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p41, author = {Yewen Pu and Karthik Narasimhan and Armando Solar-Lezama and Regina Barzilay}, title = {sk_p: A Neural Program Corrector for MOOCs}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, }

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)


@InProceedings{SPLASH Companion16p43, author = {Martin Alexander Neumann and Christoph Tobias Bach and Stefan Kratochwil and Marcel Kost and Michael Beigl}, title = {libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p45, author = {Giovanni Viviani and Gail C. Murphy}, title = {Removing Stagnation from Modern Code Review}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2016}, }

Student Research Competition

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


@InProceedings{SPLASH Companion16p47, author = {Tobias Dürschmid}, title = {Design Pattern Builder: A Concept for Refinable Reusable Design Pattern Libraries}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {47-46}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p49, author = {Floris Erich}, title = {End-User Software Engineering of Cognitive Robot Applications using Procedural Parameters and Complex Event Processing}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p51, author = {Henrik Barthels}, title = {A Compiler for Linear Algebra Operations}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p53, author = {Larissa Braz}, title = {An Approach to Compile Configurable Systems with #ifdefs Based on Impact Analysis}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p55, author = {Tyler Etzel}, title = {Flexible Initialization of Immutable Objects}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {55-54}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p57, author = {Andrew Habib}, title = {Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {57-56}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p59, author = {Joseph Caldwell}, title = {Reducing Procedure Call Bloat in ARM Binaries}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {59-58}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p61, author = {Jessica Cherayil}, title = {PixelDust: Supporting Dynamic Area of Interest Tagging in Programming Studies with Eye Tracking}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p63, author = {Max Leske}, title = {Improving Live Debugging of Concurrent Threads}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p65, author = {Zhen Zhang}, title = {xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p67, author = {Andrei Chiş}, title = {Towards Object-Aware Development Tools}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p69, author = {Patrick Rein}, title = {Deducing Classes: Integrating the Domain Models of Object-Oriented Applications}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {69-68}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p71, author = {Logan Goldberg and Joel Katticaran and Abraham Mhaidli}, title = {Energy Profiling with Alpaca}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2016}, }

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


@InProceedings{SPLASH Companion16p73, author = {David Chang and Thu Nguyen and Niko Takayesu}, title = {Scrambler: Dynamic Layout Adaptation}, booktitle = {Proc.\ SPLASH Companion}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, }

proc time: 0.72