Results 61 to 70 of about 3,335 (212)
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
Multithread Approximation: An OpenMP Constructor
Concurrency and Computation: Practice and Experience, Volume 38, Issue 4, February 2026.ABSTRACT This study introduces an OpenMP construct designed to simplify and unify the integration of approximate computing techniques into shared‐memory parallel programs. Approximate Computing leverages the inherent error tolerance of many applications to trade computational accuracy for gains in performance and energy efficiency.
João Briganti de Oliveira +2 more
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
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
LLVM-kääntäjäarkkitehtuuri ja sen soveltuvuus Java-virtuaalikoneen toteutuspohjaksi [PDF]
, 2009 Low Level Virtual Machine (LLVM) on moderni koko ohjelman elinkaaren optimointeihin keskittyvä kääntäjäarkkitehtuuri. Java-virtuaalikone on puolestaan suosittu korkean tason virtuaalikone, johon monien ohjelmointikielten toteutus nykyään perustuu ...
Vuori, Arto
core
ThreadMonitor: Low‐Overhead Data Race Detection Using Intel Processor Trace
Concurrency and Computation: Practice and Experience, Volume 38, Issue 2, January 2026.ABSTRACT Data races are among the most difficult multithreading bugs to find, due to their non‐deterministic nature. This and the increasing popularity of multithreaded programming have led to the need for practical automated data race detection. In this context, dynamic data race detectors have received more attention, compared to static tools, owing ...
Farzam Dorostkar +3 more
wiley +1 more source
Dynamic profile collection for LLVM
Труды Института системного программирования РАН, 2018 One has to harness dynamic and adaptive recompilation methods when designing the system for general-purpose languages compilation which takes into account the specific factors of target hardware and the most likely way of usage.
A. I. Avetisyan +2 more
doaj
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
Concurrency Frameworks for Embedded Systems: A Comparative Evaluation of FreeRTOS, RTIC, and Embassy
IET Computers &Digital Techniques, Volume 2026, Issue 1, 2026.This paper presents a quantitative and qualitative comparison of three concurrency frameworks for embedded real‐time systems: the C‐based FreeRTOS kernel and the rust‐based real‐time interrupt‐driven concurrency (RTIC) and Embassy frameworks. All three frameworks are implemented on an STM32F3 ARM Cortex‐M4 platform using three representative ...
Guoping Wang, Giovanni Battista Gaggero
wiley +1 more source
Complexity, Volume 2026, Issue 1, 2026.This work presents a comparison of different software and hardware implementations of a traffic simulator using a fluid‐based mesoscopic model. The model represents Vehicular Traffic Networks (VTNs) based on the flow resulting by the interconnection of dynamical agents associated to street segments and intersections.
Felipe Morales-Torres +7 more
wiley +1 more source