Results 51 to 60 of about 5,396 (256)
Моделирование и анализ информационных систем, 2013 This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. The practical usefulness of
V. A. Bitner, N. V. Zaborovsky
doaj +3 more sources
Method of diversity software protection based on fusion compilation
网络与信息安全学报, 2020 For the obvious characteristics and single mode of the existing common protection methods, with the help of the LLVM framework, a diversity software protection method based on fusion compilation was proposed.
XIONG Xiaobing, SHU Hui, KANG Fei
doaj +1 more source
Certified Programs and ProofsMonadic interpreters have gained attention as a powerful tool for modeling and reasoning about first order languages. In particular in the Coq ecosystem, the Choice Tree (CTree) library provides generic tools to craft such interpreters in presence of ...
Nicolas Chappe +2 more
semanticscholar +1 more source
SYCLops: A SYCL Specific LLVM to MLIR Converter
International Workshop on OpenCL, 2022 There is a growing need for higher level abstractions for device kernels in heterogeneous environments, and the multi-level nature of the MLIR infrastructure perfectly addresses this requirement. As SYCL begins to gain industry adoption for heterogeneous
Alexandre Singer +2 more
semanticscholar +1 more source
Building an obfuscation compiler based on LLVM infrastructure
Труды Института системного программирования РАН, 2018 The paper describes the obfuscating transformations, which were implemented while developing an LLVM-based obfuscating compiler in ISP RAS. The proposed transformations are based on well-known obfuscation algorithms and are specifically improved to ...
V. P. Korchagin +3 more
doaj +1 more source
LLVM OpenMP TR4E Alpha Release
, 2017 <p>The LLVM OpenMP runtime system, extended with loop scheduling callbacks and an augmented task creation callback. The release is said to be alpha to signal that the extensions require tests and code review before it is ready to be merged into the
Peder Voldnes Langdal
core +1 more source
, 2023 <p>Utilities for constructing large datasets of LLVM IR.</p ...
Paehler, Ludger +8 more
core +1 more source
Dynamic compilation of SQL queries for PostgreSQL
Труды Института системного программирования РАН, 2018 In recent years, as performance and capacity of main and external memory grow, performance of database management systems (DBMSes) on certain kinds of queries is more determined by raw CPU speed.
R. A. Buchatskiy +5 more
doaj +1 more source
SMT-based Distributed Bounded Model Checking in Spark [PDF]
Jisuanji gongcheng, 2017 The credibility of program verification results and the verification efficiency in Satisfiablity Modulo Theories(SMT)-based bounded model checking are influenced greatly by bounds.However,the traditional serial checking method cannot validate under the ...
REN Shengbing,ZHANG Jianwei,WU Bin,WANG Zhijian
doaj +1 more source
RAAS: Runtime Adaptive Approximation System
Concurrency and Computation: Practice and Experience, Volume 38, Issue 12, June 2026.ABSTRACT Software‐level approximation techniques, such as loop perforation and functional replacement, can improve energy and performance in error‐tolerant applications, but typically require extensive programmer intervention even when compiler support is available.
Lucas Reis, Sandro Rigo, Lucas Wanner
wiley +1 more source