Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Simon Moll 0001, Shrey Sharma, Matthias Kurtenacker, Sebastian Hack |
Multi-dimensional Vectorization in LLVM. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Petr Rockai, Jiri Barnat |
A Simulator for LLVM Bitcode. |
FMICS |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Kengo Jingu, Kohta Shigenobu, Kanemitsu Ootsu, Takeshi Ohkawa, Takashi Yokota |
Directive-Based Parallelization of For-Loops at LLVM IR Level. |
SNPD |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Peter Lammich |
Generating Verified LLVM from Isabelle/HOL. |
ITP |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Fornaia, Stefano Scafiti, Emiliano Tramontana |
JSCAN: Designing an Easy to use LLVM-Based Static Analysis Framework. |
WETICE |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert 0001 |
Analyzing control flow integrity with LLVM-CFI. |
ACSAC |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Barchi, Gianvito Urgese, Enrico Macii, Andrea Acquaviva |
Code Mapping in Heterogeneous Platforms Using Deep Learning and LLVM-IR. |
DAC |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ryoga Nagayama, Lu Chen, Hiroyuki Inaba |
Digital Watermarks for LLVM Intermediate Representation. |
GCCE |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Yuxin Sun, Yingzhou Zhang, Junyan Qian |
Program Slicing Method of LLVM IR Based on Information-Flow Analysis. |
CyberC |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Juneyoung Lee, Chung-Kil Hur, Ralf Jung 0002, Zhengyang Liu 0003, John Regehr, Nuno P. Lopes |
Reconciling high-level optimizations and low-level code in LLVM. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Chungha Sung, Brandon Paulsen, Chao Wang 0001 |
CANAL: A Cache Timing Analysis Framework via LLVM Transformation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Martina Vitovská, Marek Chalupa, Jan Strejcek |
SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
19 | Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat |
DiVM: Model checking with LLVM and graph memory. |
J. Syst. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jannis Klinkenberg, Philipp Samfass, Christian Terboven, Alejandro Duran, Michael Klemm, Xavier Teruel, Sergi Mateo, Stephen L. Olivier, Matthias S. Müller |
Assessing Task-to-Data Affinity in the LLVM OpenMP Runtime. |
IWOMP |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Du Shen, Shuaiwen Leon Song, Ang Li 0006, Xu Liu 0001 |
CUDAAdvisor: LLVM-based runtime profiling for modern GPUs. |
CGO |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez |
Statistical Model Checking of LLVM Code. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Alex Denisov, Stanislav Pankevich |
Mull It Over: Mutation Testing Based on LLVM. |
ICST Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Yongseung Yu, Seokwon Kang, Yongjun Park 0001 |
Runtime Profiling of OpenCL Workloads Using LLVM-based Code Instrumentation. |
TENCON |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi |
Crellvm: verified credible compilation for LLVM. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Juan Carlos de la Torre, Patricia Ruiz, Bernabé Dorronsoro, Pedro L. Galindo |
Analyzing the Influence of LLVM Code Optimization Passes on Software Performance. |
IPMU (3) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto |
Map2Check Using LLVM and KLEE - (Competition Contribution). |
TACAS (2) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Tharun Kumar Dangeti, Venkata Keerthy S, Ramakrishna Upadrasta |
P4LLVM: An LLVM Based P4 Compiler. |
ICNP |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Kengo Jingu, Kohta Shigenobu, Kanemitsu Ootsu, Takeshi Ohkawa, Takashi Yokota |
An Implementation of LLVM Pass for Loop Parallelization Based on IR-Level Directives. |
CANDAR Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Farah Hariri, August Shi |
SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Chungha Sung, Brandon Paulsen, Chao Wang 0001 |
CANAL: a cache timing analysis framework via LLVM transformation. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Paul Muntean, Sebastian Wuerl, Jens Grossklags, Claudia Eckert 0001 |
CastSan: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM. |
ESORICS (1) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Nikita Kataev |
Application of the LLVM Compiler Infrastructure to the Program Analysis in SAPFOR. |
RuSCDays |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Di Federico |
rev.ng: A Tale of Reverse Engineering, Dynamic Analysis and Translation of Binaries Using QEMU and LLVM. |
CS2@HiPEAC |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Lester Kalms, Tim Hebbeler, Diana Göhringer |
Automatic OpenCL Code Generation from LLVM-IR using Polyhedral Optimization. |
PARMA-DITAM@HiPEAC |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Zhengrong Wang |
An LLVM-IR Datagraph-Based Simulator for Flexible Design Space Exploration over Accelerator Architectures. |
|
2018 |
RDF |
|
19 | Ronny Tschüter, Johannes Ziegenbalg, Bert Wesarg, Matthias Weber 0002, Christian Herold, Sebastian Döbel, Ronny Brendel |
An LLVM Instrumentation Plug-in for Score-P. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Petr Rockai, Jiri Barnat |
A Simulator for LLVM Bitcode. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Michal Gregor, Juraj Spalek |
Using LLVM-based JIT Compilation in Genetic Programming. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Petr Rockai, Ivana Cerná, Jiri Barnat |
DiVM: Model Checking with LLVM and Graph Memory. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
19 | Shufang Li, Jinxia An, Yang Liu, Liang Chen |
采用Clang/LLVM的C++源代码覆盖率分析插装方法 (Approach to C++ Code Instrumentation for Coverage Analysis with Clang/LLVM). |
计算机科学 |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Weizhe Zhang, Meng Hao, Marc Snir |
Predicting HPC parallel program performance based on LLVM compiler. |
Clust. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Dennis Butterstein, Torsten Grust |
Invest Once, Save a Million Times - LLVM-based Expression Compilation in PostgreSQL. |
BTW |
2017 |
DBLP BibTeX RDF |
|
19 | Piotr Padlewski |
Devirtualization in LLVM. |
SPLASH (Companion Volume) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Xue Yao, Bin Li, Yahong Sun |
A User-Defined Code Reinforcement Technology Based on LLVM-Obfuscator. |
CSA/CUTE |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jihun Kim 0005, Kwangman Ko, Jonghee M. Youn |
Building the De-obfuscation Platform Based on LLVM. |
CSA/CUTE |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Soham Chakraborty 0001, Viktor Vafeiadis |
Formalizing the concurrency semantics of an LLVM fragment. |
CGO |
2017 |
DBLP BibTeX RDF |
|
19 | Kevin Kirchner, Stefan Rosenthaler |
bin2llvm: Analysis of Binary Programs Using LLVM Intermediate Representation. |
ARES |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Kyeonghwan Lim, Jaemin Jeong, Seong-je Cho, Jongmoo Choi, Minkyu Park, Sangchul Han, Seongtae Jhang |
An Anti-Reverse Engineering Technique using Native code and Obfuscator-LLVM for Android Applications. |
RACS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Alexis Engelke, Josef Weidendorfer |
Using LLVM for Optimized Lightweight Binary Re-Writing at Runtime. |
IPDPS Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
Taming undefined behavior in LLVM. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
19 | David Menendez, Santosh Nagarakatte |
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Chun-Chieh Yang, Shao-Chung Wang, Min-Yih Hsu, Yuan-Ming Chang, Yuan-Shin Hwang, Jenq-Kuen Lee |
OpenCL 2.0 Compiler Adaptation on LLVM for PTX Simulators. |
ICPP Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo Marugán |
Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). |
TACAS (2) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Baojiang Cui, Qi Zhao, Tianyu Liu |
Study on Android Native Layer Code Protection Based on Improved O-LLVM. |
IMIS |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Kohta Shigenobu, Kanemitsu Ootsu, Takeshi Ohkawa, Takashi Yokota |
A Translation Method of ARM Machine Code to LLVM-IR for Binary Code Parallelization and Optimization. |
CANDAR |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Tao B. Schardl, William S. Moses, Charles E. Leiserson |
Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation. |
PPoPP |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Olli Saarikivi, Keijo Heljanko |
LCTD: Test-guided proofs for C programs on LLVM. |
J. Log. Algebraic Methods Program. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Andres Nötzli, Fraser Brown |
LifeJacket: Verifying precise floating-point optimizations in LLVM. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | David Menendez, Santosh Nagarakatte |
Precondition Inference for Peephole Optimizations in LLVM. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
19 | Kavon Farvardin, John H. Reppy |
Compiling with Continuations and LLVM. |
ML/OCAML |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Dennis Butterstein, Torsten Grust |
Precision Performance Surgery for PostgreSQL: LLVM-based Expression Compilation, Just in Time. (PDF / PS) |
Proc. VLDB Endow. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu |
MLSA: a static bugs analysis tool based on LLVM IR. |
Int. J. Networked Distributed Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck |
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle. |
VMIL@SPLASH |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hao-Wei Peng, Jean Jyh-Jiun Shann |
Translating OpenACC to LLVM IR with SPIR kernels. |
ICIS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Michael Adriaansen, Mark Wijtvliet, Roel Jordans, Luc Waeijen, Henk Corporaal |
Code Generation for Reconfigurable Explicit Datapath Architectures with LLVM. |
DSD |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Daniele Cono D'Elia, Camil Demetrescu |
Flexible on-stack replacement in LLVM. |
CGO |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Yulei Sui, Jingling Xue |
SVF: interprocedural static value-flow analysis in LLVM. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Tyng-Yeu Liang, Yu-Jie Lin |
Heterogeneous Computation Migration on LLVM. |
GPC |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck |
Sulong - execution of LLVM-based languages on the JVM: position paper. |
ICOOOLPS@ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Andres Nötzli, Fraser Brown |
LifeJacket: verifying precise floating-point optimizations in LLVM. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
19 | David Menendez, Santosh Nagarakatte, Aarti Gupta |
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. |
SAS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu |
MLSA: A static bugs analysis tool based on LLVM IR. |
SNPD |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Chengnian Sun, Vu Le 0002, Qirun Zhang, Zhendong Su 0001 |
Toward understanding compiler bugs in GCC and LLVM. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Olli Saarikivi, Keijo Heljanko |
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Marangoni, Thomas Wischgoll |
Paper: Togpu: Automatic Source Transformation from C++ to CUDA using Clang/LLVM. |
Visualization and Data Analysis |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Maha Kooli, Giorgio Di Natale, Alberto Bosio |
Cache-aware reliability evaluation through LLVM-based analysis and fault injection. |
IOLTS |
2016 |
DBLP DOI BibTeX RDF |
|
19 | David Menendez, Santosh Nagarakatte |
Termination-checking for LLVM peephole optimizations. |
ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado |
Týr: A Dependent Type System for Spatial Memory Safety in LLVM. |
WEIT |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Pablo de Oliveira Castro, Chadi Akel, Eric Petit 0002, Mihail Popov, William Jalby |
CERE: LLVM-Based Codelet Extractor and REplayer for Piecewise Benchmarking and Optimization. |
ACM Trans. Archit. Code Optim. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | V. K. Koshelev, A. O. Izbyshev, I. A. Dudina |
Interprocedural taint analysis for LLVM-bitcode. |
Program. Comput. Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder |
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
19 | David S. Hardin |
Reasoning About LLVM Code Using Codewalker. |
ACL2 |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder |
Static analysis of energy consumption for LLVM IR programs. |
SCOPES |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Roel Jordans, Henk Corporaal |
High-level software-pipelining in LLVM. |
SCOPES |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang 0001, Shi-Min Hu 0001 |
Complete Runtime Tracing for Device Drivers Based on LLVM. |
COMPSAC |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder |
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. |
FOPARA |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Christian Schafmeister |
CLASP: Common Lisp + LLVM + C++. |
ELS |
2015 |
DBLP BibTeX RDF |
|
19 | Robert D. Cameron, Nigel Medforth, Dan Lin 0003, Dale Denis, William N. Sumner |
Bitwise Data Parallelism with LLVM: The ICgrep Case Study. |
ICA3PP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Junxian Zhang, Zhoujun Li 0001, Xianchen Zheng |
PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation. |
SETTA |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Pascal Junod, Julien Rinaldini, Johan Wehrli, Julie Michielin |
Obfuscator-LLVM - Software Protection for the Masses. |
SPRO@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Lavinia Ghica, Nicolae Tapus |
Optimized retargetable compiler for embedded processors - GCC vs LLVM. |
ICCP |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
Type-safe runtime code generation: accelerate to LLVM. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Yu. Drozdov, S. V. Novikov, V. E. Vladislavlev, E. L. Kochetkov, P. V. Il'in |
Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology. |
Program. Comput. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder |
Static energy consumption analysis of LLVM IR programs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
19 | Michael Kruse |
Introducing Molly: Distributed Memory Parallelization with LLVM. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
19 | David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg |
Development of a Translator from LLVM to ACL2. |
ACL2 |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Teja Tamboli, Thomas H. Austin, Mark Stamp 0001 |
Metamorphic code generation from LLVM bytecode. |
J. Comput. Virol. Hacking Tech. |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Chanhyun Park, Miseon Han, Hokyoon Lee, Seon Wook Kim |
Performance comparison of GCC and LLVM on the EISC processor. |
ICEIC |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, Úlfar Erlingsson, Luis Lozano, Geoff Pike |
Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM. |
USENIX Security Symposium |
2014 |
DBLP BibTeX RDF |
|
19 | Jon Calhoun 0001, Luke N. Olson, Marc Snir |
FlipIt: An LLVM Based Fault Injector for HPC. |
Euro-Par Workshops (1) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Petr Bauch, Vojtech Havel, Jiri Barnat |
LTL Model Checking of LLVM Bitcode with Symbolic Data. |
MEMICS |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Li-Wei Kuo, Chun-Chieh Yang, Jenq Kuen Lee, Shau-Yin Tseng |
The design of LLVM-based shader compiler for embedded architecture. |
ICPADS |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr. |
LLVM-Based Code Generation for B. |
SBMF |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Yi-Hong Lyu, Ding-Yong Hong, Tai-Yi Wu, Jan-Jan Wu, Wei-Chung Hsu, Pangfeng Liu, Pen-Chung Yew |
DBILL: an efficient and retargetable dynamic binary instrumentation framework using llvm backend. |
VEE |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Gabriel Rodríguez 0001, María J. Martín, Patricia González, Juan Touriño, Ramon Doallo |
Compiler-Assisted Checkpointing of Parallel Codes: The Cetus and LLVM Experience. |
Int. J. Parallel Program. |
2013 |
DBLP DOI BibTeX RDF |
|