Results 161 to 170 of about 406 (180)

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

Formalizing the LLVM intermediate representation for verified program transformations

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

Formal verification of SSA-based optimizations for LLVM

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

Obfuscator-LLVM -- Software Protection for the Masses

2015 IEEE/ACM 1st International Workshop on Software Protection, 2015
Pascal Junod, Julien Rinaldini, Johan Wehrli, Julie Michielin   +3 more
openaire   +1 more source

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

2018
John Regehr, Nuno Lopes, Juneyoung Lee   +2 more
exaly  

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

2016
openaire   +1 more source

AliveInLean: A Verified LLVM Peephole Optimization Verifier

Lecture Notes in Computer Science, 2019
Nuno Lopes, Juneyoung Lee
exaly  

Evaluating value-graph translation validation for LLVM

ACM SIGPLAN Notices, 2011
exaly  

Týr: A Dependent Type System for Spatial Memory Safety in LLVM

Electronic Notes in Theoretical Computer Science, 2016
exaly  

Performance optimizations in an LLVM-based cloud application store

2013
Shamil Kurmangaleev
exaly