Results 181 to 190 of about 3,335 (212)
Some of the next articles are maybe not open access.

An llVM backend for GHC

ACM SIGPLAN Notices, 2010
In the presence of ever-changing computer architectures, high-quality optimising compiler backends are moving targets that require specialist knowledge and sophisticated algorithms. In this paper, we explore a new backend for the Glasgow Haskell Compiler (GHC) that leverages the Low Level Virtual Machine (LLVM) , a ...
David A. Terei, Manuel M.T. Chakravarty
openaire   +1 more source

P4LLVM: An LLVM Based P4 Compiler

2018 IEEE 26th International Conference on Network Protocols (ICNP), 2018
We propose P4LLVM, an LLVM based P4 compiler for achieving better optimizations to improve the runtime performance of the network. The front-end of P4LLVM converts P4-16's code to LLVM's Intermediate Representation (IR). This IR is passed through various optimizations of LLVM and is translated to JSON for targeting a BMV2 Switch.
Ramakrishna Upadrasta
exaly   +3 more sources

ErLLVM

Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop, 2012
This paper describes ErLLVM, a new backend for the HiPE compiler, the native code compiler of Erlang/OTP, that targets the LLVM compiler infrastructure. Besides presenting the overall architecture of ErLLVM and its integration in Erlang/OTP, we describe the changes to LLVM that ErLLVM required and discuss technical challenges and decisions we took ...
Konstantinos Sagonas   +2 more
openaire   +2 more sources

Translating ETC to LLVM Assembly

2009
The LLVM compiler infrastructure project provides a machine independent virtual instruction set, along with tools for its optimisation and compilation to a wide range of machine architectures. Compiler writers can use the LLVM's tools and instruction set to simplify the task of supporting multiple hardware/software platforms.
openaire   +1 more source

The LLVM Compiler Framework and Infrastructure Tutorial

2005
The LLVM Compiler Infrastructure (http://llvm.cs. uiuc.edu) is a robust system that is well suited for a wide variety of research and development work. This brief paper introduces the LLVM system and provides pointers to more extensive documentation, complementing the tutorial presented at LCPC.
Chris Lattner, Vikram S. Adve
openaire   +2 more sources

Tutorial: LLVM for Security Practitioners

2022 IEEE Secure Development Conference (SecDev), 2021
John Criswell   +2 more
openaire   +2 more sources

Bounded Model Checking for LLVM

2022
Siddharth Priya   +5 more
openaire   +2 more sources

Building LLVM and GCC, with Amake

2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), 2022
openaire   +2 more sources

A Case Study of LLVM-Based Analysis for Optimizing SIMD Code Generation

Lecture Notes in Computer Science, 2021
Johannes Doerfert   +2 more
exaly  

Modular, Compositional, and Executable Formal Semantics for LLVM IR

2021
Vadim Zaliva   +2 more
exaly  

Home - About - Disclaimer - Privacy