Search results for "LLVM"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Zhide Zhou, He Jiang 0001, Zhilei Ren, Yuting Chen, Lei Qiao	LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM.	IEEE Trans. Reliab.	2022	DBLP DOI BibTeX RDF
19	Andrea Fanti, Carlos Chinea Perez, Rémi Denis-Courmont, Gianluca Roascio, Jan-Erik Ekberg	Toward Register Spilling Security Using LLVM and ARM Pointer Authentication.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
19	Petr Rockai, Jiri Barnat	DivSIM , an interactive simulator for LLVM bitcode.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
19	He Jiang 0001, Zhide Zhou, Zhilei Ren, Jingxuan Zhang, Xiaochen Li	CTOS: Compiler Testing for Optimization Sequences of LLVM.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
19	Pradnya Khalate, Xin-Chuan Wu, Shavindra P. Premaratne, Justin Hogaboam, Adam Holmes, Albert T. Schmitz, Gian Giacomo Guerreschi, Xiang Zou, Anne Y. Matsuura	An LLVM-based C++ Compiler Toolchain for Variational Hybrid Quantum-Classical Algorithms and Quantum Accelerators.	CoRR	2022	DBLP BibTeX RDF
19	Shuyue Stella Li, Hannah Peeler, Andrew N. Sloss, Kenneth N. Reid, Wolfgang Banzhaf	Genetic Improvement in the Shackleton Framework for Optimizing LLVM Pass Sequences.	CoRR	2022	DBLP DOI BibTeX RDF
19	Sandya Mannarswamy, Dibyendu Das	Learning to Combine Instructions in LLVM Compiler.	CoRR	2022	DBLP BibTeX RDF
19	Alexander Küchler, Christian Banse	Representing LLVM-IR in a Code Property Graph.	CoRR	2022	DBLP DOI BibTeX RDF
19	Hannah Peeler, Shuyue Stella Li, Andrew N. Sloss, Kenneth N. Reid, Yuan Yuan 0004, Wolfgang Banzhaf	Optimizing LLVM Pass Sequences with Shackleton: A Linear Genetic Programming Framework.	CoRR	2022	DBLP BibTeX RDF
19	Jyun-Kai Lai, Wuu Yang	Hyperchaining for LLVM-Based Binary Translators on the x86-64 Platform.	J. Signal Process. Syst.	2022	DBLP DOI BibTeX RDF
19	Maximilian P. L. Haslbeck, Peter Lammich	For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM.	ACM Trans. Program. Lang. Syst.	2022	DBLP DOI BibTeX RDF
19	Angelo Matni, Enrico Armenio Deiana, Yian Su, Lukas Gross, Souradip Ghosh, Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Ishita Chaturvedi, Brian Homerding, Tommy McMichen, David I. August, Simone Campanoni	NOELLE Offers Empowering LLVM Extensions.	CGO	2022	DBLP DOI BibTeX RDF
19	Lavinia Miranda, Monica Pereira, Jorgiano Vidal	LLVM-ACT: Profiling Based Tool for Approximate Computing Technique Selection.	SBESC	2022	DBLP DOI BibTeX RDF
19	Wei Li, Xiaohui Luo, Yiran Zhang, Qingkai Meng, Fengyuan Ren	CrossDBT: An LLVM-Based User-Level Dynamic Binary Translation Emulator.	Euro-Par	2022	DBLP DOI BibTeX RDF
19	Maximilian E. Schüle, Maximilian Springer, Alfons Kemper, Thomas Neumann 0001	LLVM code optimisation for automatic differentiation: when forward and reverse mode lead in the same direction.	DEEM@SIGMOD	2022	DBLP DOI BibTeX RDF
19	Alexandre Singer, Frank Gao, Kai-Ting Amy Wang	SYCLops: A SYCL Specific LLVM to MLIR Converter.	IWOCL	2022	DBLP DOI BibTeX RDF
19	Sebastian Hahn 0001, Michael Jacobs 0002, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke 0001	LLVMTA: An LLVM-Based WCET Analysis Tool.	WCET	2022	DBLP DOI BibTeX RDF
19	John Criswell, Ethan Johnson, Colin Pronovost	Tutorial: LLVM for Security Practitioners.	SecDev	2022	DBLP DOI BibTeX RDF
19	Shuyue Stella Li, Hannah Peeler, Andrew N. Sloss, Kenneth N. Reid, Wolfgang Banzhaf	Genetic improvement in the shackleton framework for optimizing LLVM pass sequences.	GECCO Companion	2022	DBLP DOI BibTeX RDF
19	Hannah Peeler, Shuyue Stella Li, Andrew N. Sloss, Kenneth N. Reid, Yuan Yuan 0004, Wolfgang Banzhaf	Optimizing LLVM pass sequences with shackleton: a linear genetic programming framework.	GECCO Companion	2022	DBLP DOI BibTeX RDF
19	Alexander Küchler, Christian Banse	Representing LLVM-IR in a Code Property Graph.	ISC	2022	DBLP DOI BibTeX RDF
19	Geng-Ming Liang, Chuan-Yue Yuan, Meng-Shiun Yuan, Tai-Liang Chen, Kuan-Hsun Chen, Jenq-Kuen Lee	The Support of MLIR HLS Adaptor for LLVM IR.	ICPP Workshops	2022	DBLP DOI BibTeX RDF
19	Joschua Schilling, Tilo Müller	VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR.	DIMVA	2022	DBLP DOI BibTeX RDF
19	Peter Lammich	Refinement of Parallel Algorithms down to LLVM.	ITP	2022	DBLP DOI BibTeX RDF
19	Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel	Bounded Model Checking for LLVM.	FMCAD	2022	DBLP DOI BibTeX RDF
19	Pietro Ghiglio, Uwe Dolinsky, Mehdi Goli 0001, Kumudha Narasimhan	Improving performance of SYCL applications on CPU architectures using LLVM-directed compilation flow.	PMAM@PPoPP	2022	DBLP DOI BibTeX RDF
19	Da Yan 0002, Wei Wang 0030, Xiaowen Chu 0001	An LLVM-based open-source compiler for NVIDIA GPUs.	PPoPP	2022	DBLP DOI BibTeX RDF
19	Juan Carlos de la Torre, José Miguel Aragón-Jurado, Javier Jareño, Sébastien Varrette, Bernabé Dorronsoro	Obfuscating LLVM Intermediate Representation Source Code with NSGA-II.	CISIS-ICEUTE	2022	DBLP DOI BibTeX RDF
19	Jim Buffenbarger	Building LLVM and GCC, with Amake.	SCAM	2022	DBLP DOI BibTeX RDF
19	Mathias Soeken, Mariia Mykhailova	Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes.	DAC	2022	DBLP DOI BibTeX RDF
19	Yuhan Li, Bin Wen, Haixiao Zheng	Generic O-LLVM Automatic Multi-architecture Deobfuscation Framework Based on Symbolic Execution.	AISS	2022	DBLP DOI BibTeX RDF
19	Yannick Zakowski, Calvin Beck, Irene Yoon 0001, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic	Modular, compositional, and executable formal semantics for LLVM IR.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
19	Angelo Matni, Enrico Armenio Deiana, Yian Su, Lukas Gross, Souradip Ghosh, Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Ishita Chaturvedi, David I. August, Simone Campanoni	NOELLE Offers Empowering LLVM Extensions.	CoRR	2021	DBLP BibTeX RDF
19	Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul D. Hovland, Valerie E. Taylor, Mary W. Hall	Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version).	CoRR	2021	DBLP BibTeX RDF
19	Joseph Huber, Weile Wei, Giorgis Georgakoudis, Johannes Doerfert, Oscar R. Hernandez	A Case Study of LLVM-Based Analysis for Optimizing SIMD Code Generation.	CoRR	2021	DBLP BibTeX RDF
19	Jaehoon Koo, Prasanna Balaprakash, Michael Kruse, Xingfu Wu, Paul D. Hovland, Mary W. Hall	Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations.	CoRR	2021	DBLP BibTeX RDF
19	Vitaly Cheptsov, Alexey Khoroshilov	Dynamic Analysis of ARINC 653 RTOS with LLVM.	CoRR	2021	DBLP BibTeX RDF
19	Tim Heldmann, Thomas Schneider 0003, Oleksandr Tkachenko, Christian Weinert, Hossein Yalame	LLVM-based Circuit Compilation for Practical Secure Computation.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Zhide Zhou, Zhilei Ren, Guojun Gao, He Jiang 0001	An empirical study of optimization bugs in GCC and LLVM.	J. Syst. Softw.	2021	DBLP DOI BibTeX RDF
19	Arie Gurfinkel, Jorge A. Navas	Abstract Interpretation of LLVM with a Region-Based Memory Model.	VSTTE	2021	DBLP DOI BibTeX RDF
19	Alessandro Cornaglia, Alexander Viehl, Oliver Bringmann 0001	Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded Software.	SAMOS	2021	DBLP DOI BibTeX RDF
19	Daniela Novac, Christian Eichler, Michael Philippsen	LLWM & IR-Mark: Integrating Software Watermarks into an LLVM-based Framework.	Checkmate@CCS	2021	DBLP DOI BibTeX RDF
19	Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes	An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.	CAV (2)	2021	DBLP DOI BibTeX RDF
19	Sten Vercammen, Serge Demeyer, Lars Van Roy	Focal Methods for C/C++ via LLVM: Steps Towards Faster Mutation Testing.	BENEVOL	2021	DBLP BibTeX RDF
19	Joseph Huber, Weile Wei, Giorgis Georgakoudis, Johannes Doerfert, Oscar R. Hernandez	A Case Study of LLVM-Based Analysis for Optimizing SIMD Code Generation.	IWOMP	2021	DBLP DOI BibTeX RDF
19	Muhammed Nufail Farooqi, Miquel Pericàs	Vectorized Barrier and Reduction in LLVM OpenMP Runtime.	IWOMP	2021	DBLP DOI BibTeX RDF
19	Jaehoon Koo, Prasanna Balaprakash, Michael Kruse, Xingfu Wu, Paul D. Hovland, Mary W. Hall	Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations.	PMBS	2021	DBLP DOI BibTeX RDF
19	Deshuo Zhao, Bin Liu 0023	Thread-Level Speculation Execution Model Based on LLVM Compiler.	CNIOT	2021	DBLP DOI BibTeX RDF
19	Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio Oliveira Napoli, Vanderson Martins do Rosário	New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure.	SBLP	2021	DBLP DOI BibTeX RDF
19	Xiaoyuan Xie, Haolin Yang, Qiang He 0001, Lin Chen 0015	Towards Understanding Tool-chain Bugs in the LLVM Compiler Infrastructure.	SANER	2021	DBLP DOI BibTeX RDF
19	Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji	PRSafe: Primitive Recursive Function based Domain Specific Language using LLVM.	ICEIC	2021	DBLP DOI BibTeX RDF
19	Maximilian P. L. Haslbeck, Peter Lammich	For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM.	ESOP	2021	DBLP DOI BibTeX RDF
19	Tim Heldmann, Thomas Schneider 0003, Oleksandr Tkachenko, Christian Weinert, Hossein Yalame	LLVM-Based Circuit Compilation for Practical Secure Computation.	ACNS (2)	2021	DBLP DOI BibTeX RDF
19	Sandeep Romana, Anil D. Bandgar, Mohit Kumar, Mahesh Uttam Patil, P. R. Lakshmi Eswari	Raising MIPS Binaries to LLVM IR.	ICISS	2021	DBLP DOI BibTeX RDF
19	Guannan Wei 0001, Shangyin Tan, Oliver Bracevac, Tiark Rompf	LLSC: a parallel symbolic execution compiler for LLVM IR.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
19	Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu 0003, John Regehr	Alive2: bounded translation validation for LLVM.	PLDI	2021	DBLP DOI BibTeX RDF
19	Dimitri Racordon	From ASTs to Machine Code with LLVM.	Programming	2021	DBLP DOI BibTeX RDF
19	John Criswell, Ethan Johnson, Colin Pronovost	Tutorial: LLVM for Security Practitioners.	SecDev	2021	DBLP DOI BibTeX RDF
19	Samuel Riedel, Fabian Schuiki, Paul Scheffler, Florian Zaruba, Luca Benini	Banshee: A Fast LLVM-Based RISC-V Binary Translator.	ICCAD	2021	DBLP DOI BibTeX RDF
19	Efstratios Tiganourias, Michail Mavropoulos, Georgios Keramidas, Vasilios I. Kelefouras, Christos P. Antonopoulos, Nikolaos S. Voros	A Hierarchical Profiler of Intermediate Representation Code based on LLVM.	MECO	2021	DBLP DOI BibTeX RDF
19	Jyun-Kai Lai, Wuu Yang	Hyperchaining Optimizations for an LLVM-Based Binary Translator on x86-64 and RISC-V Platforms.	ICPP Workshops	2021	DBLP DOI BibTeX RDF
19	Johannes Doerfert, Joseph Huber, Melanie Cornelius	Advancing OpenMP Offload Debugging Capabilities in LLVM.	ICPP Workshops	2021	DBLP DOI BibTeX RDF
19	Zsófia Ádám, Gyula Sallai, Ákos Hajdu	Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).	TACAS (2)	2021	DBLP DOI BibTeX RDF
19	Max W. Haslbeck, René Thiemann	An Isabelle/HOL formalization of AProVE's termination method for LLVM IR.	CPP	2021	DBLP DOI BibTeX RDF
19	Theodoros Kasampalis, Daejun Park 0001, Zhengyao Lin, Vikram S. Adve, Grigore Rosu	Language-parametric compiler validation with application to LLVM.	ASPLOS	2021	DBLP DOI BibTeX RDF
19	Alexis Engelke, Dominik Okwieka, Martin Schulz 0001	Efficient LLVM-based dynamic binary translation.	VEE	2021	DBLP DOI BibTeX RDF
19	Abhishek N. Tripathi 0001, Arvind Rajawat	An Accurate and Quick ANN-Based System-Level Dynamic Power Estimation Model Using LLVM IR Profiling for FPGA Designs.	IEEE Embed. Syst. Lett.	2020	DBLP DOI BibTeX RDF
19	Arnab A. Purkayastha, Samuel Rogers, Suhas A. Shiddibhavi, Hamed Tabkhi	LLVM-based automation of memory decoupling for OpenCL applications on FPGAs.	Microprocess. Microsystems	2020	DBLP DOI BibTeX RDF
19	S. VenkataKeerthy, Rohit Aggarwal, Shalini Jain 0002, Maunendra Sankar Desarkar, Ramakrishna Upadrasta, Y. N. Srikant	IR2VEC: LLVM IR Based Scalable Program Embeddings.	ACM Trans. Archit. Code Optim.	2020	DBLP DOI BibTeX RDF
19	Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar 0001, Ilya Sergey	Compiling a Higher-Order Smart Contract Language to LLVM.	CoRR	2020	DBLP BibTeX RDF
19	Piotr Padlewski, Krzysztof Pszeniczny, Richard Smith	Modeling the Invariance of Virtual Pointers in LLVM.	CoRR	2020	DBLP BibTeX RDF
19	Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen	Automatic Verification of LLVM Code.	CoRR	2020	DBLP BibTeX RDF
19	Bruce Collie, Michael F. P. O'Boyle	Retrofitting Symbolic Holes to LLVM IR.	CoRR	2020	DBLP BibTeX RDF
19	Marcelo Mottalli, Gustavo Ajzenman, Carlos Sarraute	Snel: SQL Native Execution for LLVM.	CoRR	2020	DBLP BibTeX RDF
19	Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul D. Hovland, Valerie E. Taylor, Mary W. Hall	Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization.	CoRR	2020	DBLP BibTeX RDF
19	Samuel Rogers, Joshua Slycord, Mohammadreza Baharani, Hamed Tabkhi	gem5-SALAM: A System Architecture for LLVM-based Accelerator Modeling.	MICRO	2020	DBLP DOI BibTeX RDF
19	Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul D. Hovland, Valerie E. Taylor, Mary W. Hall	Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization.	PMBS@SC	2020	DBLP DOI BibTeX RDF
19	Marek Chalupa	DG: Analysis and Slicing of LLVM Bitcode.	ATVA	2020	DBLP DOI BibTeX RDF
19	John Criswell	Tutorial: LLVM for Security Practitioners.	SecDev	2020	DBLP DOI BibTeX RDF
19	Peter S. Housel	LLVM Code Generation for Open Dylan.	ELS	2020	DBLP DOI BibTeX RDF
19	Tiago Catalão, Mário de Sousa	IEC 61131-3 Front-End for the LLVM Compiler Family.	ETFA	2020	DBLP DOI BibTeX RDF
19	Camille Coti, Joel E. Denny, Kevin A. Huck, Seyong Lee, Allen D. Malony, Sameer Shende, Jeffrey S. Vetter	OpenACC Profiling Support for Clang and LLVM using Clacc and TAU.	HUST/ProTools@SC	2020	DBLP DOI BibTeX RDF
19	Nikita Kataev	LLVM Based Parallelization of C Programs for GPU.	RuSCDays	2020	DBLP DOI BibTeX RDF
19	Alexis Engelke, Martin Schulz 0001	Instrew: leveraging LLVM for high performance dynamic binary instrumentation.	VEE	2020	DBLP DOI BibTeX RDF
19	Hoang M. Le	LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution).	FASE	2020	DBLP DOI BibTeX RDF
19	Samuel Rogers, Joshua Slycord, Ronak Raheja, Hamed Tabkhi	Scalable LLVM-Based Accelerator Modeling in gem5.	IEEE Comput. Archit. Lett.	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.	CoRR	2019	DBLP BibTeX RDF
19	Peter Garba, Matteo Favaro	SATURN - Software Deobfuscation Framework Based on LLVM.	CoRR	2019	DBLP BibTeX RDF
19	Alex Denisov, Stanislav Pankevich	Mull it over: mutation testing based on LLVM.	CoRR	2019	DBLP BibTeX RDF
19	Tao B. Schardl, William S. Moses, Charles E. Leiserson	Tapir: Embedding Recursive Fork-join Parallelism into LLVM's Intermediate Representation.	ACM Trans. Parallel Comput.	2019	DBLP DOI BibTeX RDF
19	Chun-Chieh Yang, Shao-Chung Wang, Min-Yih Hsu, Yuan-Ming Chang, Yuan-Shin Hwang, Jenq-Kuen Lee	Support OpenCL 2.0 Compiler on LLVM for PTX Simulators.	J. Signal Process. Syst.	2019	DBLP DOI BibTeX RDF
19	S. Bharadwaj Yadavalli, Aaron Smith	Raising binaries to LLVM IR with MCTOLL (WIP paper).	LCTES	2019	DBLP DOI BibTeX RDF
19	Peter Garba, Matteo Favaro	SATURN - Software Deobfuscation Framework Based On LLVM.	SPRO@CCS	2019	DBLP DOI BibTeX RDF
19	Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes	AliveInLean: A Verified LLVM Peephole Optimization Verifier.	CAV (2)	2019	DBLP DOI BibTeX RDF
19	Franziska Kasielke, Ronny Tschüter, Christian Iwainsky, Markus Velten, Florina M. Ciorba, Ioana Banicescu	Exploring Loop Scheduling Enhancements in OpenMP: An LLVM Case Study.	ISPDC	2019	DBLP DOI BibTeX RDF
19	Yuichi Ozaki, Sousuke Kanamoto, Hiroaki Yamamoto, Kenichi Kourai	Detecting System Failures with GPUs and LLVM.	APSys	2019	DBLP DOI BibTeX RDF
19	Robin Kruppe, Julian Oppermann, Lukas Sommer, Andreas Koch 0001	Extending LLVM for Lightweight SPMD Vectorization: Using SIMD and Vector Instructions Easily from Any Language.	CGO	2019	DBLP DOI BibTeX RDF
19	Hoang M. Le	KLUZZER: Whitebox Fuzzing on Top of LLVM.	ATVA	2019	DBLP DOI BibTeX RDF
19	Derrick Greenspan	LLAMA - automatic memory allocations: an LLVM pass and library for automatically determining memory allocations.	MEMSYS	2019	DBLP DOI BibTeX RDF
19	Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon	Mart: a mutant generation tool for LLVM.	ESEC/SIGSOFT FSE	2019	DBLP DOI BibTeX RDF