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
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
NAB: automated large-scale multi-language dynamic program analysis in public code repositories. 9-10 - Aleksandar Prokopec
Renaissance: a modern benchmark suite for parallel applications on the JVM. 11-12 - Nafise Eskandani
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
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
Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019). 57-58
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.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: