Results 201 to 210 of about 5,396 (256)
Some of the next articles are maybe not open access.
LLVM Framework: Research and Applications
2023 19th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD), 2023LLVM is an open-source compiler framework that provides flexible, modular and reusable compiler components for building compilers, static analysis tools, code optimizers and more.
Chenyang Li, Jiye Jiao
exaly +3 more sources
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
Alive2: bounded translation validation for LLVM
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021 We designed, implemented, and deployed Alive2: a bounded translation validation tool for the LLVM compiler’s intermediate representation (IR). It limits resource consumption by, for example, unrolling loops up to some bound, which means there are ...
Nuno P. Lopes +4 more
semanticscholar +2 more sources
Digital Watermarks for LLVM Intermediate Representation
2019 IEEE 8th Global Conference on Consumer Electronics (GCCE), 2019We propose several methods to embed digital watermarks in LLVM intermediate representation. Digital watermarks are embedded by modification of LLVM IRs. These methods realize digital watermarks that are independent of project's development language and its target platforms.
Hiroyuki Inaba
exaly +2 more sources
Bounded Model Checking for LLVM
Formal Methods in Computer-Aided Design, 2022Siddharth Priya +5 more
openaire +2 more sources
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers
International Conference on Automated Software Engineering, 2023Optimizing compilers are as ubiquitous as they are crucial to software development. However, bugs in compilers are not uncommon. Among the most serious are bugs in compiler optimizations, which can cause unexpected behavior in compiled binaries. Existing
Eric Liu, Shengjie Xu, David Lie
semanticscholar +1 more source
2023
Creating software that is secure against reverse engineering, tampering, and malicious modification is an ongoing research problem. Reverse engineers employ a variety of attack methods to understand how software works, steal intellectual property, or inject their own malicious code.
Daniel Dinu, Anup Das
openaire +1 more source
Creating software that is secure against reverse engineering, tampering, and malicious modification is an ongoing research problem. Reverse engineers employ a variety of attack methods to understand how software works, steal intellectual property, or inject their own malicious code.
Daniel Dinu, Anup Das
openaire +1 more source
Formalizing the LLVM intermediate representation for verified program transformations
ACM SIGPLAN Notices, 2012 This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed in LLVM\u27s intermediate representation and transformations that operate on it.
Jianzhou Zhao +2 more
exaly +3 more sources
llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata
LLVM frontends like Clang preserve source-level type information in the intermediate representation (IR) primarily through debug metadata. Although intended for debuggers, this metadata benefits compiler tools like sanitizers, which need type information
Alexander Huck +2 more
exaly +2 more sources
Weak Memory Models as LLVM-to-LLVM Transformations
2016Data races are among the most difficult software bugs to discover. They arise from multiple threads accessing the same memory location, a situation which is often hard to discern from source code alone. Detection of such bugs is further complicated by individual CPUs' use of relaxed memory models. As a matter of fact, proving absence of data races is a
Vladimír Still +2 more
openaire +1 more source