Results 81 to 90 of about 3,335 (212)
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
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
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
Improved Loop Distribution in LLVM using Polyhedral Dependences
, 2017 We propose a framework that can be used for improving loop-optimizations in LLVM using the Polyhedral framework of Polly. In our framework, we use the precise polyhedral dependences from Polly (provided by PolyhedralInfo), to construct a dependence graph,
Das, Santanu +4 more
core
Compiler Construction Using LLVM Framework
, 2022 Izgradnja jezičnog procesora koristeći radni okvir LLVM tema je završnog rada koji se bavi proučavanjem izgradnje jezičnog procesora jednostavnog programskog jezika Kaleidoscope, s naglaskom na fazi analize izvornog jezika.
Čutura, Lucija
core
The LLVM Compiler Infrastructure
Communications of the ACMFrom federally funded academic research to worldwide impact on computing.
Vikram S. Adve, Chris Lattner
openaire +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 +4 more sources
Implementation of a Cache Miss Calculator in LLVM/Polly
, 2017 We propose an LLVM pass to mathematically measure cache misses for Static Control Parts (SCoPs) of programs. Our implementation builds on top of the Polly infrastructure and has support for features such as LRU associativity, unknown array base addresses,
Upadrasta, Ramakrishna +2 more
core
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
Static analysis usage for customizable checks of programming languages semantic constraints
Труды Института системного программирования РАН, 2018 We describe the usage of programming language constraints to achieve program security and portability, which are especially important for large projects.
Valery Ignatyev
doaj