Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- posterNovember 2022
Characterizing WebAssembly Bytecode
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 147–148https://doi.org/10.1145/3546918.3560809WebAssembly, known as Wasm, is an interpreted portable bytecode execution format that is growing in popularity. In this work, we perform a simple pair of characterizations of Wasm. Statically, we compare the instruction set to other portable bytecodes ...
- short-paperNovember 2022
Boehm-Demers-Weiser Garbage Collection on Morello
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 150–151https://doi.org/10.1145/3546918.3560808The Boehm-Demers-Weiser collector is a conservative garbage collection scheme generally used for C/C++ applications. In this demo, we will show the collector running with C benchmark programs on a new CHERI-style hardware capability platform, ...
- posterNovember 2022
Automatically Transforming Arrays to Columnar Storage at Run Time✱
- Sebastian Kloibhofer,
- Lukas Makor,
- David Leopoldseder,
- Daniele Bonetta,
- Lukas Stadler,
- Hanspeter Mössenböck
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 141–143https://doi.org/10.1145/3546918.3560805Picking the right data structure for the right job is one of the key challenges for every developer. However, especially in the realm of object-oriented programming, the memory layout of data structures is often still suboptimal for certain data access ...
- posterNovember 2022
Analyzing the Cost of Safety for Vectorized Bytecode in Dynamically-Typed Languages
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Page 140https://doi.org/10.1145/3546918.3560803Vector instructions are a class of processor instructions that allow data level parallelism by performing the same instruction on multiple pieces of data, instead of a single one as usual. There are two possible approaches to achieve this: add virtual ...
Compressed Forwarding Tables Reconsidered
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 45–63https://doi.org/10.1145/3546918.3546928How concurrent compacting collectors store and manage forwarding information is crucial for their performance.
In this paper, we propose CFW, a representation technique for forwarding information that guarantees that forwarding information for an ...
- research-articleNovember 2022
Dynamic Taint Analysis with Label-Defined Semantics
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 64–84https://doi.org/10.1145/3546918.3546927Dynamic taint analysis is a popular analysis technique which tracks the propagation of specific values while a program executes. To this end, a taint label is attached to these values and is dynamically propagated to any values derived from them. ...
- research-articleNovember 2022
Porting a JIT Compiler to RISC-V: Challenges and Opportunities
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 112–118https://doi.org/10.1145/3546918.3546924The RISC-V Instruction Set Architecture (ISA) is an open-source, modular and extensible ISA. The ability to add new instructions into a dedicated core opens up perspectives to accelerate VM components or provide dedicated hardware IPs to applications ...
- research-articleNovember 2022
Towards a Model Checking Framework for a New Collector Framework
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 128–139https://doi.org/10.1145/3546918.3546923Garbage collectors provide memory safety, an important step toward program correctness. However, correctness of the collector itself can be challenging to establish, given both the style in which such systems are written and the weakly-ordered memory ...
- research-articleNovember 2022
SecSharp: Towards Efficient Trusted Execution in Managed Languages (Work in Progress)
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 119–127https://doi.org/10.1145/3546918.3546922Trusted execution environments (TEEs) gained significant traction in recent years. They have become the foundation of Confidential Computing in cloud services, where certain security properties can be guaranteed on untrusted servers. Despite this ...
- research-articleNovember 2022
Machine-Learning-Based Self-Optimizing Compiler Heuristics✱
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 98–111https://doi.org/10.1145/3546918.3546921Compiler optimizations are often based on hand-crafted heuristics to guide the optimization process. These heuristics are designed to benefit the average program and are otherwise static or only customized by profiling information. We propose machine-...
- research-articleNovember 2022
Automatic Array Transformation to Columnar Storage at Run Time
- Lukas Makor,
- Sebastian Kloibhofer,
- David Leopoldseder,
- Daniele Bonetta,
- Lukas Stadler,
- Hanspeter Mössenböck
MPLR '22: Proceedings of the 19th International Conference on Managed Programming Languages and RuntimesSeptember 2022, Pages 16–28https://doi.org/10.1145/3546918.3546919Today’s huge memories make it possible to store and process large data structures in memory instead of in a database. Hence, accesses to this data should be optimized, which is normally relegated either to the runtimes and compilers or is left to the ...