![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SPLASH Companion 2019: Athens, Greece
- Yannis Smaragdakis:
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. ACM 2019, ISBN 978-1-4503-6992-3
Invited Talks
- Frank Dellaert:
A graphical language for flexible inference in robotics and vision (invited talk). 1 - Matthew Might:
The algorithm for precision medicine (invited talk). 2 - Isil Dillig:
Programming support for evolving database applications (invited talk). 3 - Warren Sack:
The software arts (invited talk). 4
Posters
- Adam Seewald
, Ulrik Pagh Schultz
, Julius Roeder, Benjamin Rouxel, Clemens Grelck:
Component-based computation-energy modeling for embedded systems. 5-6 - Matús Sulír
:
Toward a benchmark repository for software maintenance tool evaluations with humans. 7-8 - 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. 9-10 - 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. 11-12 - Nafise Eskandani
, Mirko Köhler
, Alessandro Margara, Guido Salvaneschi
:
Distributed object-oriented programming with multiple consistency levels in ConSysT. 13-14 - Salim S. Salim, Andy Nisbet, Mikel Luján:
Towards a WebAssembly standalone runtime on GraalVM. 15-16 - Alexandru Dura
, Hampus Balldin:
MetaDL: declarative program analysis for the masses. 17-18 - Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser:
Towards language-parametric semantic editor services based on declarative type system specifications. 19-20 - Shigeyuki Sato
:
A symmetry-based n-body solver compiler. 21-22
Doctoral Symposium
- Junwen Yang:
Improving performance and quality of database-backed software. 23-25 - Ari Rasch:
Performance, portability, and productivity for data-parallel applications on multi- and many-core architectures. 26-28 - Florian Latifi:
Practical second Futamura projection: partial evaluation for high-performance language interpreters. 29-31 - Gábor Horváth:
Retaining semantic information in the static analysis of real-world software. 32-34 - Tim Soethout
:
Exploiting models for scalable and high throughput distributed software. 35-37 - Dominik Aumayr
:
Debugging support for multi-paradigm concurrent programs. 38-40
Student Research Competition
- Beatriz Souza:
Is mutation score a fair metric? 41-43 - Kalliopi-Evangelia Stavroulia:
Designing immersive virtual training environments for experiential learning. 44-46 - Aaron Lippeveldts:
Linear capabilities for CHERI: an exploration of the design space. 47-48 - Muna Altherwi:
An empirical study of programming language effect on open source software development. 49-51 - Samuel Estep:
Gradual program analysis. 52-53 - Maarten P. Sijm
:
Incremental scannerless generalized LR parsing. 54-56
Workshop Summary
- Jeff Gray
, Matti Rossi, Jonathan Sprinkle
, Juha-Pekka Tolvanen
:
Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019). 57-58
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.