SPLASH Companion 2019
2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2019)
Powered by
Conference Publishing Consulting

2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2019), October 20–25, 2019, Athens, Greece

SPLASH Companion 2019 – Preliminary Table of Contents

Contents - Abstracts - Authors


Title Page
Message from the Chairs


Component-Based Computation-Energy Modeling for Embedded Systems
Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, and Clemens Grelck
(University of Southern Denmark, Denmark; University of Amsterdam, Netherlands)
Article Search
Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans
Matúš Sulír
(Technical University of Košice, Slovakia)
Article Search
NAB: Automated Large-Scale Multi-language Dynamic Program Analysis in Public Code Repositories
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, and Walter Binder
(Universidad Privada Boliviana, Bolivia; USI Lugano, Switzerland; Oracle Labs, USA)
Article Search
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder
(Oracle Labs, n.n.; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia; Oracle Labs, Switzerland)
Article Search
Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
Nafise Eskandani Masoule, Mirko Köhler, Guido Salvaneschi, and Alessandro Margara
(TU Darmstadt, Germany; Politecnico di Milano, Italy)
Article Search
Towards a WebAssembly Standalone Runtime on GraalVM
Salim S. Salim, Andy Nisbet, and Mikel Luján
(University of Manchester, UK)
Article Search
MetaDL: Declarative Program Analysis for the Masses
Alexandru Dura and Hampus Balldin
(Lund University, Sweden)
Article Search
Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications
Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser
(Delft University of Technology, Netherlands)
Article Search
A Domain-Specific Compiler for N-Body Problems
Shigeyuki Sato
(University of Tokyo, Japan)
Article Search

Doctoral Symposium

Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Ari Rasch
(University of Münster, Germany)
Article Search
Exploiting Models for Scalable and High Throughput Distributed Software
Tim Soethout
(ING Bank, Netherlands)
Article Search
Debugging Support for Multi-paradigm Concurrent Programs
Dominik Aumayr
(JKU Linz, Austria)
Article Search
Retaining Semantic Information in the Static Analysis of Real-World Software
Gábor Horváth
(Eötvös Loránd University, Hungary)
Article Search
Improving Performance and Quality of Database-Backed Software
Junwen Yang
(University of Chicago, USA)
Article Search
Practical Second Futamura Projection
Florian Latifi
(JKU Linz, Austria)
Article Search

Student Research Competition

An Empirical Study of Programming Language Effect on OSS Development Effort
Muna Altherwi
(Southampton University, UK)
Article Search
Designing Immersive Virtual Training Environments for Experiential Learning
Kalliopi Evangelia Stavroulia
(Cyprus University of Technology, Cyprus)
Article Search
Gradual Program Analysis
Samuel Estep
(Liberty University, n.n.)
Article Search
Linear Capabilities for CHERI: An Exploration of the Design Space
Aaron Lippeveldts
(Vrije Universiteit Brussel, Belgium)
Article Search
Is Mutation Score a Fair Metric?
Beatriz Souza
(Federal University of Campina Grande, Brazil)
Article Search
Incremental Scannerless Generalized LR Parsing
Maarten P. Sijm
(Delft University of Technology, Netherlands)
Article Search

Workshop Summaries

Summary of the 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems (AI-SEPS 2019)
Ehsan Atoofian and Hiroyuki Takizawa
(Lakehead University, Canada; Tohoku University, Japan)
Article Search
Summary of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2019)
Jeff Gray, Matti Rossi, Jonathan Sprinkle, and Juha-Pekka Tolvanen
(University of Alabama, USA; Aalto University School of Business, Finland; University of Arizona, USA; MetaCase, Finland)
Article Search
Summary of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2019)
Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Francisco Sant’Anna, and Lukasz Ziarek
(TU Darmstadt, Germany; Vrije Universiteit Brussel, Belgium; USI Lugano, Switzerland; Rio de Janeiro State University, Brazil; SUNY Buffalo, USA)
Article Search

proc time: 2.94