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
Doctoral Symposium
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)
proc time: 0.82