Results 61 to 70 of about 10,356 (199)
AutoWIG: automatic generation of python bindings for C++ libraries [PDF]
PeerJ Computer Science, 2018 Most of Python and R scientific packages incorporate compiled scientific libraries to speed up the code and reuse legacy libraries. While several semi-automatic solutions exist to wrap these compiled libraries, the process of wrapping a large library is ...
Pierre Fernique, Christophe Pradal
doaj +2 more sources
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
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
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
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
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
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