Results 91 to 100 of about 5,396 (256)
Source code obfuscation with genetic algorithms using LLVM code optimizations
With the advent of the cloud computing model allowing a shared access to massive computing facilities, a surging demand emerges for the protection of the intellectual property tied to the programs executed on these uncontrolled systems.
Juan Carlos de la Torre +4 more
semanticscholar +1 more source
Annotation‐Guided AoS‐to‐SoA Conversions and GPU Offloading With Data Views in C++
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
Dynamic profile collection for LLVM
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
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
Map2Check is a bug hunting tool that automatically checks safety properties in C programs. It tracks memory pointers and variable assignments to check user-specified assertions, overflow, and pointer safety. Here, we extend Map2Check to: (i) simplify the program using Clang/LLVM; (ii) perform a path-based symbolic execution using the KLEE tool; and ...
Rafael Menezes +3 more
openaire +1 more source
Scanning HTML at Tens of Gigabytes Per Second on ARM Processors
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
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques
This paper is a systematic mapping study of diversity‐based testing (DBT) techniques that summarizes the key aspects and trends of 167 papers. The study reports the use of 79 similarity metrics with 22 types of software artefacts, which researchers have used to tackle 11 types of software testing problems.
Islam T. Elgendy +2 more
wiley +1 more source
ytopt: Autotuning Scientific Applications for Energy Efficiency at Large Scales
ABSTRACT As we enter the exascale computing era, efficiently utilizing power and optimizing the performance of scientific applications under power and energy constraints has become critical and challenging. We propose a low‐overhead autotuning framework to autotune performance and energy for various hybrid MPI/OpenMP scientific applications at large ...
Xingfu Wu +9 more
wiley +1 more source
Разработка гибкой системы генерации отчетов для LLVM LNT
Тестирование и анализ производительности играют большую роль в разработке компиляторов. Единая система, способная запускать различные виды тестов и бенчмарков, а также имеющая удобные средства работы с результатами их работы, позволяет значительно ...
Милосердов Владимир Михайлович +1 more
core

