Results 101 to 110 of about 10,356 (199)

LLVMTA: An LLVM-Based WCET Analysis Tool

, 2022
We present llvmta, an academic WCET analysis tool based on the LLVM compiler infrastructure. It aims to enable the evaluation of novel WCET analysis approaches in a state-of-the-art analysis framework without dealing with the complexity of modeling real-world hardware architectures.
Hahn, Sebastian, Jacobs, Michael, Hölscher, Nils, Chen, Kuan-Hsun, Chen, Jian-Jia, Reineke, Jan   +5 more
openaire   +3 more sources

Classification of Obfuscation Techniques in LLVM IR: Machine Learning on Vector Representations

Machine Learning and Knowledge Extraction
We present a novel methodology for classifying code obfuscation techniques in LLVM IR program embeddings. We apply isolated and layered code obfuscations to C source code using the Tigress obfuscator, compile them to LLVM IR, and convert each IR code ...
Sebastian Raubitzek, Patrick Felbauer, Kevin Mallinger, Sebastian Schrittwieser   +3 more
doaj   +1 more source

Sequre: a high-performance framework for secure multiparty computation enables biomedical data sharing. [PDF]

Genome Biol, 2023
Smajlović H, Shajii A, Berger B, Cho H, Numanagić I.   +4 more
europepmc   +1 more source

CoMeT: Configurable Tagged Memory Extension. [PDF]

Sensors (Basel), 2021
Lee J, Pratama D, Kim M, Kim H, Kwon D.
europepmc   +1 more source

A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices. [PDF]

Sensors (Basel), 2022
Culic I, Vochescu A, Radovici A.
europepmc   +1 more source

MaLiAmPi enables generalizable and taxonomy-independent microbiome features from technically diverse 16S-based microbiome studies. [PDF]

Cell Rep Methods, 2023
Minot SS, Garb B, Roldan A, Tang AS, Oskotsky TT, Rosenthal C, Hoffman NG, Sirota M, Golob JL.   +8 more
europepmc   +1 more source

Generating Verified LLVM from Isabelle/HOL

, 2019
We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code generator that generates LLVM text from a simplified fragment of LLVM, shallowly embedded into Isabelle/HOL. On top, we have developed a separation logic, a verification condition generator, and an LLVM backend to the Isabelle Refinement Framework.
openaire   +3 more sources

LLVM-C2RTL: C/C++ Based System Level RTL Design Framework Using LLVM Compiler Infrastructure

IPSJ Transactions on System and LSI Design Methodology, 2023
Tamon Sadasue, Tsuyoshi Isshiki
openaire   +1 more source

The SoftWipe tool and benchmark for assessing coding standards adherence of scientific software. [PDF]

Sci Rep, 2021
Zapletal A, Höhler D, Sinz C, Stamatakis A.   +3 more
europepmc   +1 more source