Results 81 to 90 of about 11,256 (247)
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
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
, 2019 SKilL is an open source system for the platform- and language-independent serialization of intermediate representations. It consists of a specification language, a binary data format and a tool for generating language bindings. The LLVM project is an open source infrastructure for the development of compilers.
openaire +2 more sources
, 2018 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
High-level software-pipelining in LLVM [PDF]
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015 Software-pipelining is an important technique for increasing the instruction level parallelism of loops during compilation. Currently, the LLVM compiler infrastructure does not offer this optimization although some target specific implementations do exist. We have implemented a high-level method for software-pipelining within the LLVM framework.
Jordans, R., Corporaal, H.
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
Refactoring to Standard C++20 Modules
Journal of Software: Evolution and Process, Volume 37, Issue 1, January 2025.This paper investigates a semi‐automatic modularization method to refactor existing C++ projects. Our approach uses dependency analysis and clustering to organize elements of projects into modules, without domain‐specific information. To fully facilitate the use of Modules, it is likely that both project‐internal and user‐facing interfaces must be ...
Richárd Szalay, Zoltán Porkoláb
wiley +1 more source
Batched ranged random integer generation
Software: Practice and Experience, Volume 55, Issue 1, Page 155-169, January 2025.Summary Pseudorandom values are often generated as 64‐bit binary words. These random words need to be converted into ranged values without statistical bias. We present an efficient algorithm to generate multiple independent uniformly‐random bounded integers from a single uniformly‐random binary word, without any bias.
Nevin Brackett‐Rozinsky, Daniel Lemire
wiley +1 more source
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
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.
Legay, Axel +3 more
openaire +2 more sources