Results 221 to 230 of about 5,396 (256)

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM

IEEE/ACM International Symposium on Code Generation and Optimization
It is very difficult to thoroughly test a compiler, and as a consequence it is common for released versions of production compilers to contain bugs that cause them to crash and to emit incorrect object code.
Yuyou Fan, John Regehr
semanticscholar   +1 more source

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

Vellvm: Formalizing the Informal LLVM

Lecture Notes in Computer Science
Calvin Beck, Hanxi Chen, Steve Zdancewic   +2 more
exaly   +2 more sources

IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

International Conference on Software Engineering
Modern compilers, such as LLVM, are complex. Due to their complexity, manual testing is unlikely to suffice, yet formal verification is difficult to scale.
Yuyang Rong, Zhanghan Yu, Zhenkai Weng, Stephen Neuendorffer, Hao Chen   +4 more
semanticscholar   +1 more source

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, Chris Stavrakakis, Yiannis Tsiouris   +2 more
openaire   +1 more source

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   +1 more source

Tutorial: LLVM for Security Practitioners

2022 IEEE Secure Development Conference (SecDev), 2021
John Criswell, Ethan Johnson, Colin Pronovost   +2 more
openaire   +1 more source

LLVM: a compilation framework for lifelong program analysis & transformation

International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004
C. Lattner, V. Adve
semanticscholar   +1 more source

Numba: a LLVM-based Python JIT compiler

LLVM '15, 2015
S. Lam, Antoine Pitrou, S. Seibert
semanticscholar   +1 more source