Results 231 to 240 of about 5,396 (256)

Building LLVM and GCC, with Amake

2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), 2022
openaire   +1 more source

LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM

IEEE Transactions on Reliability, 2022
Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao   +4 more
semanticscholar   +1 more source

LLVMTA: An LLVM-Based WCET Analysis Tool

Worst-Case Execution Time Analysis, 2022
S. Hahn, Michael Jacobs, N. Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, J. Reineke   +5 more
semanticscholar   +1 more source

LLVM-drone: A synergistic framework integrating large language models and vision models for visual tasks in unmanned aerial vehicles

Knowledge-Based Systems
Yibiao Hu, You Zhou, Zhen Zhu, Xi Yang, Han Zhang, Kun Bian, Hong Han   +6 more
semanticscholar   +1 more source

Obfuscating LLVM IR with the Application of Lambda Calculus

Lecture Notes in Computer Science, 2023
Rei Kasuya, Noriaki Yoshiura, Yoshiura Noriaki   +2 more
exaly  

A Case Study of LLVM-Based Analysis for Optimizing SIMD Code Generation

Lecture Notes in Computer Science, 2021
Joseph Huber, Weile Wei, Giorgis Georgakoudis   +2 more
exaly  

DivSIM , an interactive simulator for LLVM bitcode

International Journal on Software Tools for Technology Transfer (STTT), 2022
P. Ročkai, J. Barnat
semanticscholar   +1 more source

Formalizing the concurrency semantics of an LLVM fragment

2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2017
Chakraborty, S., Vafeiadis, V.
openaire   +3 more sources

Raising MIPS Binaries to LLVM IR

2021
Sandeep Romana, Anil D. Bandgar, Mohit Kumar, Mahesh Uttam Patil, P. R. Lakshmi Eswari   +4 more
openaire   +1 more source

Formal verification of SSA-based optimizations for LLVM

ACM SIGPLAN Notices, 2013
Jianzhou Zhao, Santosh Nagarakatte, Steve Zdancewic   +2 more
exaly