Results 71 to 80 of about 11,256 (247)
Diversified Compilation Method Based on LLVM [PDF]
Jisuanji gongchengWhen 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
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
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
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 +2 more
doaj +1 more source
Annotation‐Guided AoS‐to‐SoA Conversions and GPU Offloading With Data Views in C++
Concurrency and Computation: Practice and Experience, Volume 37, Issue 21-22, 25 September 2025.ABSTRACT The C++ programming language provides classes and structs as fundamental modeling entities. Consequently, C++ code tends to favor array‐of‐structs (AoS) for encoding data sequences, even though structure‐of‐arrays (SoA) yields better performance for some calculations.
Pawel K. Radtke, Tobias Weinzierl
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
Machine Learning-Based Vulnerability Detection in Rust Code Using LLVM IR and Transformer Model
Machine Learning and Knowledge ExtractionRust’s growing popularity in high-integrity systems requires automated vulnerability detection in order to maintain its strong safety guarantees. Although Rust’s ownership model and compile-time checks prevent many errors, sometimes unexpected bugs may ...
Young Lee +4 more
doaj +1 more source
SoftwareX, 2019 This article presents Nonio, a modular, easy-to-use, design space exploration framework focused on exploring custom combinations of compiler flags and compiler sequences. We describe the framework and discuss its use with two of the most popular compiler
Ricardo Nobre +3 more
doaj +1 more source
Scanning HTML at Tens of Gigabytes Per Second on ARM Processors
Software: Practice and Experience, Volume 55, Issue 7, Page 1256-1265, July 2025.ABSTRACT Background Modern processors feature Single Instruction, Multiple Data (SIMD) instructions capable of processing 16 bytes or more simultaneously, enabling significant performance enhancements in data‐intensive tasks. Two major Web browser engines (WebKit and Blink) have adopted SIMD algorithms for parsing HTML.
Daniel Lemire
wiley +1 more source
Memory and Parallelism Analysis Using a Platform-Independent Approach
, 2019 Emerging computing architectures such as near-memory computing (NMC) promise improved performance for applications by reducing the data movement between CPU and memory. However, detecting such applications is not a trivial task.
Awan, Ahsan Javed +5 more
core +1 more source