Results 191 to 200 of about 3,335 (212)

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

Razvojna okolina LLVM

2010
LLVM je kompilatorski sustav koji uz implementaciju suvremenih kompilatorskih strategija pridodaje posebnu pažnju optimizaciji i analizi programa. Sustav je izgrađen kao skup međusobno odvojenih komponenata i omogućuje različite primjene. LLVM pruža svoju jezično neovisnu reprezentaciju jezika sa svojim skupom instrukcija.
openaire   +1 more source

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
Santosh Nagarakatte, Jianzhou Zhao, Steve Zdancewic   +2 more
exaly  

Code Obfuscation with LLVM: An Analysis of the Impact of the LLVM Version

Alberto Valderas-González, Francisco J. Rosa, José Miguel Aragón-Jurado, Juan Carlos de la Torre, Bernabé Dorronsoro   +4 more
openaire   +1 more source

Towards Understanding Tool-Chain Bugs in the LLVM Compiler Infrastructure

2021
Xiaoyuan Xie
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   +2 more sources

Reconciling High-Level Optimizations and Low-Level Code in LLVM

2018
John Regehr, Nuno Lopes, Ralf Jung
exaly  

Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища

Proceedings of the Institute for System Programming of RAS, 2014
Sevak Sargsyan
exaly  

Mull It Over: Mutation Testing Based on LLVM

2018
Alex Denisov
exaly