Results 1 to 10 of about 10,356 (199)
Development of a Translator from LLVM to ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystems whose top-level assurance relies on the assurance of the individual ...
David S. Hardin +3 more
doaj +4 more sources
Compiling with Continuations and LLVM [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 LLVM is an infrastructure for code generation and low-level optimizations, which has been gaining popularity as a backend for both research and industrial compilers, including many compilers for functional languages. While LLVM provides a relatively easy
Kavon Farvardin, John Reppy
doaj +4 more sources
Connection Science, 2023 Compiler optimization presents a formidable challenge, seeking to enhance code quality through various techniques. One significant obstacle is the phase-ordering problem, where the sequence of optimization algorithms can impact code quality and ...
YungYu Zhuang
exaly +3 more sources
CaLLi: OCaml library for static analysis of LLVM bitcode
SoftwareXAs LLVM has matured, several third-party static analysis frameworks targeting LLVM bitcode have emerged. However, because these frameworks are written in one of the traditional object-oriented languages such as C++ and Java, developing new analysis tools
Soyeon Baek, Sungho Lee
exaly +3 more sources
, 2019 In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for source-level ...
A Groce +6 more
core +2 more sources
IEEE AccessThe demand for Artificial Intelligence (AI) based solutions is exponentially increasing in all application fields, including low-power devices on the edge.
Walter Rocchia +2 more
exaly +3 more sources
Dynamic profile collection for LLVM
Труды Института системного программирования РАН, 2018 One has to harness dynamic and adaptive recompilation methods when designing the system for general-purpose languages compilation which takes into account the specific factors of target hardware and the most likely way of usage.
A. I. Avetisyan +2 more
doaj +1 more source
Back-end porting of FT_MX based on LLVM compilation architecture [PDF]
MATEC Web of Conferences, 2021 The processor FT_MX is a high-performance chip independently developed by the National University of Defense Technology, with an innovative architecture and instruction set.
Deng Ping +3 more
doaj +1 more source
Reasoning About LLVM Code Using Codewalker [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Lisp
David S. Hardin
doaj +1 more source
Parallel Extraction of Program Analysis Information on LLVM Based on GPU [PDF]
Jisuanji gongcheng, 2017 Low Level Virtual Machine(LLVM) Intermediate Representation(IR) contains a lot of original program analysis information.The traditional information extraction method is based on the serial loop iterations under CPU.When dealing with large-scale programs ...
MA Dongdong,ZHONG Lujie,ZHU Jingru
doaj +1 more source