Search results for "LLVM"

Hits ?▲	Authors	Title	Venue	Year	Link
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