- Sponsor:
- sigsoft
Welcome to MPLR 2020, the 17th International Conference on Managed Programming Languages and Runtimes. MPLR is a successor to the conference series on Managed Languages and Runtimes (ManLang). It is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications).
Proceeding Downloads
Garbage collection: implementation, innovation, performance, and security (keynote)
Garbage collection is a key technology underpinning many popular languages today. However, garbage collectors are the epitome of performance- and security-critical low-level systems programming. They are notoriously difficult to implement correctly and ...
Hardware support for managed languages: an old idea whose time has finally come? (keynote)
A large number of workloads are written in managed languages, including server workloads in data centers, web applications in browsers, and client workloads on desktops or mobile devices. Due to their widespread adoption, improving the performance and ...
From causality to stability: understanding and reducing meta-data in CRDTs
Modern distributed applications increasingly replicate data to guarantee both high availability of systems and optimal user experience. Conflict-Free Replicated Data Types (CRDTs) are a family of data types specially designed for highly available ...
Multi-language dynamic taint analysis in a polyglot virtual machine
Dynamic taint analysis is a popular program analysis technique in which sensitive data is marked as tainted and the propagation of tainted data is tracked in order to determine whether that data reaches critical program locations. This analysis ...
Efficient, near complete, and often sound hybrid dynamic data race prediction
Dynamic data race prediction aims to identify races based on a single program run represented by a trace. The challenge is to remain efficient while being as sound and as complete as possible. Efficient means a linear run-time as otherwise the method ...
Efficient dispatch of multi-object polymorphic call sites in contextual role-oriented programming languages
Adaptive software becomes more and more important as computing is increasingly context-dependent. Runtime adaptability can be achieved by dynamically selecting and applying context-specific code. Role-oriented programming has been proposed as a paradigm ...
SymJEx: symbolic execution on the GraalVM
- Sebastian Kloibhofer,
- Thomas Pointhuber,
- Maximilian Heisinger,
- Hanspeter Mössenböck,
- Lukas Stadler,
- David Leopoldseder
Developing software systems is inherently subject to errors that can later cause failures in production. While testing can help to identify critical issues, it is limited to concrete inputs and states. Exhaustive testing is infeasible in practice; hence ...
Transparent acceleration of Java-based deep learning engines
- Athanasios Stratikopoulos,
- Mihai-Cristian Olteanu,
- Ian Vaughan,
- Zoran Sevarac,
- Nikos Foutris,
- Juan Fumero,
- Christos Kotselidis
The advent of modern cloud services, along with the huge volume of data produced on a daily basis, have increased the demand for fast and efficient data processing. This demand is common among numerous application domains, such as deep learning, data ...
You can’t hide you can’t run: a performance assessment of managed applications on a NUMA machine
The ever-growing demand for more memory capacity from applications has always been a challenging factor in computer architecture. The advent of the Non Unified Memory Access (NUMA) architecture has achieved to work around the physical constraints of a ...
trcview: interactive architecture agnostic execution trace analysis
Debuggers are traditionally used to investigate and observe the dynamic behavior of software. Reverse debuggers record a program execution and provide a method to step through the program forward and backward, to quickly locate the operation of ...
Index Terms
- Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes