Results 201 to 210 of about 11,256 (247)
Taint analysis for automotive safety using the LLVM compiler infrastructure
, 2019 Eléonore Goblé
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2023
Creating software that is secure against reverse engineering, tampering, and malicious modification is an ongoing research problem. Reverse engineers employ a variety of attack methods to understand how software works, steal intellectual property, or inject their own malicious code.
Daniel Dinu, Anup Das
openaire +1 more source
Creating software that is secure against reverse engineering, tampering, and malicious modification is an ongoing research problem. Reverse engineers employ a variety of attack methods to understand how software works, steal intellectual property, or inject their own malicious code.
Daniel Dinu, Anup Das
openaire +1 more source
Flexible on-stack replacement in LLVM
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016On-Stack Replacement (OSR) is a technique for dynamically transferring execution between different versions of a function at run time. OSR is typically used in virtual machines to interrupt a long-running function and recompile it at a higher optimization level, or to replace it with a different one when a speculative assumption made during its ...
D'ELIA, DANIELE CONO, DEMETRESCU, Camil
openaire +1 more source
LLVM Framework: Research and Applications
2023 19th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD), 2023Chenyang Li, Jiye Jiao
exaly +2 more sources
A LLVM based compiler for COFFEE
16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), 2013LLVM has gained its popularity from both industrial side and academic side due to its well-defined architecture and good support for parallel programming. The purpose of this paper is to explain essential concepts which must be understood by complier developers in order to carry on the implementation of LLVM based compiler and also share experiences ...
Guoqing Zhang, Tapani Ahonen
openaire +1 more source
Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio computatorica, 2012
Superoptimization is a known technique to integrate the analyses and transformations of a number of separate optimizations in order to obtain an optimization that is more expressive than the sequential and iterative application of the original optimizations.
Dávid Juhász, Tamás Kozsik
openaire +1 more source
Superoptimization is a known technique to integrate the analyses and transformations of a number of separate optimizations in order to obtain an optimization that is more expressive than the sequential and iterative application of the original optimizations.
Dávid Juhász, Tamás Kozsik
openaire +1 more source
Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2017
Devirtualization is an optimization changing indirect (virtual) calls to direct calls. It improves performance by allowing extra inlining and removal of redundant loads. This paper presents a novel way of handling C++ devirtualization in LLVM by unifying virtual table loads across calls using different SSA values to represent different dynamic types.
openaire +1 more source
Devirtualization is an optimization changing indirect (virtual) calls to direct calls. It improves performance by allowing extra inlining and removal of redundant loads. This paper presents a novel way of handling C++ devirtualization in LLVM by unifying virtual table loads across calls using different SSA values to represent different dynamic types.
openaire +1 more source
Weak Memory Models as LLVM-to-LLVM Transformations
2016Data races are among the most difficult software bugs to discover. They arise from multiple threads accessing the same memory location, a situation which is often hard to discern from source code alone. Detection of such bugs is further complicated by individual CPUs' use of relaxed memory models. As a matter of fact, proving absence of data races is a
Vladimír Still +2 more
openaire +1 more source
Multi-dimensional Vectorization in LLVM
Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing, 2019Loop vectorization is a classic technique to exploit SIMD instructions in a productive way. In multi-dimensional vectorization, multiple loops of a loop nest are vectorized at once. This exposes opportunities for data reuse, register tiling and more efficient memory accesses.In this work, we present TensorRV, a multi-dimensional vectorization framework
Simon Moll 0001 +3 more
openaire +1 more source