Results 11 to 20 of about 5,396 (256)
Genetic Improvement of LLVM Intermediate Representation [PDF]
European Conference on Genetic Programming, 2023 Evolving LLVM IR is widely applicable, with LLVM Clang offering support for an increasing range of computer hardware and programming languages. Local search mutations are used to hill climb industry C code released to support geographic open standards: Open Location Code (OLC) from Google and Uber's Hexagonal Hierarchical Spatial Index (H3), giving up ...
William B. Langdon +3 more
semanticscholar +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
K-LLVM: A Relatively Complete Semantics of LLVM IR. [PDF]
, 2020 LLVM [Lattner and Adve, 2004] is designed for the compile-time, link-time and run-time optimization of programs written in various programming languages. The language supported by LLVM targeted by modern compilers is LLVM IR [llvm.org, 2018]. In this paper we define K-LLVM, a reference semantics for LLVM IR.
Liyi Li 0002, Elsa L. Gunter
openaire +4 more sources
Machine Learning-Based Vulnerability Detection in Rust Code Using LLVM IR and Transformer Model
Machine Learning and Knowledge ExtractionRust’s growing popularity in high-integrity systems requires automated vulnerability detection in order to maintain its strong safety guarantees. Although Rust’s ownership model and compile-time checks prevent many errors, sometimes unexpected bugs may ...
Young Lee +4 more
doaj +2 more sources
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
Modular, compositional, and executable formal semantics for LLVM IR
Proc. ACM Program. Lang., 2021 This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on monadic ...
Yannick Zakowski +2 more
exaly +2 more sources
, 2019 SKilL is an open source system for the platform- and language-independent serialization of intermediate representations. It consists of a specification language, a binary data format and a tool for generating language bindings. The LLVM project is an open source infrastructure for the development of compilers.
Pfister, Daniel
openaire +3 more sources
Register Allocation for Compressed ISAs in LLVM
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023 We present an adaptation to the LLVM greedy register allocator to improve code density for compressed RISC ISAs. Many RISC architectures have extensions defining smaller encodings for common instructions, typically 16 rather than 32 bits wide.
Fried, Andreas +2 more
openaire +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
IEEE AccessThe demand for Artificial Intelligence (AI) based solutions is exponentially increasing in all application fields, including low-power devices on the edge.
Karthikeyan Kalyanasundaram Balasubramanian +4 more
doaj +2 more sources