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 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the General Chair
SPLASH 2019 Organization
SPLASH 2019 Sponsors and Supporters

Invited Talks

A Graphical Language for Flexible Inference in Robotics and Vision (Invited Talk)
Frank Dellaert
(Georgia Institute of Technology, USA)
Publisher's Version Article Search
The Algorithm for Precision Medicine (Invited Talk)
Matthew Might
(University of Alabama at Birmingham, USA)
Publisher's Version Article Search
Programming Support for Evolving Database Applications (Invited Talk)
Isil Dillig
(University of Texas, USA)
Publisher's Version Article Search
The Software Arts (Invited Talk)
Warren Sack
(University of California at Santa Cruz, USA)
Publisher's Version Article Search

Posters

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)
Publisher's Version Article Search
Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans
Matúš Sulír
(Technical University of Košice, Slovakia)
Publisher's Version 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)
Publisher's Version 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, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia)
Publisher's Version Article Search
Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
Nafise Eskandani, Mirko Köhler, Alessandro Margara, and Guido Salvaneschi
(TU Darmstadt, Germany; Politecnico di Milano, Italy)
Publisher's Version Article Search
Towards a WebAssembly Standalone Runtime on GraalVM
Salim S. Salim, Andy Nisbet, and Mikel Luján
(University of Manchester, UK)
Publisher's Version Article Search
MetaDL: Declarative Program Analysis for the Masses
Alexandru Dura and Hampus Balldin
(Lund University, Sweden)
Publisher's Version Article Search
Towards 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)
Publisher's Version Article Search
A Symmetry-Based N-Body Solver Compiler
Shigeyuki Sato
(University of Tokyo, Japan)
Publisher's Version Article Search

Doctoral Symposium

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

Student Research Competition

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

Workshop Summary

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)
Publisher's Version Article Search

proc time: 1.96