Abstract is missing.
- A graphical language for flexible inference in robotics and vision (invited talk)Frank Dellaert. 1 [doi]
- The algorithm for precision medicine (invited talk)Matthew Might. 2 [doi]
- Programming support for evolving database applications (invited talk)Isil Dillig. 3 [doi]
- The software arts (invited talk)Warren Sack. 4 [doi]
- Component-based computation-energy modeling for embedded systemsAdam Seewald, Ulrik Pagh Schultz, Julius Roeder, Benjamin Rouxel, Clemens Grelck. 5-6 [doi]
- Toward a benchmark repository for software maintenance tool evaluations with humansMatús Sulír. 7-8 [doi]
- NAB: automated large-scale multi-language dynamic program analysis in public code repositoriesAlex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder. 9-10 [doi]
- Renaissance: a modern benchmark suite for parallel applications on the JVMAleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma 0001, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder. 11-12 [doi]
- Distributed object-oriented programming with multiple consistency levels in ConSysTNafise Eskandani, Mirko Köhler, Alessandro Margara, Guido Salvaneschi. 13-14 [doi]
- Towards a WebAssembly standalone runtime on GraalVMSalim S. Salim, Andy Nisbet, Mikel Luján. 15-16 [doi]
- MetaDL: declarative program analysis for the massesAlexandru Dura, Hampus Balldin. 17-18 [doi]
- Towards language-parametric semantic editor services based on declarative type system specificationsDaniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. 19-20 [doi]
- A symmetry-based n-body solver compilerShigeyuki Sato. 21-22 [doi]
- Improving performance and quality of database-backed softwareJunwen Yang. 23-25 [doi]
- Performance, portability, and productivity for data-parallel applications on multi- and many-core architecturesAri Rasch. 26-28 [doi]
- Practical second Futamura projection: partial evaluation for high-performance language interpretersFlorian Latifi. 29-31 [doi]
- Retaining semantic information in the static analysis of real-world softwareGábor Horváth. 32-34 [doi]
- Exploiting models for scalable and high throughput distributed softwareTim Soethout. 35-37 [doi]
- Debugging support for multi-paradigm concurrent programsDominik Aumayr. 38-40 [doi]
- Is mutation score a fair metric?Beatriz Souza. 41-43 [doi]
- Designing immersive virtual training environments for experiential learningKalliopi-Evangelia Stavroulia. 44-46 [doi]
- Linear capabilities for CHERI: an exploration of the design spaceAaron Lippeveldts. 47-48 [doi]
- An empirical study of programming language effect on open source software developmentMuna Altherwi. 49-51 [doi]
- Gradual program analysisSamuel Estep. 52-53 [doi]
- Incremental Scannerless Generalized LR ParsingMaarten P. Sijm. 54-56 [doi]
- Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019)Jeff Gray, Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen. 57-58 [doi]