Results 211 to 220 of about 5,396 (256)

CTOS: Compiler Testing for Optimization Sequences of LLVM

IEEE Transactions on Software Engineering, 2021
Optimization sequences are often employed in compilers to improve the performance of programs, but may trigger critical compiler bugs, e.g., compiler crashes.
He Jiang, Zhide Zhou, Zhilei Ren, Jingxuan Zhang, Xiaochen Li   +4 more
semanticscholar   +1 more source

Representing LLVM-IR in a Code Property Graph

Information Security Conference, 2022
In the past years, a number of static application security testing tools have been proposed which make use of so-called code property graphs, a graph model which keeps rich information about the source code while enabling its user to write language ...
Alexander Kuechler, Christian Banse
semanticscholar   +1 more source

Toward Register Spilling Security Using LLVM and ARM Pointer Authentication

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
Modern reduced instruction set computer processors are based on a load/store architecture, where all computations are performed on register operands.
Andrea Fanti, Carlos Chinea Perez, Rémi Denis-Courmont, Gianluca Roascio, Jan-Erik Ekberg   +4 more
semanticscholar   +1 more source

Tutorial: LLVM for Security Practitioners

2020 IEEE Secure Development (SecDev), 2020
Many security researchers need to build tools that analyze and transform code. For example, researchers may want to build security hardening tools, tools that find vulnerabilities within software, or tools that prove that a program is invulnerable to attack.
openaire   +1 more source

LLVM code optimisation for automatic differentiation: when forward and reverse mode lead in the same direction

DEEM@SIGMOD, 2022
Both forward and reverse mode automatic differentiation derive a model function as used for gradient descent automatically. Reverse mode calculates all derivatives in one run, whereas forward mode requires rerunning the algorithm with respect to every ...
Maximilian E. Schüle, M. Springer, A. Kemper   +2 more
semanticscholar   +1 more source

Type-Alias Analysis: Enabling LLVM IR with Accurate Types

Proc. ACM Softw. Eng.
LLVM Intermediate Representation (IR) underpins the LLVM compiler infrastructure, offering a strong type system and a static single-assignment (SSA) form that are well-suited for program analysis.
Jinmeng Zhou, Ziyue Pan, Wenbo Shen, Xingkai Wang, Kangjie Lu, Zhiyun Qian   +5 more
semanticscholar   +1 more source

The Support of MLIR HLS Adaptor for LLVM IR

ICPP Workshops, 2022
Since the emergence of MLIR, High-level Synthesis (HLS) tools started to design in multi-level abstractions. Unlike the traditional HLS tools that are based on a single abstraction (e.g.
Geng-Ming Liang, Chuan-Yue Yuan, Meng-Shiun Yuan, Tai-Liang Chen, Kuan-Hsun Chen, Jenq-Kuen Lee   +5 more
semanticscholar   +1 more source

Language-parametric compiler validation with application to LLVM

International Conference on Architectural Support for Programming Languages and Operating Systems, 2021
We propose a new design for a Translation Validation (TV) system geared towards practical use with modern optimizing compilers, such as LLVM. Unlike existing TV systems, which are custom-tailored for a particular sequence of transformations and a ...
T. Kasampalis, D. Park, Zhengyao Lin, V. Adve, Grigore Roşu   +4 more
semanticscholar   +1 more source

Heterogeneous Computation Migration on LLVM

2016
In past decades, the development of mobile applications was limited due to lack of enough computational power. To resolve this problem, the framework of mobile cloud computing (MCC) was proposed for offloading the massive computation tasks of mobile applications onto cloud centers for execution.
Tyng-Yeu Liang, Yu-Jie Lin
openaire   +1 more source

Seal5: Semi-Automated LLVM Support for RISC-V ISA Extensions Including Autovectorization

Euromicro Symposium on Digital Systems Design
The RISC-V instruction set architecture (ISA) is popular for its extensibility, allowing easy integration of custom vendor-defined instructions tailored to specific applications.
Philipp van Kempen, Mathis Salmen, Daniel Mueller-Gritschneder, Ulf Schlichtmann   +3 more
semanticscholar   +1 more source