Results 181 to 190 of about 10,440 (199)

Formalizing the LLVM intermediate representation for verified program transformations

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

Formal verification of SSA-based optimizations for LLVM

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

LLVM ARM Toolchain

2014
openaire   +1 more source

2021 IEEE/ACM 7th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC)

2021
openaire   +1 more source

2016 Third Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC)

2016
openaire   +1 more source

Reconciling high-level optimizations and low-level code in LLVM

2018
Nuno P Lopes
exaly  

A Two-Stage LLVM Option Sequence Optimization Method to Minimize Energy Consumption

Swarm and Evolutionary Computation
Liyan Song
exaly  

P4LLVM: An LLVM Based P4 Compiler

2018
Ramakrishna Upadrasta
exaly  

LLVM-based automation of memory decoupling for OpenCL applications on FPGAs

Microprocessors and Microsystems, 2020
exaly  

Crellvm: verified credible compilation for LLVM

ACM SIGPLAN Notices, 2018
exaly