SPLASH (Companion Volume)

Publications

2019

Maarten P. Sijm
Incremental scannerless generalized LR parsing. SPLASH (Companion Volume) (2019)
Kalliopi-Evangelia Stavroulia
Designing immersive virtual training environments for experiential learning. SPLASH (Companion Volume) (2019)
Ari Rasch
Performance, portability, and productivity for data-parallel applications on multi- and many-core architectures. SPLASH (Companion Volume) (2019)
Samuel Estep
Gradual program analysis. SPLASH (Companion Volume) (2019)
Tim Soethout
Exploiting models for scalable and high throughput distributed software. SPLASH (Companion Volume) (2019)
Beatriz Souza
Is mutation score a fair metric? SPLASH (Companion Volume) (2019)
Junwen Yang
Improving performance and quality of database-backed software. SPLASH (Companion Volume) (2019)
Frank Dellaert
A graphical language for flexible inference in robotics and vision (invited talk). SPLASH (Companion Volume) (2019)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
Towards language-parametric semantic editor services based on declarative type system specifications. SPLASH (Companion Volume) (2019)
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2019, Athens, Greece, October 20-25, 2019. SPLASH (Companion Volume) (2019)
Salim S. Salim, Andy Nisbet, Mikel Luján
Towards a WebAssembly standalone runtime on GraalVM. SPLASH (Companion Volume) (2019)
Adam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck
Component-based computation-energy modeling for embedded systems. SPLASH (Companion Volume) (2019)
Matthew Might
The algorithm for precision medicine (invited talk). SPLASH (Companion Volume) (2019)
Dominik Aumayr
Debugging support for multi-paradigm concurrent programs. SPLASH (Companion Volume) (2019)
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder
NAB: automated large-scale multi-language dynamic program analysis in public code repositories. SPLASH (Companion Volume) (2019)
Aaron Lippeveldts
Linear capabilities for CHERI: an exploration of the design space. SPLASH (Companion Volume) (2019)
Isil Dillig
Programming support for evolving database applications (invited talk). SPLASH (Companion Volume) (2019)
Warren Sack
The software arts (invited talk). SPLASH (Companion Volume) (2019)
Nafise Eskandani, Mirko Köhler, Alessandro Margara, Guido Salvaneschi
Distributed object-oriented programming with multiple consistency levels in ConSysT. SPLASH (Companion Volume) (2019)
Gábor Horváth
Retaining semantic information in the static analysis of real-world software. SPLASH (Companion Volume) (2019)
Muna Altherwi
An empirical study of programming language effect on open source software development. SPLASH (Companion Volume) (2019)
Alexandru Dura, Hampus Balldin
MetaDL: declarative program analysis for the masses. SPLASH (Companion Volume) (2019)
Matús Sulír
Toward a benchmark repository for software maintenance tool evaluations with humans. SPLASH (Companion Volume) (2019)
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder
Renaissance: a modern benchmark suite for parallel applications on the JVM. SPLASH (Companion Volume) (2019)
Shigeyuki Sato
A symmetry-based n-body solver compiler. SPLASH (Companion Volume) (2019)
Jeff Gray, Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen
Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019). SPLASH (Companion Volume) (2019)
Florian Latifi
Practical second Futamura projection: partial evaluation for high-performance language interpreters. SPLASH (Companion Volume) (2019)

2017

2016