Results 61 to 70 of about 10,440 (199)
CIDPro: Custom Instructions for Dynamic Program Diversification
, 2018 Timing side-channel attacks pose a major threat to embedded systems due to their ease of accessibility. We propose CIDPro, a framework that relies on dynamic program diversification to mitigate timing side-channel leakage.
Biswas, Arnab Kumar +4 more
core +1 more source
K-LLVM: A Relatively Complete Semantics of LLVM IR
, 2020 LLVM [Lattner and Adve, 2004] is designed for the compile-time, link-time and run-time optimization of programs written in various programming languages. The language supported by LLVM targeted by modern compilers is LLVM IR [llvm.org, 2018]. In this paper we define K-LLVM, a reference semantics for LLVM IR.
Li, Liyi, Gunter, Elsa L.
openaire +2 more sources
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
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
MLSA: a static bugs analysis tool based on LLVM IR [PDF]
International Journal of Networked and Distributed Computing (IJNDC), 2016 Program bugs may result in unexpected software error, crash or serious security attack. Static program analysis is one of the most common methods to find program bugs.
Hongliang Liang +3 more
doaj +1 more source
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques
Software Testing, Verification and Reliability, Volume 35, Issue 2, March 2025.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
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
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
Automatic Verification of LLVM Code
, 2020 In this work we present our work in developing a software verification tool for llvm-code - Lodin - that incorporates both explicit-state model checking, statistical model checking and symbolic state model checking algorithms.
Legay, Axel +2 more
openaire +2 more sources
ytopt: Autotuning Scientific Applications for Energy Efficiency at Large Scales
Concurrency and Computation: Practice and Experience, Volume 37, Issue 1, 10 January 2025.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