Results 81 to 90 of about 5,396 (256)

Extending LLVM-based Kaleidoscope compiler [PDF]

, 2013
This thesis first describes the concept of a compiler, what it is and what typical compiler consists of. This basic definition has been used to develop a improved compiler for Kaleidoscope programming language. Compiler was developed using LLVM framework.
Jelovšek, Samo
core  

LLVM Dep

, 2019
<p>Set of llvm dep</p ...
Pedro Holanda (7281047), Pedro Holanda
core   +1 more source

Diversified Compilation Method Based on LLVM [PDF]

Jisuanji gongcheng
When diversifying projects composed of multiple C/C++ source files, most of the existing software diversification tools adopt the same diversification method for all functions in a single C/C++ source file, which leads to a single diversification method ...
CHEN Yingchao, WANG Junchao, PANG Jianmin, YUE Feng
doaj   +1 more source

Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting

Journal of automated reasoning
We present a stepwise refinement approach to develop verified parallel algorithms, down to efficient LLVM code. The resulting algorithms’ performance is competitive with their counterparts implemented in C++. Our approach is backwards compatible with the
P. Lammich
semanticscholar   +1 more source

Register‐Based and Stack‐Based Virtual Machines: Which Perform Better in JIT Compilation Scenarios?

Software: Practice and Experience, Volume 55, Issue 11, Page 1896-1910, November 2025.
ABSTRACT Background Just‐In‐Time (JIT) compilation plays a critical role in optimizing the performance of modern virtual machines (VMs). While the architecture of VMs–register‐based or stack‐based–has long been a subject of debate, empirical analysis focusing on JIT compilation performance is relatively sparse. Objective In this study, we aim to answer
Bohuslav Šimek, Dalibor Fiala, Martin Dostal   +2 more
wiley   +1 more source

Interprocedural taint analysis for LLVM-bitcode

Труды Института системного программирования РАН, 2018
Today the development cycle of many application classes requires a security analysis stage. Taint analysis is widely used to check programs for different security vulnerabilities.
V. K. Koshelev, A. O. Izbyshev, I. A. Dudina   +2 more
doaj   +1 more source

Retrofitting Symbolic Holes to LLVM IR

CoRR, 2020
Symbolic holes are one of the fundamental building blocks of solver-aided and interactive programming. Unknown values can be soundly integrated into programs, and automated tools such as SAT solvers can be used to prove properties of programs containing them.
Bruce Collie, Michael F. P. O'Boyle
openaire   +2 more sources

SVF: interprocedural static value-flow analysis in LLVM

International Conference on Compiler Construction, 2016
This paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis.
Yulei Sui, Jingling Xue
semanticscholar   +1 more source

LMARSpy: A GPU‐Ready Nonhydrostatic Dynamical Core With a Sharpness‐Preserving Monotonicity Limiter and a Conservative Vertical Implicit Solver

Journal of Advances in Modeling Earth Systems, Volume 17, Issue 10, October 2025.
Abstract Global numerical modeling is advancing into the era of kilometer‐scale, non‐hydrostatic simulations, while heterogeneous computing emerges as a pivotal trend in high‐performance computing (HPC). As a strong candidate for next‐generation global kilometer‐scale general circulation models, the A‐grid dynamical core based on the Low Mach number ...
Weikang Zhang, Xi Chen
wiley   +1 more source

Two-stage compilation for optimizing and deploying programs in general purpose languages

Труды Института системного программирования РАН, 2018
We describe the approach for two-stage compilation of C/C++ programs using the LLVM compiler infrastructure that allows optimizing programs taking into account the user profile and his/her target machine features, as well as deploying programs in a cloud
Arutyun Avetisyan
doaj