Results 61 to 70 of about 406 (180)
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 +2 more
wiley +1 more source
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
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
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
Труды Института системного программирования РАН, 2018 This paper analyzes approaches for optimizing C/C++ applications used in twostage compilation system, allowing distributing such applications in the LLVM (low level virtual machine) intermediate representation.
Sh. F. Kurmangaleev
doaj
Copy-paste semantic errors detection
Труды Института системного программирования РАН, 2018 The paper describes a method for semantic errors detection arising during incorrect code copy-paste made by the developer. The method consists of two basic parts. The first part detects code clones based on lexical analysis of the program.
Sevak Sargsyan
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
Dynamic analysis of virtualization- and dispatching-obfuscated applications
Труды Института системного программирования РАН, 2018 Obfuscation algorithms are now widely used to prevent software reverse engineering. Binary code virtualization is one of the most powerful obfuscations technics.
M. G. Bakulin +5 more
doaj +1 more source
Statistical Model Checking of LLVM Code [PDF]
, 2018 We present the new tool Lodin for statistical model checking of LLVM-bitcode. Lodin implements a simulation engine for LLVM-bitcode and implements classic statistical model checking algorithms on top of it. The simulation engine implements only the core of LLVM but supports extending this core through a plugin-architecture.
Traonouez, Louis-Marie +3 more
openaire +2 more sources
SoftwareX, 2018 We present libVersioningCompiler, a C++ library designed to support the dynamic generation of multiple versions of the same compute kernel in a HPC scenario.
S. Cherubin, G. Agosta
doaj +1 more source