Transpilers: A systematic mapping review of their usage in research and industry

A Bastidas Fuertes, M Pérez, J Meza Hormaza - Applied Sciences, 2023 - mdpi.com
Transpilers refer to a special type of compilation that takes source code and translates it into
target source code. This type of technique has been used for different types of …

[HTML][HTML] Formal Verification of Code Conversion: A Comprehensive Survey

AT Mahmoud, AA Mohammed, M Ayman, W Medhat… - Technologies, 2024 - mdpi.com
Code conversion, encompassing translation, optimization, and generation, is becoming
increasingly critical in information systems and the software industry. Traditional validation …

Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations

D Leopoldseder, L Stadler, T Würthinger, J Eisl… - Proceedings of the …, 2018 - dl.acm.org
Compilers perform a variety of advanced optimizations to improve the quality of the
generated machine code. However, optimizations that depend on the data flow of a program …

CompGen: generation of fast JIT compilers in a multi-language VM

F Latifi, D Leopoldseder, C Wimmer… - Proceedings of the 17th …, 2021 - dl.acm.org
The first Futamura projection enables compilation and high performance code generation of
user programs by partial evaluation of language interpreters. Previous work has shown that …

GraalSP: Polyglot, efficient, and robust machine learning-based static profiler

M Čugurović, MV Janičić, V Jovanović… - Journal of Systems and …, 2024 - Elsevier
Compilers use profiles to apply profile-guided optimizations and produce efficient programs.
Dynamic profilers collect high-quality profiles but require identifying suitable profile …

Cross-Platform Language Design

SJR Doeraene - 2018 - infoscience.epfl.ch
Programming languages are increasingly compiled to multiple runtimes, each featuring their
own rich structures such as their object model. Furthermore, they need to interact with other …

Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction

R Mosaner, D Leopoldseder, M Rigger… - Proceedings of the 16th …, 2019 - dl.acm.org
On-stack replacement (OSR) is a common technique employed by dynamic compilers to
reduce program warm-up time. OSR allows switching from interpreted to compiled code …

Experiences in Building a Composable and Functional API for Runtime SPIR-V Code Generation

J Fumero, G Rethy, A Stratikopoulos, N Foutris… - arXiv preprint arXiv …, 2023 - arxiv.org
This paper presents the Beehive SPIR-V Toolkit; a framework that can automatically
generate a Java composable and functional library for dynamically building SPIR-V binary …

[PDF][PDF] Translating Between Graph Database Query Languages

M Marti - 2022 - research-collection.ethz.ch
ABSTRACT Graph Database Management Systems (GDBMS) store data as a graph and
allow for the efficient querying of nodes and their relationships. Their gain in popularity over …

[PDF][PDF] CCTrans: A Java-to-JavaScript Translation with Concurrency Runtime

W Yang, Y Guo, Y Xue - 2024 - wzyang.cn
Java is a widely used programming language with the most comprehensive libraries in the
world. To leverage the vast resources of the Java ecosystem, several transpilers exist that …