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 …
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 …
increasingly critical in information systems and the software industry. Traditional validation …
Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations
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 …
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
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 …
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 …
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 …
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
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 …
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
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 …
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 …
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
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 …
world. To leverage the vast resources of the Java ecosystem, several transpilers exist that …